523 search results - page 92 / 105 » On the Signal Bounding Problem in Timing Analysis |
133
click to vote
SIAMCOMP
2002
15 years 4 months ago
2002
We consider several problems related to the use of resolution-based methods for determining whether a given boolean formula in conjunctive normal form is satisfiable. First, build...
138
Voted
EOR
2010
14 years 11 months ago
2010
We analyze the problem of pricing and hedging contingent claims in the multi-period, discrete time, discrete state case using the concept of a sufficiently attractive expected gai...
127
click to vote
EUROSYS
2011
ACM
14 years 8 months ago
2011
ACM
To improve data availability and resilience MapReduce frameworks use file systems that replicate data uniformly. However, analysis of job logs from a large production cluster show...
142
click to vote
TASLP
2010
15 years 2 months ago
2010
—This paper considers the problem of obtaining an accurate spectral representation of speech formant structure when the voicing source exhibits a high fundamental frequency. Our ...
238
Voted
PODS
2009
ACM
16 years 5 months ago
2009
ACM
Let be a finite, ordered alphabet, and consider a string x = x1x2 . . . xn n . A secondary index for x answers alphabet range queries of the form: Given a range [al, ar] , retu...