2255 search results - page 210 / 451 » High Assurance Software Systems |
202
click to vote
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
SRI International's IraqComm system performs bidirectional speech-to-speech machine translation between English and Iraqi Arabic in the domains of force protection, municipal ...
175
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Continued technology scaling is resulting in systems with billions of devices. Unfortunately, these devices are prone to failures from various sources, resulting in even commodity...
163
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Future multicore processors will be more susceptible to a variety of hardware failures. In particular, intermittent faults, caused in part by manufacturing, thermal, and voltage v...
143
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
Symmetric-ISA (instruction set architecture) asymmetricperformance multicore processors were shown to deliver higher performance per watt and area for codes with diverse architect...
152
click to vote
GI
2007
Springer
16 years 20 days ago
2007
Springer
: In addition to the growing complexity of software systems, test effort takes increasing amounts of time and correspondingly more money. Testing costs may be reduced without compr...