314 search results - page 17 / 63 » Generating Path Conditions for Timed Systems |
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— Service robots which directly interact with humans in highly unstructured, unpredictable and dynamic environments must be able to flexibly adapt their motion in reacti...
CHES
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. The paper presents a novel and efficient method to generate true random numbers on FPGAs by inducing metastability in bi-stable circuit elements, e.g. flip-flops. Meta...
IAJIT
2008
13 years 7 months ago
2008
: The Gamma-Ray scanning technique effective means for the diagnosis and identification of installations and process's problems in general and in particular in the case of dis...
ICCAD
1998
IEEE
13 years 11 months ago
1998
IEEE
Increases in delay due to coupling can have a dramatic impact on IC performance for deep submicron technologies. To achieve maximum performance there is a need for analyzing logic...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— In the area of surgical robotics no standard means of performance evaluation has been established. Thousands of surgeons have gone through the SAGES FLS Program, and the psycho...