4066 search results - page 456 / 814 » Almost Complete Sets |
197
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
We argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems h in common, and provide similar abstractions. We a...
186
click to vote
AICOM
2010
15 years 7 months ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
167
click to vote
AROBOTS
2008
15 years 7 months ago
2008
This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information with a sensor-based motion planning system. The contribution in th...
225
click to vote
CSDA
2010
15 years 7 months ago
2010
This paper deals with the analysis of temporal dependence in multivariate highfrequency time series data. The dependence structure between the marginal series is modelled through ...
186
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...