10718 search results - page 816 / 2144 » On the Circuit Implementation Problem |
229
click to vote
TABLEAUX
1995
Springer
15 years 11 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
172
click to vote
WDAG
1995
Springer
15 years 11 months ago
1995
Springer
We present lock-free and wait-free universal constructions for implementing large shared objects. Most previous universal constructions require processes to copy the entire object...
187
click to vote
USENIX
2007
15 years 10 months ago
2007
Tame is a new event-based system for managing concurrency in network applications. Code written with Tame abstractions does not suffer from the “stackripping” problem associat...
201
click to vote
USS
2008
15 years 10 months ago
2008
Automated bot/botnet detection is a difficult problem given the high level of attacker power. We propose a systematic approach for evaluating the evadability of detection methods....
215
click to vote
WSC
2007
15 years 10 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...