Sciweavers

116 search results - page 8 / 24
» Erlang
Sort
View
CORR
2010
Springer
71views Education» more  CORR 2010»
13 years 7 months ago
Start-phase control of distributed systems written in Erlang/OTP
This paper presents a realization for the reliable and fast startup of distributed systems written in Erlang. The traditional startup provided by the Erlang/OTP library is sequenti...
Peter Burcsi, Attila Kovács, Antal Tá...
TAICPART
2010
IEEE
137views Education» more  TAICPART 2010»
13 years 6 months ago
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang
Qiang Guo, John Derrick, Clara Benac Earle, Lars-&...
PADL
2010
Springer
14 years 4 months ago
Static Detection of Race Conditions in Erlang
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
Maria Christakis, Konstantinos F. Sagonas
ERLANG
2004
ACM
14 years 1 months ago
On modelling agent systems with Erlang
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled syste...
Carlos Varela, Carlos Abalde, Laura M. Castro, Jos...
PPDP
2009
Springer
14 years 2 months ago
Automatic refactoring of Erlang programs
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
Konstantinos F. Sagonas, Thanassis Avgerinos