AXD 301: A new generation ATM switching system (1998)

Cached

Download Links

by Staffan Blau , Jan Rooth , Jorgen Axell , Fiffi Hellstrand , Magnus Buhrgard , Tommy Westin , Goran Wicklund
Venue:Ericsson Review
Citations:15 - 0 self

Documents Related by Co-Citation

20 Verification of Erlang programs using abstract interpretation and model checking – F Huch - 1999
21 Open telecom platform – Seved Torstendahl - 1997
6 Four-fold Increase in Productivity and Quality - Industrial-Strength Functional Programming in Telecom-Class Products – Ulf Wiger, Ericsson Telecom Ab - 2001
16 Development of a verified Erlang program for resource locking – Thomas Arts, Clara Benac Earle - 2001
7 Concurrent functional programming for telecommunications: A case study of technology introduction – Bjarne Däcker - 2000
94 Concurrent Programming in ERLANG – Joe Armstrong, Robert Virding, Claes Wikström, Mike Williams - 1993
4 Use of Erlang/OTP as a Service Creation Tool for IN Services – S Hinde
4 Implementing dynamic scalability in a distributed processing environment – R Lillie - 1999
5 Functional vs Object-Oriented Distributed Languages – R. F. Pointon, S. Priebe, H-w. Loidl, R. Loogen, P.W. Trinder - 2001
29 An Overview of the Design of Distributed Oz – Seif Haridi, Peter Van Roy, Gert Smolka - 1997
160 FACILE: A symmetric integration of concurrent and functional programming – P Mishra Giacalone, S Prasad
23 The Design and Implementation of Glasgow distributed Haskell – R. F. Pointon, P.W. Trinder, H-W. Loidl - 2000
50 Making Reliable Distributed Systems in the Presence of Software Errors – Joe Armstrong, To Helen - 2003
60 Higher-Order Distributed Objects – Henry Cejtin, Suresh Jagannathan, Richard Kelsey - 1995
21 Inductively Defined Functions in Functional Programming Languages”, LFCS – R Burstall - 1987
21 A Tutorial on Lava: A Hardware Description and Verification System – Koen Claessen, Mary Sheeran - 2000
141 The ESTEREL language – F Boussinot, R De Simone - 1991
71 Hume: A Domain-Specific Language for Real-Time Embedded Systems – Kevin Hammond, Greg Michaelson - 2003
14 Verifying Erlang code: A resource locker case-study – T Arts, C B Earle, J Derrick