1304 search results - page 155 / 261 » Model Checking C Programs Using F-SOFT |
140
click to vote
CASES
2006
ACM
15 years 7 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...
146
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: Next-generation sequencing technologies have led to the high-throughput production of sequence data (reads) at low cost. However, these reads are significantly shorter...
124
Voted
EUROSYS
2006
ACM
16 years 11 days ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
145
click to vote
ISSE
2007
15 years 3 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
146
Voted
PEPM
1999
ACM
15 years 7 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...