1629 search results - page 268 / 326 » Infeasible Code Detection |
APPT
2009
Springer
14 years 4 months ago
2009
Springer
In this paper, a comprehensive performance review of an MPI-based high-order three-dimensional spectral element method C++ toolbox is presented. The focus is put on the performance...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
We expect that in future commodity hardware will be used in safety critical applications. But the used commodity microprocessors will become less reliable because of decreasing fe...
DSN
2008
IEEE
14 years 4 months ago
2008
IEEE
The long-term availability of data stored in a file system depends on how well it safeguards on-disk pointers used to access the data. Ideally, a system would correct all pointer...
IV
2008
IEEE
14 years 4 months ago
2008
IEEE
With the increasing complexity of in-car communication architectures, their diagnostics have become essential for automotive development and maintenance. In order to help engineer...
SASO
2008
IEEE
14 years 4 months ago
2008
IEEE
—High level languages greatly increase the power of a programmer at the cost of programs that consume more s than those written at a lower level of abstraction. This inefficienc...