3470 search results - page 642 / 694 » Head-Elementary-Set-Free Logic Programs |
111
click to vote
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
141
Voted
AOSD
2003
ACM
15 years 6 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
93
Voted
DAC
2006
ACM
16 years 1 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...
210
click to vote
PADL
2009
Springer
16 years 1 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...
187
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
Millions of containers are stowed every week with goods worth billions of dollars, but container vessel stowage is an all but neglected combinatorial optimization problem. In this ...