5356 search results - page 207 / 1072 » Adventures in time and space |
158
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
The last decade has seen a huge interest in classification of time series. Most of this work assumes that the data resides in main memory and is processed offline. However, recent...
171
click to vote
CAV
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
165
click to vote
REX
1991
15 years 10 months ago
1991
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
170
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
171
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...