1304 search results - page 248 / 261 » Model Checking C Programs Using F-SOFT |
101
click to vote
IEEEPACT
2007
IEEE
15 years 6 months ago
2007
IEEE
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...
DAC
2002
ACM
16 years 20 days ago
2002
ACM
In the last decade, instruction-set simulators have become an essential development tool for the design of new programmable architectures. Consequently, the simulator performance ...
ICS
2007
Tsinghua U.
15 years 5 months ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...
107
click to vote
LCTRTS
2004
Springer
15 years 5 months ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
CF
2009
ACM
15 years 6 months ago
2009
ACM
Chip Multiprocessor (CMP) memory systems suffer from the effects of destructive thread interference. This interference reduces performance predictability because it depends heavil...