6978 search results - page 1262 / 1396 » On Proofs in System P |
ICCAD
1999
IEEE
14 years 1 months ago
1999
IEEE
In Deep Sub-Micron (DSM) designs, performance will depend critically on the latency of long wires. We propose a new synthesis methodology for synchronous systems that makes the de...
ICDAR
1999
IEEE
14 years 1 months ago
1999
IEEE
We propose a two-state Markov chain model of degraded document images. The model generates random and burst noise to simulate isolated pixel reversal as well as blurring of a larg...
CIKM
1999
Springer
14 years 1 months ago
1999
Springer
We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a general-purpose active-database rule language embedded in C+...
ISORC
1999
IEEE
14 years 1 months ago
1999
IEEE
As networks and the use of communication within applications continue to grow and find more uses, so too does the demand for more control and manageability of various "system...
GCSE
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...