5600 search results - page 930 / 1120 » Synthesizing robust systems |
AOSD
2009
ACM
15 years 7 months ago
2009
ACM
Systems software uses conditional compilation to manage crosscutting concerns in a very fine-grained and efficient way, but at the expense of tangled and scattered conditional c...
82
Voted
DAC
2009
ACM
15 years 7 months ago
2009
ACM
This paper describes an automatic methodology for optimizing sample point selection for using in the framework of model order reduction (MOR). The procedure, based on the maximiza...
94
Voted
SC
2009
ACM
15 years 7 months ago
2009
ACM
Bioinformatics researchers need efficient means to process large collections of sequence data. One application of interest, genome assembly, has great potential for parallelizati...
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
— Several European research projects in the vehicular area address the enhancement of vehicular safety. In the frame of the Caring Cars project, an on-board car-gateway embedded ...
90
Voted
DSN
2009
IEEE
15 years 7 months ago
2009
IEEE
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...