34229 search results - page 6452 / 6846 » Power-aware computing systems |
162
click to vote
ICCD
2000
IEEE
15 years 8 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
178
Voted
ADBIS
1995
Springer
15 years 8 months ago
1995
Springer
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...
152
click to vote
SAIG
2000
Springer
15 years 8 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
156
Voted
EUROCRYPT
1995
Springer
15 years 8 months ago
1995
Springer
We coiisider a situation where two parties, Alice and Bob, share a common secret string arid would like to mutually check their knowledge of that string. We describe a simple and e...
202
click to vote
ICIP
1997
IEEE
15 years 8 months ago
1997
IEEE
A novel algorithm is described for coding objects in video compression systems which gives complete control over the bit allocation to the video objects. The method is evaluated b...