3090 search results - page 481 / 618 » On Testing Answer-Set Programs |
168
Voted
SIGOPS
2011
14 years 9 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
108
Voted
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
New storage-class memory (SCM) technologies, such as phasechange memory, STT-RAM, and memristors, promise user-level access to non-volatile storage through regular memory instruct...
170
Voted
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
193
Voted
ANCS
2011
ACM
14 years 2 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...
123
Voted
TITB
1998
15 years 2 months ago
1998
Abstract— The European High-Performance Information Infrastructure in Medicine, nB3014 (HIM3) project of the Trans-European Network—Integrated Broadband Communications (TEN-IB...