3090 search results - page 404 / 618 » On Testing Answer-Set Programs |
185
click to vote
SIAMSC
2010
15 years 4 months ago
2010
A recursive acceleration method is proposed for multiplicative multilevel aggregation algorithms that calculate the stationary probability vector of large, sparse, and irreducible ...
224
click to vote
SOFTVIS
2010
ACM
15 years 4 months ago
2010
ACM
Large clusters of mutual dependence have long been regarded as a problem impeding comprehension, testing, maintenance, and reverse engineering. An effective visualization can aid ...
185
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...
192
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
Flash memory is quickly becoming a common component in computer systems ranging from music players to mission-critical server systems. As flash plays a more important role, data ...
196
Voted
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...