9842 search results - page 371 / 1969 » Compositional timing analysis |
165
click to vote
EUROSYS
2011
ACM
14 years 8 months ago
2011
ACM
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
141
click to vote
KDD
2003
ACM
16 years 5 months ago
2003
ACM
We are developing technology for generating English textual summaries of time-series data, in three domains: weather forecasts, gas-turbine sensor readings, and hospital intensive...
140
click to vote
RECOMB
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. Given the substantial computational requirements of stochastic simulation, approximation is essential for efficient analysis of any realistic biochemical system. This pap...
150
click to vote
DNA
2006
Springer
15 years 8 months ago
2006
Springer
We study the times to grow structures within the tile self-assembly model proposed by Winfree, and the possible shapes that can be achieved. Our earlier work was confined to the g...
263
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...