7167 search results - page 1186 / 1434 » Answer Set Programming |
119
click to vote
ISLPED
2006
ACM
15 years 8 months ago
2006
ACM
Interprocessor synchronization, while extremely important for ensuring execution correctness, can be very costly in terms of both power and performance overheads. Unfortunately, m...
84
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
107
Voted
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...
114
click to vote
CGO
2005
IEEE
15 years 8 months ago
2005
IEEE
Register allocation is one of the most important optimizations a compiler performs. Conventional graphcoloring based register allocators are fast and do well on regular, RISC-like...
118
click to vote
CSB
2005
IEEE
15 years 8 months ago
2005
IEEE
The availability of entire genome sequences, coupled with genome-wide studies of gene expression, offers promise for discovering new pathways along with their regulatory programs....