Sciweavers

10 search results - page 2 / 2
» erlang 2003
Sort
View
ERLANG
2003
ACM
13 years 11 months ago
Automated test generation for industrial Erlang applications
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
Johan Blom, Bengt Jonsson
WOA
2003
13 years 7 months ago
eXAT: an Experimental Tool for Programming Multi-Agent Systems in Erlang
— This paper describes a research experiment carried out at the University of Catania, aiming at testing and evaluating the applicability of the Erlang language in programming mu...
Antonella Di Stefano, Corrado Santoro
ERLANG
2003
ACM
13 years 11 months ago
Evaluating distributed functional languages for telecommunications software
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...
Jan Henry Nyström, Philip W. Trinder, David J...
ERLANG
2003
ACM
13 years 11 months ago
A study of Erlang ETS table implementations and performance
The viability of implementing an in-memory database, Erlang ETS, using a relatively-new data structure, called a Judy array, was studied by comparing the performance of ETS tables...
Scott Lystig Fritchie
ITC
2003
IEEE
141views Hardware» more  ITC 2003»
13 years 11 months ago
Testability Features of the Alpha 21364 Microprocessor
The custom testability strategy of the Alpha 21364, Hewlett-Packard’s most recent Alpha microprocessor, builds upon its Alpha 21264 embedded core. Several additional DFT feature...
Scott Erlanger, Dilip K. Bhavsar, Richard A. Davie...