1105 search results - page 152 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
137
Voted
JSS
2008
15 years 2 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
120
click to vote
MIRRORBOT
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a human-like control of an innovative biped robot. The robot presents a total of twelve degrees of freedom; each joint resemble the functionalities of the human...
141
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a new localization algorithm called Sensor Resetting Localization which is an extension of Monte Carlo Localization. The algorithm adds sensor based resampling to Monte...
139
click to vote
RTCSA
2007
IEEE
15 years 9 months ago
2007
IEEE
Given the major advantages of productivity and safety, the use of garbage collection (GC) in real-time systems has gained increasing attention. Guaranteeing garbage collection act...
148
click to vote
ICS
2010
Tsinghua U.
16 years 26 days ago
2010
Tsinghua U.
Computation in the physical world is restricted by the following spatial locality constraint: In a single unit of time, information can only travel a bounded distance in space. A ...