7456 search results - page 1166 / 1492 » Parallelism in Logic Programs |
163
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
212
click to vote
SIGOPS
2011
15 years 1 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...
228
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...
151
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we propose a new linear programming based timing driven placement framework for high performance designs. Our LP framework is mainly net-based, but it takes advanta...
285
click to vote
PADL
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...