3135 search results - page 183 / 627 » Localization Algorithms: Performance Evaluation and Reliabil... |
142
Voted
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
112
click to vote
FGCS
2006
15 years 3 months ago
2006
The article presents a new compressible memory data structure for trace events. Its primary intention is to aid the analysis of huge traces by reducing the memory requirements sig...
74
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
In this work, we experiment with complier-directed instruction duplication to detect soft errors in VLIW datapaths . In the proposed approach, the compiler determines the instruct...
133
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Distributed systems, especially time-triggered ones, are implementing clock synchronization algorithms to provide and maintain a common view of time among the different nodes. S...
142
Voted
KES
2004
Springer
15 years 9 months ago
2004
Springer
There is now a huge amount of high quality photometric data available in the literature whose analysis is bound to play a fundamental role in studies of the formation and evolution...