2266 search results - page 229 / 454 » Generalizing parametric timing analysis |
104
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
109
Voted
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
Java workloads are becoming more and more prominent on various computing devices. Understanding the behavior of a Java workload which includes the interaction between the applicat...
115
click to vote
BMCBI
2004
15 years 21 days ago
2004
Background: The integration of many aspects of protein/DNA structure analysis is an important requirement for software products in general area of structural bioinformatics. In fa...
PODS
2010
ACM
15 years 5 months ago
2010
ACM
We give the first optimal algorithm for estimating the number of distinct elements in a data stream, closing a long line of theoretical research on this problem begun by Flajolet...
231
click to vote
SIGECOM
2011
ACM
14 years 3 months ago
2011
ACM
Market making refers broadly to trading strategies that seek to profit by providing liquidity to other traders, while avoiding accumulating a large net position in a stock. In th...