6014 search results - page 809 / 1203 » Parametric Analysis of Computer Systems |
198
click to vote
SASN
2003
ACM
16 years 9 hour ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
174
click to vote
HAPTICS
2002
IEEE
15 years 11 months ago
2002
IEEE
This study explores the effects of haptic feedback on performance and learning by human subjects executing a dynamic task. We present the results of experiments involving the cont...
187
click to vote
ICS
1999
Tsinghua U.
15 years 11 months ago
1999
Tsinghua U.
Hydra is a chip multiprocessor (CMP) with integrated support for thread-level speculation. Thread-level speculation provides a way to parallelize sequential programs without the n...
219
click to vote
RECOMB
1999
Springer
15 years 11 months ago
1999
Springer
The abundance of information provided by completely sequenced genomes de nes a starting point for new insights in the multilevel organization of organisms and their evolution. At ...
165
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...