34974 search results - page 6595 / 6995 » The particle computer system |
191
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present a proof of concept application of a technique that is designed explicitly for face to face collaboration software architectures. The objective is to minim...
200
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
In this paper, we explore a hybrid global/local search optimization framework for dynamic voltage scaling in embedded multiprocessor systems. The problem is to find, for a multipr...
202
click to vote
ICCD
2000
IEEE
15 years 10 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...
216
click to vote
ADBIS
1995
Springer
15 years 10 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...
183
click to vote
SAIG
2000
Springer
15 years 10 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...