3082 search results - page 561 / 617 » Deviation Analysis: A New Use of Model Checking |
109
click to vote
DAC
2006
ACM
16 years 25 days ago
2006
ACM
Existing approaches to timing analysis under uncertainty are based on restrictive assumptions. Statistical STA techniques assume that the full probabilistic distribution of parame...
142
click to vote
DAC
2006
ACM
16 years 25 days ago
2006
ACM
Modern integrated circuits (ICs) are becoming increasingly complex. The complexity makes it difficult to design, manufacture and integrate these high-performance ICs. The advent o...
ICALP
2009
Springer
16 years 4 days ago
2009
Springer
We give new algorithms for learning halfspaces in the challenging malicious noise model, where an adversary may corrupt both the labels and the underlying distribution of examples....
100
click to vote
MMDB
2003
ACM
15 years 5 months ago
2003
ACM
Recent research effort in Content-Based Image Retrieval (CBIR) focuses on bridging the gap between low-level features and highlevel semantic contents of images as this gap has bec...
131
click to vote
SIGMETRICS
2012
ACM
13 years 2 months ago
2012
ACM
In a public cloud, bandwidth is traditionally priced in a pay-asyou-go model. Reflecting the recent trend of augmenting cloud computing with bandwidth guarantees, we consider a n...