8828 search results - page 1452 / 1766 » Formal methods in practice |
172
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
In the previous work, the problem of nding gate delays to eliminate glitches has been solved by linear programs (LP) requiring an exponentially large number ofconstraints. By intr...
153
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Online communities can help people form productive relationships. Unfortunately, this potential is not always fulfilled: many communities fail, and designers don't have a sol...
296
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Dataflow analyses can have mutually beneficial interactions. Previous efforts to exploit these interactions have either (1) iteratively performed each individual analysis until no...
169
click to vote
RECOMB
2003
Springer
16 years 7 months ago
2003
Springer
Many genomic sequences and, more generally, (multivariate) time series display tremendous variability. However, often it is reasonable to assume that the sequence is actually gene...
251
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
The goal is to monitor multiple numerical streams, and determine which pairs are correlated with lags, as well as the value of each such lag. Lag correlations (and anticorrelation...