18306 search results - page 305 / 3662 » Algorithmics in Exponential Time |
208
click to vote
CHARME
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
187
click to vote
ICCS
2007
Springer
16 years 27 days ago
2007
Springer
Shape averaging or signal averaging of time series data is one of the prevalent subroutines in data mining tasks, where Dynamic Time Warping distance measure (DTW) is known to work...
201
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...
181
click to vote
DSRT
2008
IEEE
16 years 1 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
172
click to vote
LCN
1994
IEEE
15 years 11 months ago
1994
IEEE
We analyze the behavior of the Ethernet in networks with a small number of active stations, and describe what is known as the Ethernet capture effect, where a station transmits co...