Sciweavers

37 search results - page 3 / 8
» The Development of 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á...
ERLANG
2004
ACM
14 years 1 months ago
Flow graphs for testing sequential Erlang programs
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
Manfred Widera
ERLANG
2003
ACM
14 years 27 days ago
Extending the VoDKA architecture to improve resource modelling
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
Juan José Sánchez Penas, Carlos Abal...
FM
2009
Springer
153views Formal Methods» more  FM 2009»
13 years 5 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
ERLANG
2004
ACM
13 years 11 months ago
An external short message entity for gambling services
This paper introduces a new platform designed for mobile gambling services. The special characteristics of these services lead us to developed a multiservice platform that easily ...
Enrique Marcote, Daniel I. Iglesia, Carlos J. Escu...