175 search results - page 32 / 35 » Certification Support for Automatically Generated Programs |
129
click to vote
WOSP
1998
ACM
15 years 2 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
SIGIR
2008
ACM
14 years 9 months ago
2008
ACM
Some applications have to present their results in the form of ranked lists. This is the case of many information retrieval applications, in which documents must be sorted accordi...
102
click to vote
FCCM
1997
IEEE
15 years 2 months ago
1997
IEEE
The RAW benchmark suite consists of twelve programs designed to facilitate comparing, validating, and improving reconfigurable computing systems. These benchmarks run the gamut o...
BMCBI
2008
14 years 10 months ago
2008
Background: During the past decade, many software packages have been developed for analysis and visualization of various types of microarrays. We have developed and maintained the...