3742 search results - page 276 / 749 » On the Use of Formal Techniques for Validation |
183
click to vote
ECRTS
1999
IEEE
15 years 11 months ago
1999
IEEE
In the eld of safety-critical real-time systems the development of distributed applications for fault tolerance reasons is a common practice. Hereby the whole application is divid...
169
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
The design and synthesis of asynchronous circuits is gaining importance in both the industrial and academic worlds. Timed circuits are a class of asynchronous circuits that incorp...
181
click to vote
IJIT
2004
15 years 8 months ago
2004
Developing techniques for mobile robot navigation constitutes one of the major trends in the current research on mobile robotics. This paper develops a local model network (LMN) fo...
175
click to vote
CAL
2006
15 years 6 months ago
2006
Abstract-- Cycle accurate simulation has long been the primary tool for micro-architecture design and evaluation. Though accurate, the slow speed often imposes constraints on the e...
170
click to vote
RAS
2008
15 years 6 months ago
2008
Even the best laid plans can fail, and robot plans executed in real world domains tend to do so often. The ability of a robot to reliably monitor the execution of plans and detect...