Soap boxes display case of 60 pieces

Natural wood craft clothespins display c

Pencil tire gauge display case of 96 pie

Nylon mesh body sponge display display c

Plastic craft wiggly eyes display case o

Search Results

A practical subtyping system for Erlang
article by Philip Wadler at 2nd International Conference on Functional Programming, Amsterdam.
http://www.research.avayalabs.com/user/wadler/topics/erlang.html
Reviews Rating: Not yet Rated Whois Check

Profile-guided optimization across process boundaries
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
Reviews Rating: Not yet Rated Whois Check

Verification of Erlang programs using abstract interpretation and model checking
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&CF....
Reviews Rating: Not yet Rated Whois Check

Extending Erlang for Safe Mobile Code Execution
by L. Brown, D. Sahlin. (ps.gz)
http://www.unsw.adfa.edu.au/~lpb/papers/tr9703.ps.gz
Reviews Rating: Not yet Rated Whois Check

Linear Scan Register Allocation in the HiPE compiler.
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
Reviews Rating: Not yet Rated Whois Check

A High Performance Erlang System
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
Reviews Rating: Not yet Rated Whois Check

The Concurrent Functional Programming Language Erlang - An Overview
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
Reviews Rating: Not yet Rated Whois Check

The Development of Erlang
Joe Armstrong. ACM SIGPLAN International Conference on Functional Programming, Amsterdam.
http://citeseer.nj.nec.com/37831.html
Reviews Rating: Not yet Rated Whois Check

On the Verification of Open Distributed Systems
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/
Reviews Rating: Not yet Rated Whois Check

Mnesia - An Industrial DBMS with Transactions, Distribution and a Logical Query Language
Claes Wikström and Hans Nilsson. International Symposium on Cooperative Database Systems for
Advanced Applications, Kyoto Japan. (ps.Z)
http://citeseer.nj.nec.com/10471.html
Reviews Rating: Not yet Rated Whois Check

Proposals for and Experiments with an Erlang Bit Syntax
Claes Wikström, Bluetail AB. Erlang User Conference, Stockholm. (ps)
http://www.erlang.se/euc/99/binaries.ps
Reviews Rating: Not yet Rated Whois Check

Towards an Event Modelling Language
Maurice Castro, SERC, Melbourne, Australia. Erlang User Conference, Stockholm. (ps)
http://www.erlang.se/euc/99/Event.ps
Reviews Rating: Not yet Rated Whois Check

An Experimental SIP Implementation in Erlang
Hans Nilsson, Ericsson Utvecklings AB. Erlang User Conference, Stockholm.
http://www.erlang.se/euc/99/SIP/index.htm
Reviews Rating: Not yet Rated Whois Check

A Modular WAP Reference Stack Protocol Implementation
Johan Blom, Ericsson Wireless Internet AB. Erlang User Conference, Stockholm.
http://www.erlang.se/euc/99/WAP/index.htm
Reviews Rating: Not yet Rated Whois Check

Hatchet
Per Bergqvist, Ericsson Radio AB. Erlang User Conference, Stockholm.
http://www.erlang.se/euc/99/Hatchet/index.htm
Reviews Rating: Not yet Rated Whois Check

Mail Robustifier Product based on Erlang/OTP
Håkan Millroth, Bluetail AB. Erlang User Conference, Stockholm. (ps)
http://www.erlang.se/euc/99/millroth.ps.gz
Reviews Rating: Not yet Rated Whois Check

Status Report on the ETOS Erlang to Scheme Compiler
Patrick Piché, Université de Montréal. Erlang User Conference, Stockholm. (ps)
http://www.erlang.se/euc/99/ETOS.ps
Reviews Rating: Not yet Rated Whois Check

Telia Call Guide
Hans Nahringbauer, Telia Promotor AB. Erlang User Conference, Stockholm.
http://www.erlang.se/euc/99/TeliaCallGuide/index.htm
Reviews Rating: Not yet Rated Whois Check

3D Graphics with Erlang - The OpenGL Interface.
Jakob Cederlund, Dan Gudmundsson, Björn Gustavsson. Proceedings from EUC 2001, Stockholm.
http://www.erlang.se/euc/01/Erlang3D/sld001.htm
Reviews Rating: Not yet Rated Whois Check

ISD - SSL: The Best SSL Appliance in the World.
Claes Wikström, Johan Bevemyr and Tony Rogvall. Proceedings from EUC2001, Stockholm.
http://www.erlang.se/euc/01/klacke2001/img0.htm
Reviews Rating: Not yet Rated Whois Check

Use of Erlang/OTP in the Brainpool M/3 Communication System
Fredrik Ström, Brainpool AB. Erlang User Conference, Stockholm.
http://www.erlang.se/euc/99/BrainpoolM3/index.htm
Reviews Rating: Not yet Rated Whois Check

The EC Erlang Compiler.
Maurice Castro. Proceedings from EUC 2001, Stockholm. (ps)
http://www.erlang.se/euc/01/castro2001.ps
Reviews Rating: Not yet Rated Whois Check

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.
http://www.erlang-consulting.com/euc2001/index.htm
Reviews Rating: Not yet Rated Whois Check

Cross-Module Optimization of Erlang.
Thomas Lindgren. Proceedings from EUC 2001, Stockholm. (ps)
http://www.erlang.se/euc/01/thomasl.ps
Reviews Rating: Not yet Rated Whois Check

HiPE Version 1.0.
Kostis Sagonas. Proceedings from EUC 2001, Stockholm.
http://www.erlang.se/euc/01/kostis2001/sld001.htm
Reviews Rating: Not yet Rated Whois Check

