9842 search results - page 1726 / 1969 » Compositional timing analysis |
132
click to vote
RECOMB
2009
Springer
16 years 4 months ago
2009
Springer
Collective behavior involving distally separate regions in a protein is known to widely affect its function. In this paper, we present an online approach to study and characterize ...
161
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
We investigate how people adapt their strategy for interleaving multiple concurrent tasks to varying objectives. A study was conducted in which participants drove a simulated vehi...
125
Voted
MOBIHOC
2009
ACM
16 years 4 months ago
2009
ACM
Distributed scheduling algorithms for wireless ad hoc networks have received substantial attention over the last decade. The complexity levels of these algorithms span a wide spec...
CHI
2005
ACM
16 years 3 months ago
2005
ACM
One problem evaluating mobile and wearable devices is that they are used in mobile settings, making it hard to collect usability data. We present a study of tap-based selection of...
244
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...