189 search results - page 16 / 38 » Integration of Functional and Timed Testing of Real-Time and... |
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
CASES
2003
ACM
14 years 23 days ago
2003
ACM
Software thread integration (STI) is a compilation technique which enables the efficient use of an application’s fine-grain idle time on generic processors without special hardw...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
This paper describes the development and application of methods to integrate research image analysis methods and software with a commercial image guided surgery navigation system ...
RTCSA
2008
IEEE
14 years 1 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
OSDI
2008
ACM
14 years 7 months ago
2008
ACM
Concurrency is pervasive in large systems. Unexpected interference among threads often results in "Heisenbugs" that are extremely difficult to reproduce and eliminate. W...