3820 search results - page 278 / 764 » Bounded Model Debugging |
143
click to vote
ICMLA
2009
15 years 1 months ago
2009
In sequential decision making under uncertainty, as in many other modeling endeavors, researchers observe a dynamical system and collect data measuring its behavior over time. The...
124
click to vote
INFOCOM
1993
IEEE
15 years 8 months ago
1993
IEEE
Worst-casebounds on delay and backlog are derived for leaky bucket constrained sessions in arbitrary topology networks of Generalized Processor Sharing (GPS) 10] servers. The inhe...
132
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Performance and workload modeling has numerous uses at every stage of the high-end computing lifecycle: design, integration, procurement, installation and tuning. Despite the trem...
121
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
132
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...