5446 search results - page 914 / 1090 » Software Architecture - Introduction |
168
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
118
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
109
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
Dual-execution/checkpointing based transient error tolerance techniques have been widely used in the high-end mission critical systems. These techniques, however, are not very att...
141
Voted
ISBI
2006
IEEE
16 years 4 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 ...
114
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Mashup applications mix and merge content (data and code) from multiple content providers in a user's browser, to provide high-value web applications that can rival the user ...