9842 search results - page 1715 / 1969 » Compositional timing analysis |
117
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
143
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—Dual descent methods are commonly used to solve network optimization problems because their implementation can be distributed through the network. However, their convergence rat...
234
Voted
FCCM
2011
IEEE
14 years 7 months ago
2011
IEEE
—String matching is a ubiquitous problem that arises in a wide range of applications in computing, e.g., packet routing, intrusion detection, web querying, and genome analysis. D...
144
Voted
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
Motions can occur over both short and long time scales. We introduce motion denoising, which treats short-term changes as noise, long-term changes as signal, and rerenders a video...
148
Voted
HICSS
2011
IEEE
14 years 7 months ago
2011
IEEE
Is happiness contagious online? To answer this question, this paper investigates the posting behavior of users on Twitter.com, a popular online service for sharing short messages....