3169 search results - page 327 / 634 » Robust Timed Automata |
165
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
The first non-enumerative framework for diagnosing path delay faults using zero suppressed binary decision diagrams is introduced. We show that fault free path delay faults with ...
173
Voted
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Networking of MPEG-4 content is the topic of ongoing standardization efforts in the ISO MPEG and IETF. In this paper, we describe a complete architecture for the transport of MPEG...
190
click to vote
COMPGEOM
2000
ACM
15 years 11 months ago
2000
ACM
The algorithms for computing a shortest path on a polyhedral surface are slow, complicated, and numerically unstable. We have developed and implemented a robust and efficient algo...
166
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Abstract-- Shrinking process geometries and frequency scaling give rise to an increasing number of interconnects that require multiple clock cycles. This paper explores efficient t...
218
click to vote
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper proposes and specifies a protocol for distributing and managing group keys in ad hoc environments, which applies for the Secure Optimized Link State Routing Protocol. Ou...