13917 search results - page 142 / 2784 » Abstraction of Probabilistic Systems |
229
Voted
SASO
2009
IEEE
16 years 1 months ago
2009
IEEE
—The complexity of distributed computing systems and their increasing interaction with the physical world impose challenging requirements in terms of adaptation, robustness, and ...
177
Voted
CLUSTER
2010
IEEE
15 years 4 months ago
2010
IEEE
All-Pairs, Wavefront, and Makeflow Abstractions Li Yu
147
Voted
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
Abstractions as the Foundation for Storage Infrastructure John MacCormick, Nick Murphy, Marc Najork, Chandramohan A. Thekkath, and Lidong Zhou Microsoft Research Silicon Valley Wr...
159
Voted
ENTCS
2008
15 years 7 months ago
2008
traction Kinds and Higher-Order Coercions Andreas Rossberg1 Max Planck Institute for Software Systems Saarbr
164
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
s using Approximately Bisimilar Abstractions: Time-Optimal Control Problems Antoine Girard In this paper, we present a hierarchical approach to time-optimal control using approxima...