1206 search results - page 201 / 242 » Concurrent Abstract Predicates |
95
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
77
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
113
click to vote
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Widespread emergence of multicore processors will spur development of parallel applications, exposing programmers to degrees of hardware concurrency hitherto unavailable...
109
Voted
APPT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. With more cores integrated into one single chip, the overall power consumption from the multiple concurrent running programs increases dramatically in a CMP processor whi...
125
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...