2781 search results - page 376 / 557 » System Modules |
158
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
Most known constructions of probabilistically checkable proofs (PCPs) either blow up the proof size by a large polynomial, or have a high (though constant) query complexity. In thi...
234
click to vote
APN
2010
Springer
15 years 10 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
191
click to vote
ICDCS
1993
IEEE
15 years 10 months ago
1993
IEEE
A network subsystem supporting a continuous media ï¬le system must guarantee a minimum throughput, a maximum delay, and a maximum jitter. We present a transport protocol that pro...
155
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
The reuse of well-tested and optimized design objects is an important aspect for decreasing design times, increasing design quality, and improving the predictability of designs. R...
175
click to vote
VLSID
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Microfluidics-based biochips are revolutionizing highthroughput sequencing, parallel immunoassays, clinical diagnostics, and drug discovery. These devices enable the pre...