1297 search results - page 242 / 260 » Semantic Correctness in Adaptive Process Management Systems |
134
click to vote
CIKM
2005
Springer
15 years 25 days ago
2005
Springer
Inverted index structures are the mainstay of modern text retrieval systems. They can be constructed quickly using off-line mergebased methods, and provide efficient support for ...
84
Voted
IJNSEC
2007
14 years 10 months ago
2007
Distributed cryptographic computing system plays an important role in cryptographic research since cryptographic computing is extremely computation sensitive. There are many resea...
107
Voted
QEST
2010
IEEE
14 years 8 months ago
2010
IEEE
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
WSC
1998
15 years 6 days ago
1998
We have taken a NIST molecular dynamics simulation program (md3), which was configured as a single sequential process running on a CRAY C90 vector supercomputer, and parallelized ...
POPL
2010
ACM
15 years 8 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...