2123 search results - page 413 / 425 » Composition of Cyber-Physical Systems |
151
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
144
click to vote
EUROSYS
2010
ACM
16 years 2 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...
141
click to vote
IPPS
2009
IEEE
16 years 10 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...
168
click to vote
CONCUR
2009
Springer
16 years 8 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...
145
click to vote
SIGCOMM
2009
ACM
16 years 6 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...