3169 search results - page 231 / 634 » Robust Timed Automata |
151
click to vote
PODC
1999
ACM
15 years 9 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
163
Voted
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper considers how to adapt geometric algorithms, developed for content-based music retrieval of symbolically encoded music, to be robust against time deformations ...
145
click to vote
ICPP
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we formulate the array robustness theorems (ARTs) for efficient computation and communication on faulty arrays. No hardware redundancy is required and no assumptio...
100
Voted
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper examines a time reversal beamforming imager for detecting early stage breast cancer tumors. We use numerical simulations and electromagnetic tissue experiments to valid...
129
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
— We present a waveform based variational static timing analysis methodology. It is a timing paradigm that lies midway between convention static delay approximations and full dyn...