9245 search results - page 1512 / 1849 » Virtualization |
149
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Reconstructing a physical map of a chromosome from a genomic library presents a central computational problem in genetics. Physical map reconstruction in the presence of errors is...
129
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Execution behavior of a Java application can be nondeterministic due to concurrent threads of execution, thread scheduling, and variable network delays. This nondeterminism in Jav...
126
click to vote
ISCC
2000
IEEE
15 years 9 months ago
2000
IEEE
We believe that the next evolutionary step in supporting wide-area application and services delivery to customers is a network framework that provides for collocation of applicati...
168
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
121
Voted
MICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
The design and implementation of a modern microprocessor creates many reliability challenges. Designers must verify the correctness of large complex systems and construct implemen...