364 search results - page 21 / 73 » On Tools for Modeling High-Performance Embedded Systems |
105
click to vote
ASWSD
2004
Springer
15 years 3 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
TSE
2011
14 years 4 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
IFM
2005
Springer
15 years 3 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
ISBI
2006
IEEE
15 years 3 months ago
2006
IEEE
We describe the goals and proposed design for SimTK, part of the NIH-supported Simbios National Center for Biomedical Computing. SimTK (Simulation ToolKit) will enable biomedical ...
HPDC
2000
IEEE
15 years 2 months ago
2000
IEEE
The dQUOB system satis es client need for speci c information from high-volume data streams. The data streams we speak of are the ow of data existing during large-scale visualizat...