|
|
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 |
61 | Lars-Åke Fredlund, Dilian Gurov, Thomas Noll 0001, Mads Dam, Thomas Arts, Gennady Chugunov |
A verification tool for ERLANG. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Formal methods, Theorem proving, Software verification |
61 | Mikael Pettersson, Konstantinos Sagonas, Erik Johansson |
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
61 | Thomas Arts, Thomas Noll 0001 |
Verifying Generic Erlang Client-Server Implementations. |
IFL |
2000 |
DBLP DOI BibTeX RDF |
|
61 | Nadra Abdalla, Richard J. Boucherie |
Blocking Probabilities in Mobile Communications Networks with Time-Varying Rates and Redialing Subscribers. |
Ann. Oper. Res. |
2002 |
DBLP DOI BibTeX RDF |
network of Erlang loss queues, time-varying rates, Modified Offered Load approximation, blocking probabilities |
59 | Enrique Marcote, Daniel I. Iglesia, Carlos J. Escudero |
An external short message entity for gambling services. |
Erlang Workshop |
2004 |
DBLP DOI BibTeX RDF |
SMPP, mobile gambling, SMS, XForms |
59 | Konstantinos Sagonas, Mikael Pettersson, Richard Carlsson, Per Gustafsson, Tobias Lindahl |
All you wanted to know about the HiPE compiler: (but might have been afraid to ask). |
Erlang Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
56 | Kyung-Geun Lee, JongSuh Park, Ho-Soo Kim, Ju-wook Jang |
Practical Considerations in Trunk Engineering for Cellular Service. |
ICOIN |
2004 |
DBLP DOI BibTeX RDF |
|
55 | Huiqing Li, Simon J. Thompson |
Clone detection and removal for Erlang/OTP within a refactoring environment. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
wrangler, program transformation, program analysis, refactoring, erlang, duplicated code |
55 | Qiang Guo 0001, John Derrick, Neil Walkinshaw |
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
FBT, Structural Coverage, Testing, Transformation, Erlang |
55 | Cuibo Yu, Xuerong Gou, Shasha Chai, Xunan Wang, Yunhan Xie |
Modifying Erlang B table based upon data mining. |
ICIS |
2009 |
DBLP DOI BibTeX RDF |
Erlang B formula, LS, traffic predication, data mining, least square |
55 | Steve Vinoski |
Reliability with Erlang. |
IEEE Internet Comput. |
2007 |
DBLP DOI BibTeX RDF |
toward integration, reliability, middleware, programming language, telecommunications, Erlang, enterprise-integration |
52 | Burcu Kulahcioglu Ozkan, Kiko Fernandez-Reyes (eds.) |
Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023 |
Erlang Workshop |
2023 |
DBLP DOI BibTeX RDF |
|
52 | Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño |
Generation and Refinement of Testing Models. |
Erlang Workshop |
2023 |
DBLP DOI BibTeX RDF |
|
52 | Dmitrii Fedoseev, Serhii Tupchii, Thales Macedo Garitezi, Zaiming Shi |
Mria: An Eventually Consistent Mnesia. |
Erlang Workshop |
2023 |
DBLP DOI BibTeX RDF |
|
52 | Ke Mao |
Code Analysis at WhatsApp (Keynote). |
Erlang Workshop |
2023 |
DBLP DOI BibTeX RDF |
|
52 | Stavros Aronis, Burcu Kulahcioglu Ozkan (eds.) |
Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022 |
Erlang Workshop |
2022 |
DBLP DOI BibTeX RDF |
|
52 | Ruomeng (Cocoa) Xu, Anna Lito Michala, Phil Trinder |
CAEFL: composable and environment aware federated learning models. |
Erlang Workshop |
2022 |
DBLP DOI BibTeX RDF |
|
52 | Aidan Randtoul, Phil Trinder |
A reliability benchmark for actor-based server languages. |
Erlang Workshop |
2022 |
DBLP DOI BibTeX RDF |
|
52 | Sergio Pérez 0001, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund |
Executable contracts for Elixir. |
Erlang Workshop |
2022 |
DBLP DOI BibTeX RDF |
|
52 | Stavros Aronis, Annette Bieniusa (eds.) |
Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021. |
Erlang Workshop |
2021 |
DBLP DOI BibTeX RDF |
|
52 | Viktória Fördós |
What are the critical security flaws in my system? |
Erlang Workshop |
2021 |
DBLP DOI BibTeX RDF |
|
52 | Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño |
Makina: a new QuickCheck state machine library. |
Erlang Workshop |
2021 |
DBLP DOI BibTeX RDF |
|
52 | Matthew Alan Le Brun, Duncan Paul Attard, Adrian Francalanza |
Graft: general purpose raft consensus in Elixir. |
Erlang Workshop |
2021 |
DBLP DOI BibTeX RDF |
|
52 | Annette Bieniusa, Viktória Fördós (eds.) |
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020 |
Erlang Workshop |
2020 |
DBLP DOI BibTeX RDF |
|
52 | Juan Facorro, Natalia Chechina |
Clojerl: the expressive power of Clojure on the BEAM. |
Erlang Workshop |
2020 |
DBLP DOI BibTeX RDF |
|
52 | Boldizsár Poór, Melinda Tóth, István Bozó |
Transformations towards clean functional code. |
Erlang Workshop |
2020 |
DBLP DOI BibTeX RDF |
|
52 | Adrian Francalanza, Viktória Fördós (eds.) |
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019 |
Erlang Workshop |
2019 |
DBLP BibTeX RDF |
|
52 | Torbjörn Lager |
Intro to web prolog for erlangers. |
Erlang Workshop |
2019 |
DBLP DOI BibTeX RDF |
|
52 | Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson |
Gaining trust by tracing security protocols. |
Erlang Workshop |
2019 |
DBLP DOI BibTeX RDF |
|
52 | Joseph R. Harrison |
Automatic detection of core Erlang message passing errors. |
Erlang Workshop |
2018 |
DBLP DOI BibTeX RDF |
|
52 | Alexandre Jorge Barbosa Rodrigues, Viktória Fördós |
Towards secure Erlang systems. |
Erlang Workshop |
2018 |
DBLP DOI BibTeX RDF |
|
52 | Jörgen Brandt, Wolfgang Reisig |
Modeling Erlang processes as Petri nets. |
Erlang Workshop |
2018 |
DBLP DOI BibTeX RDF |
|
52 | Nachiappan Valliappan, John Hughes 0001 |
Typing the wild in Erlang. |
Erlang Workshop |
2018 |
DBLP DOI BibTeX RDF |
|
52 | Stavros Aronis, Viktória Fördós, Dániel Szoboszlay |
Modelling distributed Erlang within a single node. |
Erlang Workshop |
2018 |
DBLP DOI BibTeX RDF |
|
52 | Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, Hiroyuki Kanbara |
Distributed memory architecture for high-level synthesis of embedded controllers from Erlang. |
Erlang Workshop |
2017 |
DBLP DOI BibTeX RDF |
|
52 | Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir |
eAOP: an aspect oriented programming framework for Erlang. |
Erlang Workshop |
2017 |
DBLP DOI BibTeX RDF |
|
52 | Dániel Lukács, Melinda Tóth |
Structuring Erlang BEAM control flow. |
Erlang Workshop |
2017 |
DBLP DOI BibTeX RDF |
|
52 | Joseph R. Harrison |
Towards an Isabelle/HOL formalisation of core Erlang. |
Erlang Workshop |
2017 |
DBLP DOI BibTeX RDF |
|
52 | Stavros Aronis, Konstantinos Sagonas |
The shared-memory interferences of Erlang/OTP built-ins. |
Erlang Workshop |
2017 |
DBLP DOI BibTeX RDF |
|
52 | Viktória Fördós, Francesco Cesarini |
CRDTs for the configuration of distributed Erlang systems. |
Erlang Workshop |
2016 |
DBLP DOI BibTeX RDF |
|
52 | Natalia Chechina, Mario Moro Hernandez, Phil Trinder |
A scalable reliable instant messenger using the SD Erlang libraries. |
Erlang Workshop |
2016 |
DBLP DOI BibTeX RDF |
|
52 | Adam D. Barwell, Christopher Brown 0002, David Castro 0006, Kevin Hammond |
Towards semi-automatic data-type translation for parallelism in Erlang. |
Erlang Workshop |
2016 |
DBLP DOI BibTeX RDF |
|
52 | Laura M. Castro, J. Daniel Fernández, Carlos López Pampín |
Making everybody comfortable with Erlang: a SCADA system for thermal control. |
Erlang Workshop |
2016 |
DBLP DOI BibTeX RDF |
|
52 | Kenneth MacKenzie, Natalia Chechina, Phil Trinder |
Performance portability through semi-explicit placement in distributed Erlang. |
Erlang Workshop |
2015 |
DBLP DOI BibTeX RDF |
|
52 | Christopher Meiklejohn, Peter Van Roy |
The implementation and use of a generic dataflow behaviour in Erlang. |
Erlang Workshop |
2015 |
DBLP DOI BibTeX RDF |
|
52 | Ramsay Taylor, John Derrick |
Smother: an MC/DC analysis tool for Erlang. |
Erlang Workshop |
2015 |
DBLP DOI BibTeX RDF |
|
52 | Ulf Norell, Alex Gerdes |
Attribute grammars in Erlang. |
Erlang Workshop |
2015 |
DBLP DOI BibTeX RDF |
|
52 | Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov 0002, John Derrick |
Synapse: automatic behaviour inference and implementation comparison for Erlang. |
Erlang Workshop |
2014 |
DBLP DOI BibTeX RDF |
|
52 | István Bozó, Viktoria Fordós, Zoltán Horváth, Melinda Tóth, Dániel Horpácsi, Tamás Kozsik, Judit Köszegi, Adam D. Barwell, Christopher Brown 0002, Kevin Hammond |
Discovering parallel pattern candidates in Erlang. |
Erlang Workshop |
2014 |
DBLP DOI BibTeX RDF |
|
52 | Manuel Bravo, Zhongmiao Li, Peter Van Roy, Christopher Meiklejohn |
Derflow: distributed deterministic dataflow programming for erlang. |
Erlang Workshop |
2014 |
DBLP DOI BibTeX RDF |
|
52 | Amir Ghaffari |
Investigating the scalability limits of distributed Erlang. |
Erlang Workshop |
2014 |
DBLP DOI BibTeX RDF |
|
52 | Scott Lystig Fritchie |
Faulterl: precise fault injection for the erlang VM, NIFs and linked-in drivers. |
Erlang Workshop |
2014 |
DBLP DOI BibTeX RDF |
|
52 | Frej Drejhammar, Lars Rasmusson |
BEAMJIT: a just-in-time compiling runtime for Erlang. |
Erlang Workshop |
2014 |
DBLP DOI BibTeX RDF |
|
52 | Huiqing Li, Simon J. Thompson |
Multicore profiling for Erlang programs using percept2. |
Erlang Workshop |
2013 |
DBLP DOI BibTeX RDF |
|
52 | David Klaftenegger, Konstantinos Sagonas, Kjell Winblad |
On the scalability of the Erlang term storage. |
Erlang Workshop |
2013 |
DBLP DOI BibTeX RDF |
|
52 | Amir Ghaffari, Natalia Chechina, Phil Trinder, Jon Meredith |
Scalable persistent storage for Erlang: theory and practice. |
Erlang Workshop |
2013 |
DBLP DOI BibTeX RDF |
|
52 | Siyao Zheng, Xiang Long, Jingwei Yang |
Using many-core coprocessor to boost up Erlang VM. |
Erlang Workshop |
2013 |
DBLP DOI BibTeX RDF |
|
52 | Adrian Francalanza, Tyron Zerafa |
Towards an abstraction for remote evaluation in Erlang. |
Erlang Workshop |
2013 |
DBLP DOI BibTeX RDF |
|
52 | Dániel Horpácsi |
Extending Erlang by utilising RefactorErl. |
Erlang Workshop |
2013 |
DBLP DOI BibTeX RDF |
|
52 | Michal Piotrowski, Wojciech Turek |
Software agents mobility using process migration mechanism in distributed Erlang. |
Erlang Workshop |
2013 |
DBLP DOI BibTeX RDF |
|
52 | Jay Nelson |
Co-ops: concurrent algorithmic skeletons for Erlang. |
Erlang Workshop |
2012 |
DBLP DOI BibTeX RDF |
|
52 | Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris, Ioannis E. Venetis |
A scalability benchmark suite for Erlang/OTP. |
Erlang Workshop |
2012 |
DBLP DOI BibTeX RDF |
|
52 | Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund |
Erlang as an implementation platform for BDI languages. |
Erlang Workshop |
2012 |
DBLP DOI BibTeX RDF |
|
52 | Jucimar Maia da Silva Junior, Rafael Dueire Lins |
ooErlang: another object oriented extension to Erlang. |
Erlang Workshop |
2012 |
DBLP DOI BibTeX RDF |
|
52 | Nikolaos Papaspyrou, Konstantinos Sagonas |
On preserving term sharing in the Erlang virtual machine. |
Erlang Workshop |
2012 |
DBLP DOI BibTeX RDF |
|
52 | Konstantinos Sagonas, Chris Stavrakakis, Yiannis Tsiouris |
ErLLVM: an LLVM backend for Erlang. |
Erlang Workshop |
2012 |
DBLP DOI BibTeX RDF |
|
52 | Kenji Rikitake |
TinyMT pseudo random number generator for Erlang. |
Erlang Workshop |
2012 |
DBLP DOI BibTeX RDF |
|
52 | Trevor Bain, Patrick Campbell, Jonas Karlsson 0005 |
Modeling growth and dynamics of neural networks via message passing in Erlang: neural models have a natural home in message passing functional programming languages. |
Erlang Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
52 | Patrik Nyblom |
Erlang ETS tables and software transactional memory: how transactions make ETS tables more like ordinary actors. |
Erlang Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
52 | Kenji Rikitake |
SFMT pseudo random number generator for Erlang. |
Erlang Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
52 | Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato |
Implementation of sequence BDDs in Erlang. |
Erlang Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
52 | Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle |
A unified semantics for future Erlang. |
Erlang Workshop |
2010 |
DBLP DOI BibTeX RDF |
|
52 | Guy Wiener, Gera Weiss, Assaf Marron |
Coordinating and visualizing independent behaviors in erlang. |
Erlang Workshop |
2010 |
DBLP DOI BibTeX RDF |
|
52 | Ulf T. Wiger |
Generic load regulation framework for Erlang. |
Erlang Workshop |
2010 |
DBLP DOI BibTeX RDF |
|
52 | Tino Breddin |
Using Erlang to implement a autonomous build and distribution system for software projects. |
Erlang Workshop |
2010 |
DBLP DOI BibTeX RDF |
|
52 | Róbert Kitlei, István Bozó, Tamás Kozsik, Máté Tejfel, Melinda Tóth |
Analysis of preprocessor constructs in Erlang. |
Erlang Workshop |
2010 |
DBLP DOI BibTeX RDF |
|
52 | Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund |
Implementing a multiagent negotiation protocol in Erlang. |
Erlang Workshop |
2010 |
DBLP DOI BibTeX RDF |
|
52 | Johan Blom, Bengt Jonsson 0001 |
Automated test generation for industrial Erlang applications. |
Erlang Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
52 | Nicolae Paladi, Thomas Arts |
Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck. |
Erlang Workshop |
2009 |
DBLP DOI BibTeX RDF |
QuickCheck, amnesia, formal specifications, model based testing, erlang, business rules |
52 | László Lövei |
Automated module interface upgrade. |
Erlang Workshop |
2009 |
DBLP DOI BibTeX RDF |
interface transformation, module interface change, refactoring, erlang |
52 | Jay Nelson |
Concurrent caching. |
Erlang Workshop |
2006 |
DBLP DOI BibTeX RDF |
concurrent cache, erlang |
52 | Guillaume Germain |
Concurrency oriented programming in termite scheme. |
Erlang Workshop |
2006 |
DBLP DOI BibTeX RDF |
distributed computing, scheme, continuations, erlang, macros |
52 | Hans Svensson, Thomas Arts |
A new leader election implementation. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, implementation, Erlang, leader election |
52 | Michael Bruening, Hal Snyder, Martin Logan |
OTP in server farms. |
Erlang Workshop |
2002 |
DBLP DOI BibTeX RDF |
functional programming, erlang |
50 | Jonatha Anselmi, Yingdong Lu, Mayank Sharma, Mark S. Squillante |
Improved approximations for the Erlang loss model. |
Queueing Syst. Theory Appl. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 60G10, 60G35, 90C30, 60K25, 90B15 |
50 | Jim Larson |
Erlang for Concurrent Programming. |
ACM Queue |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Hua Wang, Villy Bæk Iversen |
Erlang Capacity of Multi-Class TDMA Systems with Adaptive Modulation and Coding. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
Abstraction for Stochastic Systems by Erlang's Method of Stages. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Huiqing Li, Simon J. Thompson |
Testing Erlang Refactorings with QuickCheck. |
IFL |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Huiqing Li, Simon J. Thompson |
Comparative Study of Refactoring Haskell and Erlang Programs. |
SCAM |
2006 |
DBLP DOI BibTeX RDF |
|
50 | Dali Zhang |
Call Admission Control with Multiple Priorities Erlang B System. |
APWeb |
2005 |
DBLP DOI BibTeX RDF |
|
50 | Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas |
Translating Erlang to µCRL. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Insoo Koo, Kiseon Kim, Aftab Ahmad |
Erlang capacity of a CDMA system using optimized sectoring. |
MWCN |
2002 |
DBLP DOI BibTeX RDF |
|
50 | Huiqing Li, Simon J. Thompson |
Tool support for refactoring functional programs. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
hare, static/dynamic semantics, wrangler, program transformation, program analysis, refactoring, haskell, erlang |
47 | Thomas Lindgren |
Atom garbage collection. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
memory management, atoms, incremental garbage collection |
47 | Juan José Sánchez Penas, Carlos Abalde Ramiro |
Extending the VoDKA architecture to improve resource modelling. |
Erlang Workshop |
2003 |
DBLP DOI BibTeX RDF |
distributed computing, design patterns, functional programming, cluster computing, multimedia servers |
45 | José A. García, Roi Blanco, Antonio Blanco, Javier París |
A Comparative Performance Evaluation of Different Implementations of the SOAP Protocol. |
ECOWS |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Yong Huat Chew, Jiakai Tham, Boon Sain Yeo |
Cell Capacity of CDMA Networks Taking the Effect of Mobile Locations into Consideration. |
VTC Spring |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Clara Benac Earle, Lars-Åke Fredlund |
Verification of Language Based Fault-Tolerance. |
EUROCAST |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Tobias Lindahl, Konstantinos Sagonas |
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. |
IFL |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 862 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|