1642 search results - page 118 / 329 » SPINning Parallel Systems Software |
129
Voted
IEEEPACT
2009
IEEE
15 years 9 months ago
2009
IEEE
—Software testing is hard. The emergence of multicore architectures and the proliferation of bugprone multithreaded software makes testing even harder. To this end, researchers h...
112
click to vote
SOSP
1997
ACM
15 years 3 months ago
1997
ACM
Low-latency remote-write networks, such as DEC’s Memory Channel, provide the possibility of transparent, inexpensive, large-scale shared-memory parallel computing on clusters of...
109
Voted
ISORC
2009
IEEE
15 years 9 months ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...
122
click to vote
CASES
2005
ACM
15 years 4 months ago
2005
ACM
Interconnection networks have been deployed as the communication fabric in a wide range of parallel computer systems. With recent technological trends allowing growing quantities ...
103
Voted
CCS
2004
ACM
15 years 7 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...