Search results for "erlang"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Germán Vidal	Towards Symbolic Execution in Erlang.	Ershov Memorial Conference	2014	DBLP DOI BibTeX RDF
16	Ioannis D. Moscholios, Michael D. Logothetis, Michael N. Koukias	The erlang multirate loss model under the threshold and Bandwidth Reservation policies.	CSNDSP	2014	DBLP DOI BibTeX RDF
16	Georg Göri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz	Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling.	ISoLA (2)	2014	DBLP DOI BibTeX RDF
16	Ali Mustafa Elshawesh, Mohamed Abdulali	Dimensioning of Circuit Switched networks by using Simulation code based on Erlang (B) formula.	GSCIT	2014	DBLP DOI BibTeX RDF
16	Tadeusz Czachórski, Tomasz Nycz, Monika Nycz, Ferhan Pekergin	Traffic Engineering: Erlang and Engset Models Revisited with Diffusion Approximation.	ISCIS	2014	DBLP DOI BibTeX RDF
16	Melinda Tóth, István Bozó	Detecting and Visualising Process Relationships in Erlang.	ICCS	2014	DBLP DOI BibTeX RDF
16	Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit	EDD: A Declarative Debugger for Sequential Erlang Programs.	TACAS	2014	DBLP DOI BibTeX RDF
16	Chanintorn Jittawiriyanukoon	Performance evaluation of reliable data scheduling for Erlang multimedia in cloud computing.	ICDIM	2014	DBLP DOI BibTeX RDF
16	Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño	Execution and Verification of UML State Machines with Erlang.	SEFM	2014	DBLP DOI BibTeX RDF
16	Eishi Chiba, Hiroshi Fujiwara, Yoshiyuki Sekiguchi, Toshihide Ibaraki	Collision Probability in an In-Line Equipment Model under Erlang Distribution.	IEICE Trans. Inf. Syst.	2013	DBLP DOI BibTeX RDF
16	Ivo J. B. F. Adan, Stella Kapodistria, Johan van Leeuwaarden	Erlang arrivals joining the shorter queue.	Queueing Syst. Theory Appl.	2013	DBLP DOI BibTeX RDF
16	Peter J. Smith 0001, Pawel A. Dmochowski	Exact Blocking Time Statistics for the Erlang Loss Model.	IEEE Wirel. Commun. Lett.	2013	DBLP DOI BibTeX RDF
16	Hao Huang, Fei Yang	An Interpretation of Erlang into Value-passing Calculus.	J. Networks	2013	DBLP DOI BibTeX RDF
16	Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong	Automatic Verification of Erlang-Style Concurrency	CoRR	2013	DBLP BibTeX RDF
16	Laura M. Castro, Miguel A. Francisco	A language-independent approach to black-box testing using Erlang as test specification language.	J. Syst. Softw.	2013	DBLP DOI BibTeX RDF
16	Malgorzata Wielgus, Przemyslaw Dabek, Roman Janusz, Tomasz Kowal, Wojciech Turek	Erlang-based Software Update Platform for Mobile Devices.	Comput. Sci.	2013	DBLP DOI BibTeX RDF
16	Safa Saidane, Mohamed Zied Babai, M. Salah Aguir, Ouajdi Korbaa	On the performance of the base-stock inventory system under a compound Erlang demand distribution.	Comput. Ind. Eng.	2013	DBLP DOI BibTeX RDF
16	Aliakbar Montazer-Haghighi, Dimitar P. Mishev	Stochastic three-stage hiring model as a tandem queueing process with bulk arrivals and Erlang phase-type selection, MX/M(k, K)/1 - MY/Er/1 - ∞.	Int. J. Math. Oper. Res.	2013	DBLP DOI BibTeX RDF
16	Jorge Sá Esteves, José M. F. Craveirinha	On a bicriterion server allocation problem in a multidimensional Erlang loss system.	J. Comput. Appl. Math.	2013	DBLP DOI BibTeX RDF
16	Chunming Zhao, Chunsheng Zhang	Joint density of the number of claims until ruin and the time to ruin in the delayed renewal risk model with Erlang(n) claims.	J. Comput. Appl. Math.	2013	DBLP DOI BibTeX RDF
16	Laura M. Castro	Building Web Applications with Erlang, by Zachary Kessin, O'Reilly Media, Inc., 2012, ISBN 97-81-4493-20652.	J. Funct. Program.	2013	DBLP DOI BibTeX RDF
16	Dániel Horpácsi, Judit Köszegi	Static analysis of function calls in Erlang.	e Informatica Softw. Eng. J.	2013	DBLP DOI BibTeX RDF
16	Gene I. Sher	Handbook of Neuroevolution Through Erlang		2013	DOI RDF
16	S. Lirio Castellanos-Lopez, Felipe A. Cruz-Pérez, Mario E. Rivero-Angeles, Genaro Hernández-Valdez	Erlang capacity in coordinated cognitive radio networks with stringent-delay applications.	PIMRC	2013	DBLP DOI BibTeX RDF
16	Siyao Zheng, Xiang Long	Erlang as a Language for Cloud Computing and Its Integration with Many-core Coprocessor.	CSC	2013	DBLP DOI BibTeX RDF
16	S. Lirio Castellanos-Lopez, Felipe A. Cruz-Pérez, Mario E. Rivero-Angeles, Genaro Hernández-Valdez	VoIP Erlang Capacity in Coordinated Cognitive Radio Networks.	VTC Fall	2013	DBLP DOI BibTeX RDF
16	Szymon Szominski, Konrad Gadek, Michal Konarski, Bogna Blaszczyk, Piotr Anielski, Wojciech Turek	Development of a Cyber-Physical System for Mobile Robot Control using Erlang.	FedCSIS	2013	DBLP BibTeX RDF
16	Adrian Francalanza, Tyron Zerafa	Code management automation for Erlang remote actors.	AGERE!@SPLASH	2013	DBLP DOI BibTeX RDF
16	Maria Christakis, Alkis Gotovos, Konstantinos Sagonas	Systematic Testing for Detecting Concurrency Errors in Erlang Programs.	ICST	2013	DBLP DOI BibTeX RDF
16	Robert Baker 0001, Peter Rodgers 0001, Simon J. Thompson, Huiqing Li	Multi-level Visualization of Concurrent and Distributed Computation in Erlang.	DMS	2013	DBLP BibTeX RDF
16	Rainer Schoenen, Halim Yanikomeroglu	Erlang analysis of cellular networks using stochastic Petri nets and user-in-the-loop extension for demand control.	GLOBECOM Workshops	2013	DBLP DOI BibTeX RDF
16	Gábor Horváth 0002	Moment Matching-Based Distribution Fitting with Generalized Hyper-Erlang Distributions.	ASMTA	2013	DBLP DOI BibTeX RDF
16	J. Albert Cruz, Juan Julián Merelo Guervós, Antonio Mora García, Paloma de las Cuevas	Adapting evolutionary algorithms to the concurrent functional language Erlang.	GECCO (Companion)	2013	DBLP DOI BibTeX RDF
16	Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong	Automatic Verification of Erlang-Style Concurrency.	SAS	2013	DBLP DOI BibTeX RDF
16	Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit	A Declarative Debugger for Sequential Erlang Programs.	TAP@STAF	2013	DBLP DOI BibTeX RDF
16	Ramsay Taylor, Kirill Bogdanov 0002, John Derrick	Automatic Inference of Erlang Module Behaviour.	IFM	2013	DBLP DOI BibTeX RDF
16	Michael J. Lutz	The Erlang approach to concurrent system development.	FIE	2013	DBLP DOI BibTeX RDF
16	Wojciech Turek	Erlang as a High Performance Software Agent Platform.	KES-AMSTA	2013	DBLP DOI BibTeX RDF
16	Germán Vidal	Towards Erlang Verification by Term Rewriting.	LOPSTR	2013	DBLP DOI BibTeX RDF
16	Steve Vinoski	The Nitrogen Erlang Web Framework.	IEEE Internet Comput.	2012	DBLP DOI BibTeX RDF
16	Thomas Bonald, James W. Roberts	Internet and the Erlang formula.	Comput. Commun. Rev.	2012	DBLP DOI BibTeX RDF
16	Bernardo D'Auria	A short note on the monotonicity of the Erlang C formula in the Halfin-Whitt regime.	Queueing Syst. Theory Appl.	2012	DBLP DOI BibTeX RDF
16	Guozhi Song, Jigang Wu, John A. Schormans, Laurie G. Cuthbert	Erlang's Fixed-Point Approximation for Performance Analysis of HetNets.	J. Appl. Math.	2012	DBLP DOI BibTeX RDF
16	Bill Karakostas	Implementing robust workflow management in Erlang.	Int. J. Parallel Emergent Distributed Syst.	2012	DBLP DOI BibTeX RDF
16	Steve Vinoski	Concurrency and Message Passing in Erlang.	Comput. Sci. Eng.	2012	DBLP DOI BibTeX RDF
16	Luca Toscano, Gabriele D'Angelo, Moreno Marzolla	Parallel Discrete Event Simulation with Erlang	CoRR	2012	DBLP BibTeX RDF
16	Michal Niec, Pawel Pikula, Aleksander Mamla, Wojciech Turek	Erlang-Based Sensor Network Management for Heterogeneous Devices.	Comput. Sci.	2012	DBLP DOI BibTeX RDF
16	Zachary Kessin	Building Web Applications with Erlang - Working with REST and Web Sockets on Yaws.		2012	RDF
16	Mingming Fan 0001, Dana Gravem, Dan M. Cooper, Donald J. Patterson	Augmenting gesture recognition with erlang-cox models to identify neurological disorders in premature babies.	UbiComp	2012	DBLP DOI BibTeX RDF
16	Lianghuan Kang, Donggang Cao	An Extension to Computing Elements in Erlang for Actor Based Concurrent Programming.	ISORC Workshops	2012	DBLP DOI BibTeX RDF
16	Subhendu Batabyal, Suvra Sekhar Das	Distance Dependent Call Blocking Probability, and Area Erlang Efficiency of Cellular Networks.	VTC Spring	2012	DBLP DOI BibTeX RDF
16	Maciej Stasiak, Mariusz Glabowski, Slawomir Hanczewski	The application of the Erlang's Ideal Grading for modelling of UMTS cells.	CSNDSP	2012	DBLP DOI BibTeX RDF
16	Florent Fourcot, Bertrand Grelot, Isabelle Kraemer, Frédéric Perrin, Patrick Maillé, Tanguy Ropitault, Laurent Toutain	Erlang-based dimensioning for IPv4 Address+Port translation.	ICC	2012	DBLP DOI BibTeX RDF
16	Emanuele D'Osualdo, Jonathan Kochems, Luke Ong	Soter: an automatic safety verifier for erlang.	AGERE!@SPLASH	2012	DBLP DOI BibTeX RDF
16	Alessandro Sivieri	Erlang meets WSNs: A functional approach to WSN programming.	PerCom Workshops	2012	DBLP DOI BibTeX RDF
16	Luca Toscano, Gabriele D'Angelo, Moreno Marzolla	Parallel discrete event simulation with Erlang.	FHPC@ICFP	2012	DBLP DOI BibTeX RDF
16	Stavros Aronis, Konstantinos Sagonas	On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer.	Trends in Functional Programming	2012	DBLP DOI BibTeX RDF
16	Alessandro Sivieri, Luca Mottola, Gianpaolo Cugola	Drop the phone and talk to the physical world: Programming the internet of things with Erlang.	SESENA	2012	DBLP DOI BibTeX RDF
16	Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund	eJason: An Implementation of Jason in Erlang.	ProMAS	2012	DBLP DOI BibTeX RDF
16	Bill Karakostas	A High Performance Engine for Concurrent CEP in Erlang.	IDC	2012	DBLP DOI BibTeX RDF
16	Clara Benac Earle, Lars-Åke Fredlund	Verification of Timed Erlang Programs Using McErlang.	FMOODS/FORTE	2012	DBLP DOI BibTeX RDF
16	Villy Baek Iversen	The Internet Erlang Formula.	NEW2AN	2012	DBLP DOI BibTeX RDF
16	Huiqing Li, Simon J. Thompson	Automated API migration in a user-extensible refactoring tool for Erlang programs.	ASE	2012	DBLP DOI BibTeX RDF
16	Huiqing Li, Simon J. Thompson	A Domain-Specific Language for Scripting Refactorings in Erlang.	FASE	2012	DBLP DOI BibTeX RDF
16	Josep Silva, Salvador Tamarit, César Tomás	System Dependence Graphs in Sequential Erlang.	FASE	2012	DBLP DOI BibTeX RDF
16	M. F. Ramalhoto	Erlang's Formulas.	International Encyclopedia of Statistical Science	2011	DBLP DOI BibTeX RDF
16	Arie Harel	Convexity Results for the Erlang Delay and Loss Formulae When the Server Utilization Is Held Constant.	Oper. Res.	2011	DBLP DOI BibTeX RDF
16	A. J. E. M. Janssen, J. S. H. van Leeuwaarden, Bert Zwart	Refining Square-Root Safety Staffing by Expanding Erlang C.	Oper. Res.	2011	DBLP DOI BibTeX RDF
16	Xujie Li 0001, Weiwei Xia, Lianfeng Shen	Erlang Capacity Analysis of 3G/Ad Hoc Integrated Network.	IEICE Trans. Commun.	2011	DBLP DOI BibTeX RDF
16	A. J. E. M. Janssen, Johan van Leeuwaarden, Bert Zwart	A lower bound for the Erlang C formula in the Halfin-Whitt regime.	Queueing Syst. Theory Appl.	2011	DBLP DOI BibTeX RDF
16	Erik Chromý, Jan Suran, Matus Kovacik, Matej Kavacký	Usage of Erlang Formula in IP Networks.	Commun. Netw.	2011	DBLP DOI BibTeX RDF
16	Yinghui Tang, Miaomiao Yu, Cailiang Li	Geom/G 1, G 2/1/1 repairable Erlang loss system with catastrophe and second optional service.	J. Syst. Sci. Complex.	2011	DBLP DOI BibTeX RDF
16	Qiang Guo 0001, John Derrick	Formally based tool support for model checking Erlang applications.	Int. J. Softw. Tools Technol. Transf.	2011	DBLP DOI BibTeX RDF
16	Manfred Schneps-Schneppe, Janis Sedols	Application of Erlang's formula for non-Poisson flows.	Autom. Control. Comput. Sci.	2011	DBLP DOI BibTeX RDF
16	Hirokazu Ozaki, Atsushi Kara, Zixue Cheng	User-perceived reliability of shared protection systems with the Erlang type-k repair scheme.	Int. J. Inf. Commun. Technol.	2011	DBLP DOI BibTeX RDF
16	Kyungsup Kim, Nigel Thomas	A fitting method with generalized Erlang distributions.	Simul. Model. Pract. Theory	2011	DBLP DOI BibTeX RDF
16	Mariusz Glabowski, Slawomir Hanczewski, Maciej Stasiak	Erlang's Ideal Grading in DiffServ modelling.	AFRICON	2011	DBLP DOI BibTeX RDF
16	Claus Zinn	Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming.	WFLP	2011	DBLP DOI BibTeX RDF
16	Christian Colombo 0001, Adrian Francalanza, Rudolph Gatt	Elarva: A Monitoring Tool for Erlang.	RV	2011	DBLP DOI BibTeX RDF
16	Ariel Ortiz	Teaching concurrency-oriented programming with Erlang.	SIGCSE	2011	DBLP DOI BibTeX RDF
16	Melinda Tóth, István Bozó	Static Analysis of Complex Software Systems Implemented in Erlang.	CEFP	2011	DBLP DOI BibTeX RDF
16	Dimitris Mostrous, Vasco Thudichum Vasconcelos	Session Typing for a Featherweight Erlang.	COORDINATION	2011	DBLP DOI BibTeX RDF
16	Tibor Misuth, Ivan Baronak	Application of Erlang B model in modern VoIP networks.	TSP	2011	DBLP DOI BibTeX RDF
16	Gopal Sekar, Ayyappan Govindan, Muthu Ganapathi Subramanian	Stability analysis of single server retrial queueing system with Erlang service.	QTNA	2011	DBLP DOI BibTeX RDF
16	Alessandro Sivieri, Gianpaolo Cugola, Carlo Ghezzi	Computational REST Meets Erlang.	TOOLS (49)	2011	DBLP DOI BibTeX RDF
16	Mohamed Firdhous, Osman Ghazali, Suhaidi Hassan	Modeling of cloud system using Erlang formulas.	APCC	2011	DBLP DOI BibTeX RDF
16	Huiqing Li, Simon J. Thompson	Incremental Clone Detection and Elimination for Erlang Programs.	FASE	2011	DBLP DOI BibTeX RDF
16	Hiroyuki Kuwahara, Chris J. Myers	Erlang-delayed stochastic chemical kinetic formalism for efficient analysis of biological systems with non-elementary reaction effects.	BCB	2011	DBLP DOI BibTeX RDF
16	Arnoud M. de Bruin, René Bekker, Lillian van Zanten, Ger Koole	Dimensioning hospital wards using the Erlang loss model.	Ann. Oper. Res.	2010	DBLP DOI BibTeX RDF
16	Ioannis D. Moscholios, Michael D. Logothetis	The Erlang multirate loss model with Batched Poisson arrival processes under the bandwidth reservation policy.	Comput. Commun.	2010	DBLP DOI BibTeX RDF
16	Matthieu Jonckheere, Jean Mairesse	Towards an Erlang formula for multiclass networks.	Queueing Syst. Theory Appl.	2010	DBLP DOI BibTeX RDF
16	Arie Harel	Sharp and simple bounds for the Erlang delay and loss formulae.	Queueing Syst. Theory Appl.	2010	DBLP DOI BibTeX RDF
16	Erik Chromý, Matej Kavacký	Asynchronous Networks and Erlang Formulas.	Int. J. Commun. Networks Inf. Secur.	2010	DBLP BibTeX RDF
16	Peter Burcsi, Attila Kovács, Antal Tátrai	Start-phase control of distributed systems written in Erlang/OTP	CoRR	2010	DBLP BibTeX RDF
16	Joe Armstrong	Erlang.	Commun. ACM	2010	DBLP DOI BibTeX RDF
16	Manoj Kumar Dutta, Vinod Kumar Chaubey	Design and Simulation of Intelligent Optical WDM Switching Node Based on Erlang Traffic Model.	Int. J. Commun. Netw. Syst. Sci.	2010	DBLP DOI BibTeX RDF
16	Guoping Zeng	On the convergence of the Extended Erlang-B model.	Math. Comput. Model.	2010	DBLP DOI BibTeX RDF
16	C. D. Lai	Generalized Erlang and mortality levelling off distributions.	Math. Comput. Model.	2010	DBLP DOI BibTeX RDF
16	Alexander Yur'evich Veretennikov	On the rate of beta-mixing and convergence to a stationary distribution in continuous-time Erlang-type systems.	Probl. Inf. Transm.	2010	DBLP DOI BibTeX RDF
16	Maria Christakis, Konstantinos Sagonas	Static Detection of Race Conditions in Erlang.	PADL	2010	DBLP DOI BibTeX RDF