1304 search results - page 230 / 261 » Model Checking C Programs Using F-SOFT |
135
click to vote
ICS
2011
Tsinghua U.
14 years 5 months ago
2011
Tsinghua U.
Applications must scale well to make efficient use of even medium-scale parallel systems. Because scaling problems are often difficult to diagnose, there is a critical need for sc...
106
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
The Converse run-time framework was designed with dual objectives: that of supporting quick development of portable run-time systems for new parallel programming paradigms, and tha...
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
The increasing availability of high-performance computing systems with thousands, tens of thousands, and even hundreds of thousands of computational nodes is driving the demand fo...
170
Voted
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
134
Voted
IWOMP
2010
Springer
15 years 7 months ago
2010
Springer
OpenMP is a popular and evolving programming model for shared-memory platforms. It relies on compilers to target modern hardware architectures for optimal performance. A variety of...