Web Directory

  Proceedings (45)

Submit a Featured Link: [$19.00] Submit a Regular Link: [$9.00]  

See Also - Related Categories
Featured Websites in this category
http://www.erlang.se/publications/Ulf_Wiger.pdf
Featured Site Four-fold Increase in Productivity and Quality Open in a new browser windowLink Details
- Ulf Wiger. Workshop on Formal Design of Safety Critical Embedded Systems. March 21-23, 2001, Munich.
- http://www.erlang.se/publications/Ulf_Wiger.pdf

Lock this listing - So it can't be removed Report this listing Add a new Featured link

Regular Websites in this category

Extending Erlang with structured module packages Open in a new windowLink Details
- Richard Carlsson. Department of Information Technology, Uppsala University. Presented at EUC2000
- http://www.it.uu.se/research/publications/reports/2000-001/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
The Development of Erlang Open in a new windowLink Details
- Joe Armstrong. ACM SIGPLAN International Conference on Functional Programming, Amsterdam.
- http://citeseer.ist.psu.edu/37831.html

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Mnesia - An Industrial DBMS with Transactions, Distribution and a Logical Query Language Open in a new windowLink Details
- Claes Wikström and Hans Nilsson. International Symposium on Cooperative Database Systems for Advanced Applications, Kyoto Japan. (ps.Z)
- http://citeseer.ist.psu.edu/10471.html

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
A practical subtyping system for Erlang Open in a new windowLink Details
- article by Philip Wadler at 2nd International Conference on Functional Programming, Amsterdam.
- http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Profile-guided optimization across process boundaries Open in a new windowLink Details
- Erik Johansson and Sten-Olof Nyström. CM SIGPLAN Workshop on Dynamic and Adaptive Compilation. (ps)
- http://user.it.uu.se/~happi/hipe/oapb_dynamo.ps

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Verification of Erlang programs using abstract interpretation and model checking Open in a new windowLink Details
- Frank Huch. Fourth ACM SIGPLAN international conference on Functional programming, Paris.
- http://portal.acm.org/citation.cfm?id=317908&coll=portal&dl=ACM&CFID=9780600&CFTOKEN=77012708

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Extending Erlang for Safe Mobile Code Execution Open in a new windowLink Details
- by L. Brown, D. Sahlin. (ps.gz)
- http://www.unsw.adfa.edu.au/~lpb/papers/tr9703.ps.gz

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Linear Scan Register Allocation in the HiPE compiler. Open in a new windowLink Details
- Erik Johansson and Konstantinos Sagonas. Precented at the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), Kiel.
- http://user.it.uu.se/~happi/publications/wflp.ps

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
A High Performance Erlang System Open in a new windowLink Details
- Erik Johansson, Mikael Pettersson and Konstantinos Sagonas. Presented at the 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000), Montreal.
- http://user.it.uu.se/~happi/publications/p32-johansson.pdf

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
The Concurrent Functional Programming Language Erlang - An Overview Open in a new windowLink Details
- Dan Sahlin. Workshop of Multi-Paradigm Logic Programming, in conjunction with the Joint International Conference and Symposium on Logic Programming, Bonn. (ps.gz)
- http://www.cs.tu-berlin.de/cs/ifb/TechnB/96/28/sahlin.ps.gz

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
On the Verification of Open Distributed Systems Open in a new windowLink Details
- Mads Dam, Lars-åke Fredlund, Swedish Institute of Computer Science, Submitted to SAC'98. (ps)
- http://www.cogsci.ed.ac.uk/~ceilidh/SAC-Papers/Paper78/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Proposals for and Experiments with an Erlang Bit Syntax Open in a new windowLink Details
- Claes Wikström, Bluetail AB. Erlang User Conference, Stockholm. (ps)
- http://www.erlang.se/euc/99/binaries.ps

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Towards an Event Modelling Language Open in a new windowLink Details
- Maurice Castro, SERC, Melbourne, Australia. Erlang User Conference, Stockholm. (ps)
- http://www.erlang.se/euc/99/Event.ps

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
An Experimental SIP Implementation in Erlang Open in a new windowLink Details
- Hans Nilsson, Ericsson Utvecklings AB. Erlang User Conference, Stockholm.
- http://www.erlang.se/euc/99/SIP/index.htm

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
A Modular WAP Reference Stack Protocol Implementation Open in a new windowLink Details
- Johan Blom, Ericsson Wireless Internet AB. Erlang User Conference, Stockholm.
- http://www.erlang.se/euc/99/WAP/index.htm

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Hatchet Open in a new windowLink Details
- Per Bergqvist, Ericsson Radio AB. Erlang User Conference, Stockholm.
- http://www.erlang.se/euc/99/Hatchet/index.htm

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Mail Robustifier Product based on Erlang/OTP Open in a new windowLink Details
- Håkan Millroth, Bluetail AB. Erlang User Conference, Stockholm. (ps)
- http://www.erlang.se/euc/99/millroth.ps.gz

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Status Report on the ETOS Erlang to Scheme Compiler Open in a new windowLink Details
- Patrick Piché, Université de Montréal. Erlang User Conference, Stockholm. (ps)
- http://www.erlang.se/euc/99/ETOS.ps

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Telia Call Guide Open in a new windowLink Details
- Hans Nahringbauer, Telia Promotor AB. Erlang User Conference, Stockholm.
- http://www.erlang.se/euc/99/TeliaCallGuide/index.htm

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
3D Graphics with Erlang - The OpenGL Interface. Open in a new windowLink Details
- Jakob Cederlund, Dan Gudmundsson, Björn Gustavsson. Proceedings from EUC 2001, Stockholm.
- http://www.erlang.se/euc/01/Erlang3D/sld001.htm

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
ISD - SSL: The Best SSL Appliance in the World. Open in a new windowLink Details
- Claes Wikström, Johan Bevemyr and Tony Rogvall. Proceedings from EUC2001, Stockholm.
- http://www.erlang.se/euc/01/klacke2001/img0.htm

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Use of Erlang/OTP in the Brainpool M/3 Communication System Open in a new windowLink Details
- Fredrik Ström, Brainpool AB. Erlang User Conference, Stockholm.
- http://www.erlang.se/euc/99/BrainpoolM3/index.htm

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
The EC Erlang Compiler. Open in a new windowLink Details
- Maurice Castro. Proceedings from EUC 2001, Stockholm. (ps)
- http://www.erlang.se/euc/01/castro2001.ps

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
The migration from Erlang to OTP: A case study of a heavu duty TCP/IP client - server application written in Erlang. Open in a new windowLink Details
- Mickaël Rémond, Francesco Cesarini. Proceedings from EUC2001, Stockholm.
- http://www.erlang-consulting.com/euc2001/index.htm

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Cross-Module Optimization of Erlang. Open in a new windowLink Details
- Thomas Lindgren. Proceedings from EUC 2001, Stockholm. (ps)
- http://www.erlang.se/euc/01/thomasl.ps

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
HiPE Version 1.0. Open in a new windowLink Details
- Kostis Sagonas. Proceedings from EUC 2001, Stockholm.
- http://www.erlang.se/euc/01/kostis2001/sld001.htm

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
An Erlang-based Hierarchical Distributed VoD System Open in a new windowLink Details
- Miguel Barreiro, José L. Freire, Víctor M. Gulías, Javier Mosquera and Juan J. Sánchez. Proceedings from EUC 2001, Stockholm.
- http://www.erlang.se/euc/01/barreiro2001.pdf

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Erlang Specification Method - A Tool for the Graphical Specification of Distributed Systems. Open in a new windowLink Details
- Frank Huch. Proceedings from EUC 2001, Stockholm. (ps.gz)
- http://www.erlang.se/euc/01/huch.ps.gz

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Development of a Verified Erlang Program for Resource Locking Open in a new windowLink Details
- Thomas Arts and Clara Benac Earle. Proceedings from EUC 2001, Stockholm. (Slides)
- http://www.erlang.se/euc/01/arts2001/sld001.htm

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Erlang in the Corelatus MTP2 Signalling Gateway. Open in a new windowLink Details
- Matthias Läng. Proceedings from EUC 2001, Stockholm.
- http://www.erlang.se/euc/01/corelatus2001.pdf

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Tools for Designing Web Based Interfaces for Erlang/OTP. Open in a new windowLink Details
- Martin Gustafsson. Proceedings from EUC 2001, Stockholm.
- http://www.erlang.se/euc/01/martin2001/sld001.htm

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Improving Robustness in Distributed Systems. Open in a new windowLink Details
- Per Bergkvist. Proceedings from EUC 2001, Stockholm.
- http://www.erlang.se/euc/01/Bergqvist2001/sld001.htm

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Welcome SMS in Erlang - Experiences of Rapid Deployment in a GSM Network. Open in a new windowLink Details
- Sean Hinde. Proceedings from EUC 2001, Stockholm.
- http://www.erlang.se/euc/01/Hinde2001/sld001.htm

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Towards a Deadlock Analysis for Erlang Programs Open in a new windowLink Details
- Richard Carlsson. UU/CSD. (ps.gz)
- http://www.erlang.se/publications/xjobb/0108-carlsson.ps.gz

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Invited Erlang Tutorial Open in a new windowLink Details
- Joe Armstrong. Principles, Logics, and Implementations of High-level Programming Languages, Florence.
- http://www.erlang.se/workshop/armstrong.pdf

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Parallel Model Checking Tool tailored to Erlang Open in a new windowLink Details
- Martin Leucker and Thomas Noll. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
- http://www.erlang.se/workshop/leucker-noll.ps

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
A Model for Analyzing Erlang Software from a Code Change Perspective Open in a new windowLink Details
- Lennart Öhman. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (pdf)
- http://www.erlang.se/workshop/lennart.pdf

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
An Introduction to Core Erlang Open in a new windowLink Details
- Richard Carlsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
- http://www.erlang.se/workshop/carlsson.ps

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Extracting the Process Structure of Erlang Applications Open in a new windowLink Details
- Jan Nyström and Bengt Jonsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
- http://www.erlang.se/workshop/nystrom.ps

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Exploiting Sequential Libraries on a Cluster of Computers Open in a new windowLink Details
- Miguel Barreiro, José Luis Freire, Victor M Gulias and Juan J Sanchez. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
- http://www.erlang.se/workshop/juanjo.ps

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
A Case for the Unified Heap Approach to Erlang Memory Management Open in a new windowLink Details
- Marc Feeley. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
- http://www.erlang.se/workshop/feeley.ps

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Building the Next Generation Web Services with Erlang: Scalability and High Availability at Stake Open in a new windowLink Details
- Mickaël Rémond. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
- http://www.erlang.se/workshop/remond.ps

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Sendmail Meets Erlang: Experiences Using Erlang for Email Applications Open in a new windowLink Details
- Scott Lystig Fritchie, Jim Larson, Nick Christenson, Debi Jones, Lennart Öhman. Sixth International Erlang/OTP User Conference, Stockholm.
- http://www.jetcafe.org/~npc/doc/euc00-sendmail.html

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing

Submit a Featured Link: [$19.00]  Submit a Regular Link: [$9.00]