10715 search results - page 1929 / 2143 » From Tests to Proofs |
215
click to vote
WETICE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents joint work by the California Institute of Technology’s Jet Propulsion Laboratory and the University of California at Davis (UC Davis) sponsored by the Nation...
168
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
Parallel, multithreaded C and C++ programs such as web servers, database managers, news servers, and scientific applications are becoming increasingly prevalent. For these applic...
207
click to vote
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
Open Source Software (OSS) has made great strides toward mainstream acceptance over the past two years. However, many IT managers, both in business and academia, are still cautiou...
180
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
The rapid progress in high-performance microprocessor design has made it di cult to adapt real-time scheduling results to new models of microprocessor hardware, thus leaving an un...
186
click to vote
ECAL
1999
Springer
15 years 11 months ago
1999
Springer
We use a new general-purpose model of neutral evolution of genotypes to make quantitative comparisons of diversity and adaptive evolutionary activity as a function of mutation rate...