3169 search results - page 167 / 634 » Robust Timed Automata |
121
click to vote
ICIP
2009
IEEE
16 years 4 months ago
2009
IEEE
A new and fast method for dominant point detection and polygonal representation of a discrete curve is proposed. Starting from results of discrete geometry [1, 2], the notion of m...
119
Voted
ISVLSI
2006
IEEE
15 years 9 months ago
2006
IEEE
We describe a new latch circuit designed to give a high performance in low voltage synchronizer applications. By increasing the latch current only during metastability, we can mor...
146
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
A conventional automatic speech recognizer does not perform well in the presence of multiple sound sources, while human listeners are able to segregate and recognize a signal of i...
154
Voted
DC
2010
15 years 8 days ago
2010
In this paper, we present RAMBO, an algorithm for emulating a read/write distributed shared memory in a dynamic, rapidly changing environment. RAMBO provides a highly reliable, hi...
138
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...