571 search results - page 22 / 115 » A principled approach to operating system construction in Ha... |
104
click to vote
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
107
click to vote
IISWC
2006
IEEE
15 years 7 months ago
2006
IEEE
Workload characterization involves the understanding of the relationship between workload configurations and performance characteristics. To better assess the complexity of worklo...
192
click to vote
IJCV
2007
15 years 1 months ago
2007
Abstract. Inspired by the early visual system of many mammalians we consider the construction of-and reconstruction from- an orientation score Uf : R2 ×S1 → C as a local orienta...
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Most Supervisory Control and Data Acquisition (SCADA) systems have been in operation for decades and they in general have 24x7 availability requirement, hence upgrading or adding ...
101
click to vote
JAIR
2008
15 years 1 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...