Search results for "erlang"

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