2935 search results - page 84 / 587 » An Integrated Approach to High Integrity Software Verificati... |
133
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
Developing automated assembly systems normally happens in two distinct stages: rst an o -line" stage in which the system is designed and programmed in simulated and then an o...
139
click to vote
PEPM
1995
ACM
15 years 8 months ago
1995
ACM
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...
122
click to vote
APVIS
2006
15 years 5 months ago
2006
The geometry PIG is a system that can inspect the inside of a pipeline. The amount of pigging data is usually considerable because the system records multi-channel sensor values f...
129
click to vote
ISCA
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a high-availability system architecture called INDRA — an INtegrated framework for Dependable and Revivable Architecture that enhances a multicore processor ...
166
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
Abstract. We consider a collaboration of peers autonomously crawling the Web. A pivotal issue when designing a peer-to-peer (P2P) Web search engine in this environment is query rou...