5604 search results - page 936 / 1121 » Becoming Increasingly Reliable |
224
click to vote
ACL2
2006
ACM
16 years 17 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
210
click to vote
IWCMC
2006
ACM
16 years 16 days ago
2006
ACM
Due to the growing interest in mobile wireless Ad-Hoc networks’ (MANETs) applications, researchers have proposed many routing protocols that differ in their objective. Energy ef...
173
click to vote
JCDL
2006
ACM
16 years 16 days ago
2006
ACM
Biological studies rely heavily on large collections of species observations. All of these collections cannot be compiled by biology professionals alone. Skilled amateurs can assi...
243
click to vote
MSR
2006
ACM
16 years 16 days ago
2006
ACM
With the advent of open source software repositories the data available for defect prediction in source files increased tremendously. Although traditional statistics turned out t...
157
click to vote
PADS
2006
ACM
16 years 16 days ago
2006
ACM
The High Level Architecture (HLA) is a standard for the interoperability and reuse of simulation components, referred to as federates. Large scale HLA-compliant simulations are bu...