An Erlang-based Hierarchical Distributed VoD System
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
Reviews Rating: Not yet Rated Whois Check

Erlang Specification Method - A Tool for the Graphical Specification of Distributed Systems.
Frank Huch. Proceedings from EUC 2001, Stockholm. (ps.gz)
http://www.erlang.se/euc/01/huch.ps.gz
Reviews Rating: Not yet Rated Whois Check

Development of a Verified Erlang Program for Resource Locking
Thomas Arts and Clara Benac Earle. Proceedings from EUC 2001, Stockholm. (Slides)
http://www.erlang.se/euc/01/arts2001/sld001.htm
Reviews Rating: Not yet Rated Whois Check

Erlang in the Corelatus MTP2 Signalling Gateway.
Matthias Läng. Proceedings from EUC 2001, Stockholm.
http://www.erlang.se/euc/01/corelatus2001.pdf
Reviews Rating: Not yet Rated Whois Check

Tools for Designing Web Based Interfaces for Erlang/OTP.
Martin Gustafsson. Proceedings from EUC 2001, Stockholm.
http://www.erlang.se/euc/01/martin2001/sld001.htm
Reviews Rating: Not yet Rated Whois Check

Improving Robustness in Distributed Systems.
Per Bergkvist. Proceedings from EUC 2001, Stockholm.
http://www.erlang.se/euc/01/Bergqvist2001/sld001.htm
Reviews Rating: Not yet Rated Whois Check

Welcome SMS in Erlang - Experiences of Rapid Deployment in a GSM Network.
Sean Hinde. Proceedings from EUC 2001, Stockholm.
http://www.erlang.se/euc/01/Hinde2001/sld001.htm
Reviews Rating: Not yet Rated Whois Check

Extending Erlang with structured module packages
Richard Carlsson. Department of Information Technology, Uppsala University. Presented at EUC2000
http://www.it.uu.se/research/reports/2000-001/
Reviews Rating: Not yet Rated Whois Check

Towards a Deadlock Analysis for Erlang Programs
Richard Carlsson. UU/CSD. (ps.gz)
http://www.erlang.se/publications/xjobb/0108-carlsson.ps.gz
Reviews Rating: Not yet Rated Whois Check

The Erlang Verification Tool
by Thomas Noll, Lars-ake Fredlund, and Dilian Gurov at 7th International Conference, TACAS 2001.
http://link.springer.de/link/service/series/0558/bibs/2031/20310582.htm
Reviews Rating: Not yet Rated Whois Check

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)
http://www.erlang.se/publications/clara2.ps
Reviews Rating: Not yet Rated Whois Check

Invited Erlang Tutorial
Joe Armstrong. Principles, Logics, and Implementations of High-level Programming Languages,
Florence.
http://www.erlang.se/workshop/armstrong.pdf
Reviews Rating: Not yet Rated Whois Check

Parallel Model Checking Tool tailored to Erlang
Martin Leucker and Thomas Noll. Principles, Logics, and Implementations of High-level Programming
Languages, Florence. (ps)
http://www.erlang.se/workshop/leucker-noll.ps
Reviews Rating: Not yet Rated Whois Check

A Model for Analyzing Erlang Software from a Code Change Perspective
Lennart Öhman. Principles, Logics, and Implementations of High-level Programming Languages,
Florence. (pdf)
http://www.erlang.se/workshop/lennart.pdf
Reviews Rating: Not yet Rated Whois Check

An Introduction to Core Erlang
Richard Carlsson. Principles, Logics, and Implementations of High-level Programming Languages,
Florence. (ps)
http://www.erlang.se/workshop/carlsson.ps
Reviews Rating: Not yet Rated Whois Check

Extracting the Process Structure of Erlang Applications
Jan Nyström and Bengt Jonsson. Principles, Logics, and Implementations of High-level Programming
Languages, Florence. (ps)
http://www.erlang.se/workshop/nystrom.ps
Reviews Rating: Not yet Rated Whois Check

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)
http://www.erlang.se/workshop/juanjo.ps
Reviews Rating: Not yet Rated Whois Check

A Case for the Unified Heap Approach to Erlang Memory Management
Marc Feeley. Principles, Logics, and Implementations of High-level Programming Languages, Florence.
(ps)
http://www.erlang.se/workshop/feeley.ps
Reviews Rating: Not yet Rated Whois Check

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)
http://www.erlang.se/workshop/remond.ps
Reviews Rating: Not yet Rated Whois Check

Four-fold Increase in Productivity and Quality
Ulf Wiger. Workshop on Formal Design of Safety Critical Embedded Systems. March 21-23, 2001,
Munich.
http://www.erlang.se/publications/Ulf_Wiger.pdf
Reviews Rating: Not yet Rated Whois Check

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.
http://www.jetcafe.org/~npc/doc/euc00-sendmail.html
Reviews Rating: Not yet Rated Whois Check

Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp. ©2004 Jasmine Computers Inc. Click here to subscribe for Jasminecorp's product News. Home | JCBid |Software Development | Domain Registration | Hosting | Web Designing | Buy Books | Advertise with JCSearch | Whois | IP Locator | Add Search | Shopping | Store | Free Blogs | Free GuestBook | Free E-Cards | Free Games | Free Tutorials | Set as Home | Add to Favorite | Suggest a Site | Directory | Our Portfolio | Terms of service | Free quote | Tell a Friend | Special Offer | Job Opportunities | games | Usenet Groups Submit a Site to Jasminecorp.net Directory || Advertise with us