Building the Next Generation Web Services with Erlang: Scalability and High Availability at Stake
Mickaël Rémond. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) (September 2, 2001)
A Case for the Unified Heap Approach to Erlang Memory Management
Marc Feeley. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) (September 2, 2001)
Exploiting Sequential Libraries on a Cluster of Computers
Miguel Barreiro, José Luis Freire, Victor M Gulias and Juan J Sanchez. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) (September 2, 2001)
Extracting the Process Structure of Erlang Applications
Jan Nyström and Bengt Jonsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) (September 2, 2001)
An Introduction to Core Erlang
Richard Carlsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) (September 2, 2001)
A Model for Analyzing Erlang Software from a Code Change Perspective
Lennart Öhman. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (pdf) (September 2, 2001)
Parallel Model Checking Tool tailored to Erlang
Martin Leucker and Thomas Noll. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) (September 2, 2001)
Invited Erlang Tutorial
Joe Armstrong. Principles, Logics, and Implementations of High-level Programming Languages, Florence. [PDF] (September 1, 2001)
Development of a Verified Erlang Program for Resource Locking
Thomas Arts and Clara Benac Earle. 6th International Workshop on Formal Methods for Industrial Critical Systems, Paris. (ps) (July, 2001)
The Erlang Verification Tool
by Thomas Noll, Lars-ake Fredlund, and Dilian Gurov at 7th International Conference, TACAS 2001. (April 2, 2001)
Extending Erlang with structured module packages
Richard Carlsson. Department of Information Technology, Uppsala University. Presented at EUC2000 (October 3, 2000)
Sendmail Meets Erlang: Experiences Using Erlang for Email Applications
Scott Lystig Fritchie, Jim Larson, Nick Christenson, Debi Jones, Lennart Öhman. Sixth International Erlang/OTP User Conference, Stockholm. (October 3, 2000)
An Experimental SIP Implementation in Erlang
Hans Nilsson, Ericsson Utvecklings AB. Erlang User Conference, Stockholm. (September 30, 1999)
Hatchet
Per Bergqvist, Ericsson Radio AB. Erlang User Conference, Stockholm. (September 30, 1999)
Mail Robustifier Product based on Erlang/OTP
Håkan Millroth, Bluetail AB. Erlang User Conference, Stockholm. (ps) (September 30, 1999)
A Modular WAP Reference Stack Protocol Implementation
Johan Blom, Ericsson Wireless Internet AB. Erlang User Conference, Stockholm. (September 30, 1999)
Proposals for and Experiments with an Erlang Bit Syntax
Claes Wikström, Bluetail AB. Erlang User Conference, Stockholm. (ps) (September 30, 1999)
Status Report on the ETOS Erlang to Scheme Compiler
Patrick Piché, Université de Montréal. Erlang User Conference, Stockholm. (ps) (September 30, 1999)
Telia Call Guide
Hans Nahringbauer, Telia Promotor AB. Erlang User Conference, Stockholm. (September 30, 1999)
Towards an Event Modelling Language
Maurice Castro, SERC, Melbourne, Australia. Erlang User Conference, Stockholm. (ps) (September 30, 1999)
Results: Previous 1 2 3 4 5 6 Next
Site
Menu 
