8398 search results - page 1283 / 1680 » Optimal Software Testing |
219
click to vote
FDL
2006
IEEE
16 years 29 days ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
156
click to vote
IOLTS
2006
IEEE
16 years 28 days ago
2006
IEEE
A significant fraction of soft errors in modern microprocessors has been reported to never lead to a system failure. Any concurrent error detection scheme that raises alarm every ...
201
click to vote
ISORC
2005
IEEE
16 years 15 days ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...
163
click to vote
CC
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
168
click to vote
CLEF
2005
Springer
16 years 14 days ago
2005
Springer
This paper reports on our participation in CLEF 2005‘s ad-hoc multi-lingual retrieval track. The ad-hoc task introduced Bulgarian and Hungarian as new languages. Our experiments...