3169 search results - page 288 / 634 » Robust Timed Automata |
171
click to vote
EWSN
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Harsh deployment environments and uncertain run-time conditions create numerous challenges for postmortem time reconstruction methods. For example, motes often reboot and...
196
click to vote
ATVA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
168
click to vote
PADS
2009
ACM
16 years 1 months ago
2009
ACM
Abstract—In this paper we illustrate scalable parallel performance for the Time Warp synchronization protocol on the L and P variants of the IBM Blue Gene supercomputer. Scalable...
184
click to vote
WILF
2007
Springer
16 years 21 days ago
2007
Springer
Background: Quantitative analysis of differential protein expressions requires to align temporal elution measurements from liquid chromatography coupled to mass spectrometry (LC/M...
178
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Time is an important dimension of relevance for a large number of searches, such as over blogs and news archives. So far, research on searching over such collections has largely f...