8493 search results - page 1040 / 1699 » Implementing a distributed firewall |
206
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
202
Voted
EUROPAR
2010
Springer
15 years 8 months ago
2010
Springer
Manual parallelization of programs is known to be difficult and error-prone, and there are currently few ways to measure the amount of potential parallelism in the original sequent...
211
Voted
EUROPAR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. To resolve difficulties in parallel programming, a large number of studies are conducted on parallel skeletons and optimization theorems over skeleton programs. However, ...
217
Voted
DAIS
2009
15 years 8 months ago
2009
Overlay networks have emerged as a powerful paradigm to realise a large range of distributed services. However, as the number of overlays grows and the systems that use them become...
191
Voted
HPCC
2010
Springer
15 years 8 months ago
2010
Springer
This paper presents an algorithm and a data structure for scalable dynamic synchronization in fine-grained parallelism. The algorithm supports the full generality of phasers with d...