3090 search results - page 492 / 618 » On Testing Answer-Set Programs |
100
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
The high cost of locating faults in programs has motivated the development of techniques that assist in fault localization by automating part of the process of searching for fault...
121
click to vote
COMPLIFE
2005
Springer
15 years 8 months ago
2005
Springer
During the last few years new functionalities of RNA have been discovered, renewing the need for computational tools for their analysis. To this respect, multiple sequence alignmen...
133
Voted
CLUSTER
2003
IEEE
15 years 7 months ago
2003
IEEE
— Large Clusters, high availability clusters and Grid deployments often suffer from network, node or operating system faults and thus require the use of fault tolerant programmin...
113
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents an efficient methodology for estimating the energy consumption of application programs running on extensible processors. Extensible processors, which are incr...
127
Voted
IWMM
2010
Springer
15 years 7 months ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...