1271 search results - page 30 / 255 » On Simulation-Checking with Sequential Systems |
EUROSYS
2007
ACM
14 years 4 months ago
2007
ACM
Dryad is a general-purpose distributed execution engine for coarse-grain data-parallel applications. A Dryad application combines computational “vertices” with communication ...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Particle filters have been applied with great success to various state estimation problems in robotics. However, particle filters often require extensive parameter tw...
ISCA
2007
IEEE
14 years 2 months ago
2007
IEEE
While Sequential Consistency (SC) is the most intuitive memory consistency model and the one most programmers likely assume, current multiprocessors do not support it. Instead, th...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
— Adaptive filtering is normally utilized to estimate system states or outputs from continuous valued observations, and it is of limited use when the observations are discrete e...
DFG
2004
Springer
14 years 1 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...