2266 search results - page 363 / 454 » Generalizing parametric timing analysis |
CSCW
2012
ACM
12 years 6 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 ...
TACAS
2012
Springer
12 years 5 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...
SIGCOMM
2012
ACM
12 years 22 days 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...
DAC
2003
ACM
14 years 11 months ago
2003
ACM
Delay budget is an excess delay each component of a design can tolerate under a given timing constraint. Delay budgeting has been widely exploited to improve the design quality. W...
WWW
2005
ACM
14 years 11 months ago
2005
ACM
According to a recent survey made by Nielsen NetRatings, searching on news articles is one of the most important activity online. Indeed, Google, Yahoo, MSN and many others have p...