2670 search results - page 305 / 534 » Modeling systems with internal state using evolino |
225
click to vote
SIGOPS
2010
15 years 1 months ago
2010
Modern chip-level multiprocessors (CMPs) contain multiple processor cores sharing a common last-level cache, memory interconnects, and other hardware resources. Workloads running ...
187
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
204
click to vote
ATVA
2007
Springer
16 years 20 days ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
168
click to vote
WSC
2004
15 years 7 months ago
2004
We present a new method of selecting the best of several competing system designs on the basis of expected steadystate performance. The method uses a new form of timeseries bootst...
164
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...