4434 search results - page 859 / 887 » On the Composition of Hybrid Systems |
152
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20.000 lines of challenging C++ code encompassing synchronization, networking and cryptogra...
145
click to vote
IPPS
2009
IEEE
16 years 22 days ago
2009
IEEE
Stencil computation (SC) is of critical importance for broad scientific and engineering applications. However, it is a challenge to optimize complex, highorder SC on emerging clus...
170
click to vote
CONCUR
2009
Springer
16 years 20 days ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
151
click to vote
SIGCOMM
2009
ACM
16 years 18 days ago
2009
ACM
Large, socially-driven Web 2.0 sites such as Facebook and Youtube have seen significant growth in popularity [5, 10]. However, strong demand also exists for socially-driven web s...
165
Voted
GLOBECOM
2008
IEEE
16 years 17 days ago
2008
IEEE
Providing real-time multimedia services over a best-effort network is challenging due to the stringent delay requirements in the presence of complex network dynamics. Multiple des...