3169 search results - page 351 / 634 » Robust Timed Automata |
160
click to vote
GC
2004
Springer
16 years 2 days ago
2004
Springer
Polynomial time adversaries based on a computational view of cryptography have additional capabilities that the classical Dolev-Yao adversary model does not include. To relate thes...
170
click to vote
ARVLSI
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe a method to clock the domino pipeline at the maximum rate by using soft synchronizers between pipeline stages and thus allowing "time borrowing," i.e., allow...
152
click to vote
ASYNC
1998
IEEE
15 years 11 months ago
1998
IEEE
Analogue to digital (A-D) converters with a xed conversion time are subject to errors due to metastability. These errors will occur in all converter designs with a bounded time fo...
171
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
163
click to vote
FODO
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. DDH extends the idea of dynamic hashing algorithms to distributed systems. DDH spreads data across multiple servers in a network using a novel autonomous location discove...