1550 search results - page 248 / 310 » Erlang for Concurrent Programming |
122
click to vote
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
115
click to vote
ENTCS
2010
15 years 1 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
105
click to vote
ENTCS
2006
15 years 1 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
118
click to vote
SIGARCH
2008
15 years 1 months ago
2008
Multiprocessors-on-chip, such as the Cell BE processor, regularly suffer from restricted bandwidth to off-chip main memory. We propose to reduce memory bandwidth requirements, and...
114
click to vote
ACTA
2005
15 years 1 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...