|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 523 occurrences of 298 keywords
|
|
|
Results
Found 865 publication records. Showing 862 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
169 | Ulf T. Wiger, Gösta Ask, Kent Boortz |
World-class product certification using Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002, pp. 24-33, 2002, ACM, 1-58113-592-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
testing, erlang |
152 | Scott Lystig Fritchie |
The evolution of Erlang drivers and the Erlang driver toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002, pp. 34-44, 2002, ACM, 1-58113-592-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
code generation, functional programming, Erlang, language extensibility |
136 | Alceste Scalas, Giovanni Casu, Piero Pili |
High-performance technical computing with erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008, pp. 49-60, 2008, ACM, 978-1-60558-065-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
numerical applications, erlang, hpc |
136 | Hans Svensson, Lars-Åke Fredlund |
A more accurate semantics for distributed Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, pp. 43-54, 2007, ACM, 978-1-59593-675-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
distributed systems, model checking, verification, semantics, erlang |
131 | Clara Benac Earle, Lars-Åke Fredlund, John Derrick |
Verifying fault-tolerant Erlang programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005, pp. 26-34, 2005, ACM, 1-59593-066-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
code verification, fault-tolerance, concurrency |
131 | Joe Armstrong |
Getting Erlang to talk to the outside world. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002, pp. 64-72, 2002, ACM, 1-58113-592-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
124 | Philip W. Trinder |
Comparing C++ and ERLANG for motorola telecoms software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006, pp. 51, 2006, ACM, 1-59593-490-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
C++, ERLANG |
124 | Emil Hellman |
Evaluation of database management systems for Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006, pp. 58-67, 2006, ACM, 1-59593-490-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
DBMS, AHP, Erlang |
120 | Lars-Åke Fredlund, Clara Benac Earle |
Model checking erlang programs: the functional approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006, pp. 11-19, 2006, ACM, 1-59593-490-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
code verification, concurrency |
113 | Jan Henry Nyström |
Automatic assessment of failure recovery in Erlang applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009, pp. 23-32, 2009, ACM, 978-1-60558-507-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
erlang |
113 | Konstantinos Sagonas, Daniel Luna |
Gradual typing of erlang programs: a wrangler experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008, pp. 73-82, 2008, ACM, 978-1-60558-065-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dialyzer, software defect detection, contracts, erlang |
113 | Vincenzo Nicosia |
Towards hard real-time Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, pp. 29-36, 2007, ACM, 978-1-59593-675-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
scheduling, real time, erlang |
113 | Qiang Guo 0001, John Derrick |
Verification of timed Erlang/OTP components using the process algebra mucrl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, pp. 55-64, 2007, ACM, 978-1-59593-675-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
OTP, process algebra ?CRL, timeout events, verification, erlang |
113 | Romain Lenglet, Shigeru Chiba |
Dryverl: a flexible Erlang/C binding compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006, pp. 21-31, 2006, ACM, 1-59593-490-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
stub, compiler, C, erlang, binding, port, driver, ODP |
113 | Antonella Di Stefano, Francesca Gangemi, Corrado Santoro |
ERESYE: artificial intelligence in Erlang programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005, pp. 62-71, 2005, ACM, 1-59593-066-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
RETE algorithm, ontologies, expert systems, Erlang |
111 | Thomas Arts, Clara Benac Earle, John Derrick |
Verifying Erlang Code: A Resource Locker Case-Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 184-203, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Model checking, formal verification, process algebra, telecommunication, Erlang |
108 | Gábor Fehér, András G. Békés |
ECT: an object-oriented extension to Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009, pp. 51-62, 2009, ACM, 978-1-60558-507-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
object oriented programming |
108 | Daniel Luna, Mikael Pettersson, Konstantinos Sagonas |
HiPE on AMD64. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004, pp. 38-47, 2004, ACM, 1-58113-918-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
AMD64, native code compilation, erlang |
102 | Richard Carlsson, Mickaël Rémond |
EUnit: a lightweight unit testing framework for Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006, pp. 1, 2006, ACM, 1-59593-490-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
frameworks, unit testing, Erlang, agile methods |
102 | Richard Carlsson, Björn Gustavsson, Patrik Nyblom |
Erlang's exception handling revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004, pp. 16-26, 2004, ACM, 1-58113-918-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
semantics, exception handling, erlang |
101 | Lars-Åke Fredlund, Hans Svensson |
McErlang: a model checker for a distributed functional programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 125-136, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
97 | Chanchal Kumar Roy, Thomas Noll 0001, Banani Roy, James R. Cordy |
Towards automatic verification of Erlang programs by pi-calculus translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006, pp. 38-50, 2006, ACM, 1-59593-490-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
translation mapping, mobile systems, ?-calculus, functional programming languages |
97 | Per Gustafsson, Konstantinos Sagonas |
Native code compilation of Erlang's bit syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002, pp. 6-15, 2002, ACM, 1-58113-592-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
97 | Oscar Hellström |
Optimising TCP/IP connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, pp. 73-84, 2007, ACM, 978-1-59593-675-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
scalability, TCP/IP, erlang |
94 | Erik Johansson, Mikael Pettersson, Konstantinos Sagonas, Thomas Lindgren |
The development of the HiPE system: design and experience report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(4), pp. 421-436, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Programming language implementation, Virtual machines and compilation methods, Functional programming, Concurrent programming, Erlang, Hacking |
91 | Thanassis Avgerinos, Konstantinos Sagonas |
Cleaning up Erlang code is a dirty job but somebody's gotta do it. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009, pp. 1-10, 2009, ACM, 978-1-60558-507-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
code cleanup, code simplification, program transformation, refactoring, erlang |
91 | Tamás Nagy, Anikó Nagyné Víg |
Erlang testing and tools survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008, pp. 21-28, 2008, ACM, 978-1-60558-065-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
market analysis, erlang, test tools |
91 | Miguel Jimenez, Tobias Lindahl, Konstantinos Sagonas |
A language for specifying type contracts in Erlang and its interaction with success typings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, pp. 11-17, 2007, ACM, 978-1-59593-675-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
success typings, contracts, erlang |
91 | Francesco Cesarini, Lukas Larsson, Michal Slaski |
From HTTP to HTML: Erlang/OTP experiences in web based service applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006, pp. 52-57, 2006, ACM, 1-59593-490-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
HTML, HTTP, erlang, web frameworks |
91 | Per Gustafsson, Konstantinos Sagonas |
Bit-level binaries and generalized comprehensions in Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005, pp. 1-8, 2005, ACM, 1-59593-066-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bit-streams, Erlang, comprehensions, binaries |
91 | Jay Nelson |
A stream library using Erlang binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005, pp. 9-16, 2005, ACM, 1-59593-066-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
stream, erlang, binary, BIF |
91 | Tobias Lindahl, Konstantinos Sagonas |
TypEr: a type annotator of Erlang code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005, pp. 17-25, 2005, ACM, 1-59593-066-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
success typings, Erlang, subtyping, principal typings, constraint-based type inference |
88 | Konstantinos Sagonas, Thanassis Avgerinos |
Automatic refactoring of Erlang programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 13-24, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
code cleanup, code simplification, program transformation, refactoring, erlang |
88 | Junfeng Wang 0003, Jin Liu, Chundong She |
Segment-based adaptive hyper-Erlang model for long-tailed network traffic approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 45(3), pp. 296-312, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hyper-Erlang distribution, Adaptive approximation, Network traffic, Expectation maximization (EM) algorithm |
88 | Christian Convey, Andrew Fredricks, Christopher Gagner, Douglas Maxwell, Lutz Hamel |
Experience report: erlang in acoustic ray tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 115-118, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
acoustic ray tracing, C++, Erlang |
88 | Qiang Guo 0001, John Derrick, Csaba Hoch |
Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 201-217, 2008, Springer, 978-3-540-68854-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Telecoms case study, ?CRL, Verification, Process Algebras, Translation, Erlang |
88 | Frank Huch |
Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 261-272, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
distributed system, model checking, verification, abstract interpretation, Erlang |
86 | Hans Svensson, Lars-Åke Fredlund |
Programming distributed Erlang applications: pitfalls and recipes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, pp. 37-42, 2007, ACM, 978-1-59593-675-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
distribution, message passing |
86 | Javier París, Víctor M. Gulías, Alberto Valderruten |
A high performance Erlang Tcp/Ip stack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005, pp. 52-61, 2005, ACM, 1-59593-066-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
fault tolerance, distributed systems, functional programming, TCP/IP |
86 | Thomas Noll 0001, Chanchal Kumar Roy |
Modeling Erlang in the pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005, pp. 72-77, 2005, ACM, 1-59593-066-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
mobile systems, pi-calculus, functional programming languages |
86 | Francesco Cesarini, Viviana Pappalardo, Corrado Santoro |
A comparative evaluation of imperative and functional implementations of the imap protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008, pp. 29-40, 2008, ACM, 978-1-60558-065-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
erlang, functional languages, imperative languages, comparative evaluation, imap |
86 | Huiqing Li, Simon J. Thompson, George Orösz, Melinda Tóth |
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008, pp. 61-72, 2008, ACM, 978-1-60558-065-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
erlide, wrangler, refactoring, process, eclipse, erlang, slicing, record, tuple |
86 | Joe Armstrong |
EX11: a GUI in a concurrent functional language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004, pp. 1-6, 2004, ACM, 1-58113-918-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
x protocol, concurrency, GUI, erlang, x windows |
83 | Joe Armstrong |
A history of Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOPL ![In: Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007, pp. 1-26, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
83 | Marc Feeley, Martin Larose |
Compiling Erlang to Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP/ALP ![In: Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings, pp. 300-317, 1998, Springer, 3-540-65012-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
81 | Thorsten Schütt, Florian Schintke, Alexander Reinefeld |
Scalaris: reliable transactional p2p key/value store. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008, pp. 41-48, 2008, ACM, 978-1-60558-065-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
key/value store, peer-to-peer, transactions, wikipedia |
80 | Sten Grüner, Thomas Lorentsen |
Teaching Erlang using robotics and player/stage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009, pp. 33-40, 2009, ACM, 978-1-60558-507-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
player/stage, teaching, erlang |
80 | Thomas Arts, Laura M. Castro, John Hughes 0001 |
Testing Erlang data types with quviq quickcheck. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008, pp. 1-8, 2008, ACM, 978-1-60558-065-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
quickcheck, erlang, datatypes |
80 | Frank Huch |
Learning programming with Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, pp. 93-99, 2007, ACM, 978-1-59593-675-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
kara, education, programming, erlang |
80 | Ulf T. Wiger |
Extended process registry for Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, pp. 1-10, 2007, ACM, 978-1-59593-675-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
process registry, erlang |
80 | Corrado Santoro |
An Erlang framework for autonomous mobile robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, pp. 85-92, 2007, ACM, 978-1-59593-675-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
expert systems, erlang, autonomous robots |
80 | Koen Claessen, Hans Svensson |
A semantics for distributed Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005, pp. 78-87, 2005, ACM, 1-59593-066-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, verification, semantics, Erlang |
80 | Simon Aurell |
Remote controlling devices using instant messaging: building an intelligent gateway in Erlang/OTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005, pp. 46-51, 2005, ACM, 1-59593-066-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
agents, presence, instant messaging, Erlang, remote controlling, home automation, networked appliances, ubiquity |
80 | Mats Cronqvist |
Troubleshooting a large erlang system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004, pp. 11-15, 2004, ACM, 1-58113-918-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
erlang |
80 | Scott Lystig Fritchie |
A study of Erlang ETS table implementations and performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, pp. 43-55, 2003, ACM, 1-58113-772-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Judy array, in-memory database, Erlang, B-tree, hash table, AVL tree |
77 | Qiang Guo 0001 |
Verifying Erlang/OTP Components in mu CRL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, pp. 227-246, 2007, Springer, 978-3-540-73195-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
OTP, ?CRL, Verification, process algebra, Erlang |
75 | Hans Svensson |
Implementing an LTL-to-Büchi translator in Erlang: a protest experience report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009, pp. 63-70, 2009, ACM, 978-1-60558-507-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
LTL-to-B?chi translator, QuickCheck, property driven development |
75 | Carlos Varela, Carlos Abalde, Laura M. Castro, Jose Gulías |
On modelling agent systems with Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004, pp. 65-70, 2004, ACM, 1-58113-918-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
distributed systems, multi-agent systems, functional programming |
75 | Sven-Olof Nyström |
A soft-typing system for Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, pp. 56-71, 2003, ACM, 1-58113-772-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
75 | Thomas Arts, Lars-Åke Fredlund |
Trace analysis of Erlang programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002, pp. 16-23, 2002, ACM, 1-58113-592-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
75 | Clara Benac Earle, Lars-Åke Fredlund |
Recent improvements to the McErlang model checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009, pp. 93-100, 2009, ACM, 978-1-60558-507-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model checking, verification, formal methods, erlang |
75 | Hugo Cortés, Mónica García, Jorge Hernández, Manuel Hernández-Gutiérrez, Esperanza Pérez-Cordoba, Erik Ramos |
Development of a distributed system applied to teaching and learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009, pp. 41-50, 2009, ACM, 978-1-60558-507-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
learning, functional programming, extreme programming, distributed programming, erlang |
75 | László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király |
Introducing records by refactoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, pp. 18-28, 2007, ACM, 978-1-59593-675-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
refactoring, erlang, records |
72 | Joe Armstrong |
Erlang - Software for a Concurrent World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, pp. 1, 2007, Springer, 978-3-540-73588-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
72 | Konstantinos Sagonas |
Detecting defects in Erlang programs using static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland, pp. 37, 2007, ACM, 978-1-59593-769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
72 | Insoo Koo, Jeongrok Yang, Kiseon Kim |
Erlang Capacity of Voice/Data CDMA Systems with Service Requirements of Blocking Probability and Delay Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN (2) ![In: Networking - ICN 2005, 4th International Conference on Networking, ReunionIsland, France, April 17-21, 2005, Proceedings, Part II, pp. 936-943, 2005, Springer, 3-540-25338-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
72 | Junfeng Wang, Hongxia Zhou, Lei Li, Fanjiang Xu |
Accurate Long-tailed Network Traffic Approximation and Its Queueing Analysis by Hyper-Erlang Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 30th Annual IEEE Conference on Local Computer Networks (LCN 2005), 15-17 November 2005, Sydney, Australia, Proceedings, pp. 148-155, 2005, IEEE Computer Society, 0-7695-2421-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
72 | Junfeng Wang 0008, Hongxia Zhou, Mingtian Zhou, Lei Li |
A general model for long-tailed network traffic approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 38(2), pp. 155-172, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Hyper-erlang distribution, Network measurements, Network traffic, Queueing analysis, Expectation maximization (EM) algorithm |
70 | Jan Henry Nyström, Philip W. Trinder, David J. King |
Evaluating distributed functional languages for telecommunications software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, pp. 1-7, 2003, ACM, 1-58113-772-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
68 | Ingela Anderton Andin, Raimo Niskanen, Peter Dimitrov, Kiko Fernandez-Reyes |
TLS the Erlang/OTP Way (Experience Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023, pp. 2-13, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
68 | Aurélie Kong Win Chang, Jérôme Feret, Gregor Gössler |
A Semantics of Core Erlang with Handling of Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023, pp. 31-38, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
68 | Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano |
InfERL: scalable and extensible Erlang static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022, pp. 33-39, 2022, ACM, 978-1-4503-9435-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Nikos Tsikoudis, Marc Sugiyama |
Troubleshooting the performance of a large Erlang system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022, pp. 2-8, 2022, ACM, 978-1-4503-9435-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Ilya G. Klyuchnikov |
eqWAlizer: scaling Erlang development at WhatsApp with static typing (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022, pp. 1, 2022, ACM, 978-1-4503-9435-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Sébastien Kalbusch, Vincent Verpoten, Peter Van Roy |
The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021., pp. 15-27, 2021, ACM, 978-1-4503-8612-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
68 | Nithin Vadukkumchery Rajendrakumar, Annette Bieniusa |
Bidirectional typing for Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021., pp. 54-63, 2021, ACM, 978-1-4503-8612-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
68 | Fernando Benavides Rodríguez, Laura M. Castro |
Detecting oxbow code in Erlang codebases with the highest degree of certainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021., pp. 28-40, 2021, ACM, 978-1-4503-8612-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
68 | Konstantinos Sagonas |
Fifteen years of successfully dialyzing Erlang and Elixir code (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021., pp. 1, 2021, ACM, 978-1-4503-8612-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
68 | Peter Zeller 0001, Annette Bieniusa, Carla Ferreira 0001 |
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020, pp. 14-23, 2020, ACM, 978-1-4503-8049-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
68 | Viktória Fördós |
Secure design and verification of Erlang systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020, pp. 31-40, 2020, ACM, 978-1-4503-8049-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
68 | Péter Bereczky, Dániel Horpácsi, Simon J. Thompson |
Machine-checked natural semantics for Core Erlang: exceptions and side effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020, pp. 1-13, 2020, ACM, 978-1-4503-8049-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
68 | Joseph R. Harrison |
Runtime type safety for erlang/otp behaviours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019, pp. 36-47, 2019, ACM, 978-1-4503-6810-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
68 | Igor Kopestenski, Peter Van Roy |
Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019, pp. 1-12, 2019, ACM, 978-1-4503-6810-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
68 | Håkan Mattsson, Cons T. Åhs |
Lux: an expect-like test tool written in Erlang: synchronised testing of multiple sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019, pp. 68-73, 2019, ACM, 978-1-4503-6810-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
68 | Adam Lindberg, Sébastien Merle, Peer Stritzinger |
Scaling Erlang distribution: going beyond the fully connected mesh. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019, pp. 48-55, 2019, ACM, 978-1-4503-6810-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
68 | Gergely Nagy, Áron Attila Mészáros, István Bozó, Melinda Tóth |
Tools supporting green computing in Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019, pp. 30-35, 2019, ACM, 978-1-4503-6810-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
68 | Michal Slaski, Wojciech Turek |
Towards online profiling of Erlang systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019, pp. 13-17, 2019, ACM, 978-1-4503-6810-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
66 | Thomas Arts, Clara Benac Earle, John Derrick |
Development of a verified Erlang program for resource locking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(2-3), pp. 205-220, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Formal methods, Functional programming, Erlang, Software verification |
66 | Insoo Koo, Aftab Ahmad, Kiseon Kim |
Erlang Capacity of CDMA Systems Using Optimized Sectoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Wirel. Inf. Networks ![In: Int. J. Wirel. Inf. Networks 10(2), pp. 105-110, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Erlang capacity, optimized-sectoring, CDMA |
66 | Joe L. Armstrong |
The Development of Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997., pp. 196-203, 1997, ACM, 0-89791-918-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ERLANG |
64 | Torbjrn Trnkvist |
An implementation of the SMB protocol in erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004, pp. 33-37, 2004, ACM, 1-58113-918-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
64 | Manfred Widera |
Flow graphs for testing sequential Erlang programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004, pp. 48-53, 2004, ACM, 1-58113-918-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
test coverage, flow graphs |
64 | David Cabrero, Carlos Abalde, Carlos Varela, Laura M. Castro |
ARMISTICE: an experience developing management software with Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, pp. 23-28, 2003, ACM, 1-58113-772-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
distributed computing, design patterns, functional programming, concurrent programming, business logic, client/server architecture |
64 | Richard Carlsson |
Parameterized modules in Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, pp. 29-35, 2003, ACM, 1-58113-772-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
64 | Richard Carlsson |
Hierarchical module namespaces in Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002, pp. 1-5, 2002, ACM, 1-58113-592-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
63 | László Lövei, Csaba Hoch, Hanna Köllö, Tamás Nagy, Anikó Nagyné Víg, Dániel Horpácsi, Róbert Kitlei, Roland Király |
Refactoring module structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008, pp. 83-89, 2008, ACM, 978-1-60558-065-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
clustering modules, refactoring, erlang |
63 | Jan Henry Nyström |
Priority messaging made easy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, pp. 65-72, 2007, ACM, 978-1-59593-675-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
generic, erlang, server, behaviour |
63 | Jay Nelson |
Structured programming using processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004, pp. 54-64, 2004, ACM, 1-58113-918-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
COPL, concurrency oriented programming language, inductive decomposition, erlang |
63 | Erik Stenman, Konstantinos Sagonas |
On reducing interprocess communication overhead in concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002, pp. 58-63, 2002, ACM, 1-58113-592-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
erlang, process scheduling, concurrent languages |
61 | Junfeng Wang, Hongxia Zhou, Fanjiang Xu, Lei Li |
Hyper-Erlang Based Model for Network Traffic Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings, pp. 1012-1023, 2005, Springer, 3-540-29769-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 862 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|