1629 search results - page 230 / 326 » Infeasible Code Detection |
113
click to vote
PROCOMET
1998
15 years 2 months ago
1998
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
103
click to vote
EUROPAR
2010
Springer
15 years 2 months ago
2010
Springer
This work presents an application case study. Geant4 is a 750,000 line toolkit first designed in the mid-1990s and originally intended only for sequential computation. Intel's...
106
click to vote
DIMVA
2009
15 years 2 months ago
2009
Abstract. This paper introduces a new software polymorphism technique that randomizes program data structure layout. This technique will generate different data structure layouts f...
107
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
This paper deals with orthogonal Space-Time Block Coded MC-CDMA systems, in outdoor realistic downlink scenarios with up to two transmit and receive antennas. Assuming no channel s...
105
click to vote
CONCURRENCY
2007
15 years 1 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...