4716 search results - page 712 / 944 » Iterative-free program analysis |
140
click to vote
PADS
1996
ACM
15 years 9 months ago
1996
ACM
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...
137
click to vote
SOFSEM
1997
Springer
15 years 9 months ago
1997
Springer
This paper surveys recent results in the area of virtual path layout in ATM networks. We present a model for the theoretical study of these layouts the model amounts to covering t...
151
Voted
TAPSOFT
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
110
click to vote
CRYPTO
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. A computer disk drive's motor speed varies slightly but irregularly, principally because of air turbulence inside the disk's enclosure. The unpredictability of ...
115
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...