5376 search results - page 315 / 1076 » Scalable Kernel Systems |
163
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
167
click to vote
SOSP
1993
ACM
15 years 8 months ago
1993
ACM
The Logical Disk (LD) defines a new interface to disk storage that separates file management and disk management by using logical block numbers and block lists. The LD interface...
188
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
184
click to vote
HYBRID
2007
Springer
16 years 25 days ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
179
click to vote
MACH
1990
15 years 7 months ago
1990
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...