136 search results - page 22 / 28 » From Safety Verification to Safety Testing |
CONCURRENCY
2007
13 years 7 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
AROBOTS
2002
13 years 7 months ago
2002
Tractors are the workhorses of the modern farm. By automating these machines, we can increase the productivity, improve safety, and reduce costs for many agricultural operations. ...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
— There is a great effort during the last decades towards building robotic devices that are worn by humans. These devices, called exoskeletons, are used mainly for support and re...
HICSS
2008
IEEE
14 years 1 months ago
2008
IEEE
Information technology (IT) is fundamentally altering the way in which healthcare is delivered to consumers, and offers the promise of improving patient safety, reducing medical e...