9842 search results - page 1722 / 1969 » Compositional timing analysis |
143
Voted
CSCW
2012
ACM
13 years 11 months ago
2012
ACM
Civic networks of community-based organizations face significant challenges in working together to combat issues facing their community (e.g., gang violence, sex trafficking). In ...
153
Voted
MMAS
2012
Springer
13 years 11 months ago
2012
Springer
In this paper we analyze wave propagation in three-dimensional random media. We consider a source with limited spatial and temporal support that generates spherically diverging wav...
178
Voted
SI3D
2012
ACM
13 years 11 months ago
2012
ACM
In Virtual Environments (VE), users are often facing tasks that involve direct manipulation of virtual objects at close distances, such as touching, grabbing, placement. In immers...
147
click to vote
TACAS
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
166
Voted
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
A fundamental problem in wireless networks is to develop communication protocols that achieve high throughput in the face of noise, interference, and fading, all of which vary wit...