1299 search results - page 193 / 260 » On the Correctness of Operating System Kernels |
171
click to vote
ISSRE
2006
IEEE
16 years 10 days ago
2006
IEEE
The benefits that a software organization obtains from estimates of product quality are dependent upon how early in the product cycle that these estimates are available. Early est...
140
click to vote
MICRO
2000
IEEE
15 years 10 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...
192
click to vote
VLDB
1991
ACM
15 years 9 months ago
1991
ACM
It is widely recognized that production rules in database systems can be used to automatically maintain derived data such as views. However, writing a correct set of rules for e ci...
177
click to vote
AICCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. Workflows are operational business processes. Workfow Management Systems (WFMS) are concerned with the control and coordination of these workflows. In recent years, there...
162
click to vote
EUROSYS
2008
ACM
15 years 8 months ago
2008
ACM
Guaranteed I/O performance is needed for a variety of applications ranging from real-time data collection to desktop multimedia to large-scale scientific simulations. Reservations...