5404 search results - page 663 / 1081 » Global Computing for Bioinformatics |
161
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased...
175
click to vote
ECRTS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
190
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a new timing driven method for global placement. Our method is based on the observation that similar net length reductions in the different nets that make up a path may...
180
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper discusses a novel approach to combining human and machine intelligence in teleoperation of 6 degree of freedom (DOF) arm manipulators. Two algorithms are presented that...
185
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...