1516 search results - page 132 / 304 » Trends in Software Verification |
SAS
2010
Springer
13 years 8 months ago
2010
Springer
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
ICST
2010
IEEE
13 years 8 months ago
2010
IEEE
—Many factors are believed to increase the vulnerability of software system; for example, the more widely deployed or popular is a software system the more likely it is to be att...
VLSI
2007
Springer
14 years 4 months ago
2007
Springer
— In the future, high performance computing systems may consist of multiple multicore processors and reconfigurable logic coprocessors. Industry trends indicate that such coproc...
ISORC
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents an analysis of the future of Embedded Linux in the PostPC industry. This analysis is carried out by first examining the current forces at work in the PostPC ma...
GECCO
2010
Springer
14 years 3 months ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...