Searching for "Design of Concurrent Software." – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
What do high-level memory models mean for transactions
- …. These design decisions affect both the idioms that are useful for designing concurrent software…
- Cited by 14 (2 self) – Add To MetaCart
-
A Restrictive Definition of Concurrency for Discrete-Event Modeling
- … on software requirements shows considerable interest in concurrent models [4]. In software design, tasks…
- Add To MetaCart
-
Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education
- … in the design of concurrent software by incorporating ASMs into the teaching of concurrent computing in two…
- Add To MetaCart
-
Hardware/software Codesign Of Processors:
- … the design strategy of the MIPS R4000 [2] used concurrent engineering of the hardware and software to allow…
- Add To MetaCart
-
Specifying and Verifying Systems with TLA+
- … also be used to specify and check concurrent algorithms and protocols for software systems. 1…
- Cited by 4 (1 self) – Add To MetaCart
-
Schedulers as model-based design elements in programmable heterogeneous multiprocessors
- … new design elements that capture the interactions of software executing on and across concurrent…
- Cited by 3 (1 self) – Add To MetaCart
-
Formal Verification of SystemC by Automatic Hardware/Software Partitioning
- … on events. Formal Verification of System-Level Designs Concurrent software is notoriously error…
- Cited by 10 (1 self) – Add To MetaCart
-
ANDRES- ANalysis and Design of run-time REconfigurable, heterogeneous Systems
- …, CSP, SR, etc.), HetSC enables a more intuitive and safer design of concurrent software systems…
- Cited by 2 (1 self) – Add To MetaCart
-
A Two-Semester Undergraduate Sequence in Software Engineering: Architecture and Experience
- … production 3 Chapter 8 Planning, staffing, monitoring, cost estimation. Design of concurrent software 6…
- Cited by 2 (0 self) – Add To MetaCart
-
aSpin: Extending spin with abstraction
- … designs of concurrent software or protocols whereas Feaver, Bandera and JPF are more suitable when…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
