HiPE Version 1.0.
Kostis Sagonas. Proceedings from EUC 2001, Stockholm. (September 28, 2001)
Improving Robustness in Distributed Systems.
Per Bergkvist. Proceedings from EUC 2001, Stockholm. (September 28, 2001)
ISD - SSL: The Best SSL Appliance in the World.
Claes Wikström, Johan Bevemyr and Tony Rogvall. Proceedings from EUC2001, Stockholm. (September 28, 2001)
The migration from Erlang to OTP: A case study of a heavu duty TCP/IP client - server application written in Erlang.
Mickaël Rémond, Francesco Cesarini. Proceedings from EUC2001, Stockholm. (September 28, 2001)
Tools for Designing Web Based Interfaces for Erlang/OTP.
Martin Gustafsson. Proceedings from EUC 2001, Stockholm. (September 28, 2001)
Welcome SMS in Erlang - Experiences of Rapid Deployment in a GSM Network.
Sean Hinde. Proceedings from EUC 2001, Stockholm. (September 28, 2001)
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)
Results: Previous 1 2 3 4 5 6 Next
Site
Menu 
