1888 search results - page 144 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
136
Voted
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Local network coding is growing in prominence as a technique to facilitate greater capacity utilization in multi-hop wireless networks. A specific objective of such local network ...
141
click to vote
CF
2008
ACM
15 years 5 months ago
2008
ACM
Volunteer Computing (VC) is a paradigm that takes advantage of idle cycles from computing resources donated by volunteers and connected through the Internet to compute large-scale...
124
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
146
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
To take full advantage of the parallelism offered by a multicore machine, one must write parallel code. Writing parallel code is difficult. Even when one writes correct code, the...
131
Voted
UM
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...