4591 search results - page 507 / 919 » The Global Computer |
199
click to vote
ECRTS
2000
IEEE
16 years 1 hour 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...
208
click to vote
GLVLSI
2000
IEEE
15 years 12 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...
193
click to vote
ICRA
2000
IEEE
15 years 12 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...
198
click to vote
CADE
2000
Springer
15 years 12 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 ...
177
click to vote
ISPD
1999
ACM
15 years 12 months ago
1999
ACM
—This paper studies a natural formulation of the timing-driven maze routing problem. A multigraph model appropriate for global routing applications is adopted; the model naturall...