8190 search results - page 171 / 1638 » From Timed to Hybrid Systems |
201
click to vote
APN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass ...
178
click to vote
IWPC
2008
IEEE
16 years 10 days ago
2008
IEEE
As an object-oriented system evolves, its architecture tends to drift away from the original design. Knowledge of how the system has changed at coarse-grained levels is key to und...
155
click to vote
SC
2009
ACM
16 years 22 days ago
2009
ACM
The scalability of future massively parallel processing (MPP) systems is being severely challenged by high failure rates. Current hard disk drive (HDD) checkpointing results in ov...
183
click to vote
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
183
click to vote
ECRTS
2006
IEEE
15 years 12 months ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...