3135 search results - page 183 / 627 » Localization Algorithms: Performance Evaluation and Reliabil... |
198
click to vote
ATVA
2008
Springer
15 years 9 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...
159
click to vote
FGCS
2006
15 years 7 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...
121
Voted
DATE
2005
IEEE
16 years 21 days 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...
189
click to vote
DATE
2009
IEEE
16 years 1 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...
200
click to vote
KES
2004
Springer
16 years 13 days 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...