3368 search results - page 374 / 674 » The Complexity of Query Reliability |
178
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes the hardware and software architecture of the Attempto RoboCup-99 team. We first present the design of our heavily modified commercial robotic base, the robo...
188
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper a new approach is presented to build a list of faults to be used by the fault injection environment; the list is built starting from a high-level description of the ...
164
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
ion. Production use of text-based methodology has enabled designers to capture designs of hundreds of thousands of gates using graphic ESDA tools. Source: Data Quest (Verilog/VHDL ...
169
click to vote
ISER
1993
Springer
15 years 10 months ago
1993
Springer
In previous papers, I have argued that while parallel mechanisms are well known for their favorable structural properties, their utility is generally limited by an inherently small...
164
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...