4041 search results - page 35 / 809 » time 2009 |
170
click to vote
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
154
click to vote
GI
2009
Springer
15 years 3 months ago
2009
Springer
: This paper describes the passive emitter localization using Time Difference of Arrival (TDOA) measurements. It investigates various methods for estimating the solution of this no...
167
click to vote
ICECCS
2009
IEEE
15 years 3 months ago
2009
IEEE
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...
148
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...
132
click to vote
ISBI
2009
IEEE
16 years 17 days ago
2009
IEEE
This paper deals with the problem of time-resolved fluorescence diffuse optical tomography. We propose a new reconstruction scheme based on a multi-resolution approximation of th...