3575 search results - page 59 / 715 » Presentations of computably enumerable reals |
159
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
195
click to vote
ARTS
1997
Springer
15 years 10 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
158
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
In preemptive real-time systems, a tighter estimate of the Worst Case Response Time(WCRT) of the tasks can be obtained if the layout of the tasks in memory is included in the esti...
172
click to vote
PADS
2009
ACM
16 years 28 days ago
2009
ACM
A methodology and its associated algorithms are presented for mapping a novel, field-based vehicular mobility model onto graphical processing unit computational platform for simul...
140
click to vote
FSR
2007
Springer
16 years 9 days ago
2007
Springer
We present a fast, robust method for registering successive laser rangefinder scans. Correspondences between the current scan and previous scans are determined. Gaussian uncertai...