Sciweavers

ERLANG
2006
ACM
14 years 6 months ago
Concurrent caching
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation s persistent storage from cache storage and abstract...
Jay Nelson
ERLANG
2006
ACM
14 years 6 months ago
From HTTP to HTML: Erlang/OTP experiences in web based service applications
This paper describes the lessons learnt when internally developing web applications in Erlang. On the basis of these experiences, a framework called the Web Platform has been impl...
Francesco Cesarini, Lukas Larsson, Michal Slaski
ERLANG
2006
ACM
14 years 6 months ago
Testing telecoms software with quviq QuickCheck
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
Thomas Arts, John Hughes, Joakim Johansson, Ulf Wi...
ERLANG
2006
ACM
14 years 6 months ago
Concurrency oriented programming in termite scheme
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
Guillaume Germain
ERLANG
2006
ACM
14 years 6 months ago
Dryverl: a flexible Erlang/C binding compiler
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
Romain Lenglet, Shigeru Chiba
ERLANG
2006
ACM
14 years 6 months ago
Model checking erlang programs: the functional approach
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
Lars-Åke Fredlund, Clara Benac Earle
ERLANG
2006
ACM
14 years 6 months ago
Evaluation of database management systems for Erlang
Erlang/OTP's DBMS Mnesia is lacking in several important areas to consider when implementing very large databases with massive scalability requirements. This article reveals ...
Emil Hellman