4164 search results - page 607 / 833 » Timing model reduction for hierarchical timing analysis |
159
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
175
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a novel approach for skew correction of documents. Skew correction is modelled as an optimization problem, and for the first time, Particle Swarm Optimization...
164
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
A common problem encountered in signboard recognition is the perspective distortion of characters. In this paper, we propose a method which is able to directly recognize character...
166
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—We propose a novel search mechanism for unstructured p2p networks, and show that it is both scalable, i.e., it leads to a bounded query traffic load per peer as the pee...
157
click to vote
DSN
2006
IEEE
16 years 20 days ago
2006
IEEE
This work presents a failure data analysis campaign on Bluetooth Personal Area Networks (PANs) conducted on two kind of heterogeneous testbeds (working for more than one year). Th...