5863 search results - page 1037 / 1173 » On Model-Checking of P Systems |
111
click to vote
SIGMETRICS
1999
ACM
15 years 8 months ago
1999
ACM
—This paper evaluates techniques for improving operating system and network protocol software support for high-performance World Wide Web servers. We study approaches in three ca...
131
click to vote
ICCAD
1999
IEEE
15 years 8 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...
161
click to vote
ICDAR
1999
IEEE
15 years 8 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...
137
click to vote
CIKM
1999
Springer
15 years 8 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+...
142
click to vote
ISORC
1999
IEEE
15 years 8 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...