5333 search results - page 583 / 1067 » Optimizing Computer System Configurations |
226
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
171
click to vote
CGI
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a system for the animation of human hand that plays violin. Neural network controls the hand movement. We make use of an optimization method to generate the examples fo...
180
click to vote
EUROPAR
2000
Springer
15 years 10 months ago
2000
Springer
Tertiary storage systems are used when secondary storage can not satisfy the data storage requirements and/or it is a more cost effective option. The new application domains requir...
192
click to vote
OPODIS
2010
15 years 5 months ago
2010
We explore asynchronous unison in the presence of systemic transient and permanent Byzantine faults in shared memory. We observe that the problem is not solvable under less than s...
190
click to vote
ICTIR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A useful ability for search engines is to be able to rank objects with novelty and diversity: the top k documents retrieved should cover possible interpretations of a que...