2343 search results - page 195 / 469 » MedModel - Healthcare Simulation Software |
197
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
176
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
144
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
152
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
197
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Pervasive computing, the new computing paradigm aiming at providing services anywhere at anytime, poses great challenges on dynamic service composition. Existing service compositi...