780 search results - page 48 / 156 » Compositional Quantitative Reasoning |
106
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
114
Voted
ICNP
2005
IEEE
15 years 6 months ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
105
Voted
RTSS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
83
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
102
Voted
CSCW
2006
ACM
15 years 6 months ago
2006
ACM
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...