|
15
|
AXD 301: A new generation ATM switching system
– Staffan Blau, Jan Rooth, Jorgen Axell, Fiffi Hellstrand, Magnus Buhrgard, Tommy Westin, Goran Wicklund
- 1998
|
|
9
|
World-Class Product Certification using Erlang
– Ulf Wiger, Gösta Ask, Kent Boortz, Ericsson Ab
- 2002
|
|
7
|
Use of Prolog for developing a new programming language
– J. L. Armstrong, S.R. Virding, M. C. Williams
- 1992
|
|
171
|
Why Do Computers Stop And What Can Be Done About It?
– Jim Gray
- 1985
|
|
19
|
A Framework for Reasoning about Erlang Code
– L Fredlund
- 2001
|
|
6
|
Four-fold Increase in Productivity and Quality - Industrial-Strength Functional Programming in Telecom-Class Products
– Ulf Wiger, Ericsson Telecom Ab
- 2001
|
|
20
|
Verification of Erlang programs using abstract interpretation and model checking
– F Huch
- 1999
|
|
44
|
A Practical Subtyping System For Erlang
– Simon Marlow, Philip Wadler
- 1997
|
|
11
|
On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading
– Ann Tai, Kam Tso, Leon Alkalai, Savio Chau, William Sanders
- 2001
|
|
10
|
Long-life deep-space applications
– Leon Alkalai, Ann T Tai
- 1998
|
|
38
|
Strand: new concepts in parallel programming
– Ian Foster, Stephen Taylor
- 1990
|
|
25
|
Xml schema part 1: Structures. w3c recommendation
– H S Thompson, D Beech, M Maloney, N Mendelsohn
- 2001
|
|
4
|
A practical type system for erlang. Erlang User Conference
– J L Armstrong, T Arts
- 2002
|
|
6
|
Soap version 1.2 part 2: Adjuncts
– M Gudgin, M Hadley, J-J Moreau, H F Nielsen
- 2001
|
|
5
|
Multitasking without comprimise: a virtual machine evolution
– Grzegorz Czajkowski, Laurent Daynès
- 2001
|
|
10
|
An Approach to Safe Object Sharing
– Ciarán Bryce, Chrislain Razafimahefa
- 2000
|
|
2
|
Prototyping cordless using declarative programming
– Ingemar Ahlberg, John-Olof Bauner, Anders Danne
- 1992
|
|
2
|
Svenskt internetbolag köps för 1,4 miljarder. Ny Teknik
– Marie Alpman
- 2000
|
|
2
|
Ubf - universal binary format, http://www.sics.se/ joe/ubf
– J L Armstrong
- 2002
|
