1629 search results - page 71 / 326 » Infeasible Code Detection |
FASE
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
ICANN
2009
Springer
14 years 4 months ago
2009
Springer
In this paper the sparse coding principle is employed for the representation of multimodal image data, i.e. image intensity and range. We estimate an image basis for frontal face i...
SIPS
2007
IEEE
14 years 4 months ago
2007
IEEE
In this contribution iteratively detected spatial division multiplexing is investigated under the constraint of a fixed data throughput. Existing bit loading and transmit power a...
APLAS
2004
ACM
14 years 3 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
WCRE
2003
IEEE
14 years 3 months ago
2003
IEEE
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...