1452 search results - page 198 / 291 » Algorithmic Analysis of Array-Accessing Programs |
118
click to vote
ICCAD
1992
IEEE
15 years 4 months ago
1992
IEEE
In this paper we describe combining a mesh analysis equation formulation technique with a preconditioned GORES matrix solution algorithm to accelerate the determination of inducta...
107
Voted
COCOA
2008
Springer
15 years 2 months ago
2008
Springer
We consider the problem of minimizing the total weighted completion time on identical parallel machines when jobs have stochastic processing times and may arrive over time. We give...
91
Voted
ANLP
1992
15 years 1 months ago
1992
This paper presents a system which detects and corrects morpho-syntactic errors in Dutch texts. It includes a spelling corrector and a shift-reduce parser for Augmented Context-fr...
106
Voted
TCAD
2008
15 years 20 days ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
114
Voted
JLP
2007
15 years 19 days ago
2007
Secret or private information may be leaked to an external attacker through the timing behaviour of the system running the untrusted code. After introducing a formalisation of thi...