Search results for "erlang"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Huiqing Li, Simon J. Thompson	Similar Code Detection and Elimination for Erlang Programs.	PADL	2010	DBLP DOI BibTeX RDF
16	Mihalis Pitidis, Konstantinos Sagonas	Purity in Erlang.	IFL	2010	DBLP DOI BibTeX RDF
16	Anum L. Enlil Corral-Ruiz, Felipe A. Cruz-Pérez, Genaro Hernández-Valdez	Teletraffic Model for the Performance Evaluation of Cellular Networks with Hyper-Erlang Distributed Cell Dwell Time.	VTC Spring	2010	DBLP DOI BibTeX RDF
16	Ioannis D. Moscholios, John S. Vardakas, Michael D. Logothetis, Anthony C. Boucouvalas	QoS guarantee in the Erlang Multirate Loss Model based on derivatives of blocking probabilities.	CSNDSP	2010	DBLP DOI BibTeX RDF
16	Manfred Schneps-Schneppe, Janis Sedols	On Erlang B-formula and ERT method extension.	ICUMT	2010	DBLP DOI BibTeX RDF
16	Dennis R. Morgan, Ilija Hadzic	A simple analysis of linear regression with sample-minimum Erlang variates.	ICASSP	2010	DBLP DOI BibTeX RDF
16	Paulo Ferreira 0002, João Canas Ferreira, José Carlos Alves	Erlang Inspired Hardware.	FPL	2010	DBLP DOI BibTeX RDF
16	Raha Akhavan-Tabatabaei, Juan Jose Ucros, J. George Shanthikumar	Application of Erlang distribution in cycle time estimation of toolsets with wip-dependent arrival and service in a single product-type single failure-type environment.	WSC	2010	DBLP DOI BibTeX RDF
16	Thomas R. Robbins, Deborah J. Medeiros, Terry P. Harrison	Does the Erlang C model fit in real call centers?	WSC	2010	DBLP DOI BibTeX RDF
16	Wei Zou, Jie-hua Xie	On the Ruin Problem in an Erlang(2) Risk Model with Delayed Claims.	ICICA (1)	2010	DBLP DOI BibTeX RDF
16	Michal Ptaszek, Maciej Malawski	ComputErl - Erlang-Based Framework for Many Task Computing.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
16	Konstantinos Sagonas	Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs.	FLOPS	2010	DBLP DOI BibTeX RDF
16	Qiang Guo 0001, John Derrick, Clara Benac Earle, Lars-Åke Fredlund	Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang.	TAIC PART	2010	DBLP DOI BibTeX RDF
16	Hubert Plociniczak, Susan Eisenbach	JErlang: Erlang with Joins.	COORDINATION	2010	DBLP DOI BibTeX RDF
16	Samuel Rivas, Miguel Angel Francisco, Víctor M. Gulías	Property driven development in Erlang, by example.	AST	2010	DBLP DOI BibTeX RDF
16	Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi	Programming language support to context-aware adaptation: a case-study with Erlang.	SEAMS	2010	DBLP DOI BibTeX RDF
16	Alexander Gouberman, Markus Siegle	On Lifetime Optimization of Boolean Parallel Systems with Erlang Repair Distributions.	OR	2010	DBLP DOI BibTeX RDF
16	Manoj Kr. Dutta, Vinod Kumar Chaubey	Performance Analysis of All-Optical WDM Network with Wavelength Converter Using Erlang C Traffic Model.	BAIP	2010	DBLP DOI BibTeX RDF
16	Huiqing Li, Simon J. Thompson	Refactoring Support for Modularity Maintenance in Erlang.	SCAM	2010	DBLP DOI BibTeX RDF
16	Haopeng Li, Guoqiang Zhang 0003, W. Bastiaan Kleijn	Adaptive playout scheduling for VoIP using the k-Erlang distribution.	EUSIPCO	2010	DBLP BibTeX RDF
16	Dave Bryson, Steve Vinoski	Build Your Next Web Application with Erlang.	IEEE Internet Comput.	2009	DBLP DOI BibTeX RDF
16	Che Soong Kim, Alexander N. Dudin, Valentina I. Klimenok, Valentina Khramova	Erlang loss queueing system with batch arrivals operating in a random environment.	Comput. Oper. Res.	2009	DBLP DOI BibTeX RDF
16	F. Jiménez, Pedro Jodrá	On the computer generation of the Erlang and negative binomial distributions with shape parameter equal to two.	Math. Comput. Simul.	2009	DBLP DOI BibTeX RDF
16	Kurtulus B. Öner, Gudrun P. Kiesmüller, Geert-Jan van Houtum	Monotonicity and supermodularity results for the Erlang loss system.	Oper. Res. Lett.	2009	DBLP DOI BibTeX RDF
16	J. S. H. van Leeuwaarden, Nico M. Temme	Asymptotic Inversion of the Erlang B Formula.	SIAM J. Appl. Math.	2009	DBLP DOI BibTeX RDF
16	Krishna Sankar	Programming Erlang - Software for a Concurrent World by Joe Armstrong, Pragmatic Bookshelf, 2007, p. 536. ISBN-10: 193435600X.	J. Funct. Program.	2009	DBLP DOI BibTeX RDF
16	Francesca Cesarini, Simon Thompson	Erlang Programming - A Concurrent Approach to Software Development.		2009	RDF
16	Behrooz Rohani, Hans-Jürgen Zepernick	Erlang Capacity of UMTS Using Perceptual-Based Power Control: An Analytical Framework.	GLOBECOM	2009	DBLP DOI BibTeX RDF
16	José Villén-Altamirano	RESTART Simulation of Networks of Queues with Erlang Service Times.	WSC	2009	DBLP DOI BibTeX RDF
16	Art Gittleman	Multicore Computing Using Erlang.	FECS	2009	DBLP BibTeX RDF
16	Melinda Tóth, István Bozó, Zoltán Horváth, László Lövei, Máté Tejfel, Tamás Kozsik	Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs.	CEFP	2009	DBLP DOI BibTeX RDF
16	Francesco Cesarini, Simon J. Thompson	Erlang Behaviours: Programming with Process Design Patterns.	CEFP	2009	DBLP DOI BibTeX RDF
16	Cong Gu, Shenghong Li 0003, Bo Zhou	On the Time to Ruin for Erlang(2) Risk Model in a Markov Environment.	BIFE	2009	DBLP DOI BibTeX RDF
16	Jan Henry Nyström	Analysing Fault Tolerance for Erlang Applications.		2009	RDF
16	Lakshmanan Senthilkumar, Venkadachalam Sankaranarayanan	Provisioning Erlang-B Model Based Flow Admission Control for Packet Networks.	J. Inf. Sci. Eng.	2008	DBLP BibTeX RDF
16	Jan Henry Nyström, Philip W. Trinder, David J. King	High-level distribution for the rapid production of robust telecoms software: comparing C++ and ERLANG.	Concurr. Comput. Pract. Exp.	2008	DBLP DOI BibTeX RDF
16	Robert A. Russell, Timothy L. Urban	Vehicle routing with soft time windows and Erlang travel times.	J. Oper. Res. Soc.	2008	DBLP DOI BibTeX RDF
16	Daniel Adelman	A simple algebraic approximation to the Erlang loss system.	Oper. Res. Lett.	2008	DBLP DOI BibTeX RDF
16	Nebojsa Nikolic	Statistical integration of Erlang's equations.	Eur. J. Oper. Res.	2008	DBLP DOI BibTeX RDF
16	Reza Pulungan, Holger Hermanns	The Minimal Representation of the Maximum of Erlang Distributions.	MMB	2008	DBLP BibTeX RDF
16	Pasi Lehtimäki, Kimmo Raivio	Combining Measurement Data and Erlang-B Formula for Blocking Prediction in GSM Networks.	SCAI	2008	DBLP BibTeX RDF
16	Jonathan Sillito	Stage: exploring erlang style concurrency in ruby.	IWMSE@ICSE	2008	DBLP DOI BibTeX RDF
16	Hans Svensson	Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving.		2008	RDF
16	Insoo Koo, Jeongrok Yang, Kiseon Kim	Erlang Capacity Analysis of CDMA Systems Supporting Voice and Delay-Tolerant Data Services Under the Delay Constraint.	IEEE Trans. Veh. Technol.	2007	DBLP DOI BibTeX RDF
16	Kamran Kiasaleh	Reverse link Erlang capacity of time-hopping/TDMA wireless communication systems.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
16	Christian Larsen, Gudrun P. Kiesmüller	Developing a closed-form cost expression for an (R, s, nQ) policy where the demand process is compound generalized Erlang.	Oper. Res. Lett.	2007	DBLP DOI BibTeX RDF
16	A. B. Mutiara 0001, T. A. Sabastian	Web Server Benchmark Application WiiBench using Erlang/OTP R11 and Fedora-Core Linux 5.0	CoRR	2007	DBLP BibTeX RDF
16	Per Gustafsson, Konstantinos Sagonas	Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang.	PADL	2007	DBLP DOI BibTeX RDF
16	David Teller	Towards a resource-safe Erlang.	CTS	2007	DBLP DOI BibTeX RDF
16	Eren Demir, Thierry J. Chaussalet, Haifeng Xie	Determining Readmission Time Window Using Mixture of Generalised Erlang Distribution.	CBMS	2007	DBLP DOI BibTeX RDF
16	László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király, Anikó Nagyné Víg, Tamás Nagy	Refactoring in Erlang, a Dynamic Functional Language.	WRT	2007	DBLP BibTeX RDF
16	Carlos Abalde, Víctor M. Gulías, Laura M. Castro, Carlos Varela, J. Santiago Jorge	Erlang/OTP Framework for Complex Management Applications Development.	WEBIST (1)	2007	DBLP BibTeX RDF
16	Alexander A. Kist	Erlang B as a Performance Model for IP Flows.	ICON	2007	DBLP DOI BibTeX RDF
16	Martin R. Neuhäußer, Thomas Noll 0001	Abstraction and Model Checking of Core Erlang Programs in Maude.	WRLA	2006	DBLP DOI BibTeX RDF
16	Ward Whitt	Sensitivity of Performance in the Erlang-A Queueing Model to Changes in the Model Parameters.	Oper. Res.	2006	DBLP DOI BibTeX RDF
16	Insoo Koo, Kiseon Kim	Erlang Capacity of Multi-Service Multi-Access Systems with a Limited Number of Channel Elements According to Separate and Common Operations.	IEICE Trans. Commun.	2006	DBLP DOI BibTeX RDF
16	Beilei Zhang, Ramesh Iyer, Kamran Kiasaleh	Reverse link erlang capacity of OFDMA wireless systems with adaptive resource allocation.	WCNC	2006	DBLP DOI BibTeX RDF
16	Fumiaki Machihara	Mobile Telecommunication Systems and Generalized Erlang Loss Formula.	IEICE Trans. Commun.	2005	DBLP DOI BibTeX RDF
16	Oleg M. Tikhonenko	Generalized Erlang Problem for Service Systems with Finite Total Capacity.	Probl. Inf. Transm.	2005	DBLP DOI BibTeX RDF
16	Bruno Baynat, Khaled Boussetta, Pierre Eisenmann, Slim Trabelsi	Extended Erlang-B law for performance evaluation of radio resources sharing in GSM/(E)GPRS networks.	PIMRC	2005	DBLP DOI BibTeX RDF
16	Jong-Han Kim, Kyung Kyoon Bae, Annamalai Annamalai, Jeffrey H. Reed	The impact of transmit diversity on the Erlang capacity of reverse link DS/CDMA system.	PIMRC	2005	DBLP DOI BibTeX RDF
16	Xian Liu	An approach to reduce the Erlang C probability of the M/M/2 system.	ICC	2005	DBLP DOI BibTeX RDF
16	Xian Liu	An approach to reduce the Erlang B probability of the M/M/2/2 system.	GLOBECOM	2005	DBLP DOI BibTeX RDF
16	Clara Benac Earle	Model checking the interaction of Erlang components.		2005	RDF
16	Andrew G. Hart, Servet Martínez 0001	Sequential dynamics of high order polynomial automata networks: an application to the Erlang fixed-point equations.	Appl. Math. Comput.	2004	DBLP DOI BibTeX RDF
16	Insoo Koo, Anders Furuskar, Jens Zander, Kiseon Kim	Erlang capacity of multiaccess systems with service-based access selection.	IEEE Commun. Lett.	2004	DBLP DOI BibTeX RDF
16	Bruno Baynat, Pierre Eisenmann	Towards an Erlang-like law for GPRS/EDGE network engineering.	ICC	2004	DBLP DOI BibTeX RDF
16	Samad S. Kolahi, Allan G. Williamson, Kevin W. Sowerby	Sensitivity analysis of the reverse link Erlang capacity of CDMA systems.	WCNC	2004	DBLP DOI BibTeX RDF
16	Juanjuan Sun, Taiyuan Fang, Jianming Zhang, Dacheng Yang	Erlang capacity analysis of a CDMA microcellular system in urban outdoor-to-indoor environments.	WCNC	2004	DBLP DOI BibTeX RDF
16	Corrado Santoro, Antonella Di Stefano	On the use of Erlang as a Promising Language to Develop Agent Systems.	WOA	2004	DBLP BibTeX RDF
16	Frank Huch	Model Checking Erlang Programs - LTL-Propositions and Abstract Interpretation.	GI Jahrestagung (2)	2004	DBLP BibTeX RDF
16	Josefina Castañeda-Camacho, Carlos Eduardo Uc-Rios, Domingo Lara-Rodríguez	Reverse link erlang capacity of multiclass CDMA cellular system considering nonideal antenna sectorization.	IEEE Trans. Veh. Technol.	2003	DBLP DOI BibTeX RDF
16	Yousry H. Abdelkader	Erlang distributed activity times in stochastic activity networks.	Kybernetika	2003	DBLP BibTeX RDF
16	Thomas Noll 0001	Equational Abstractions for Model Checking Erlang Programs.	SVV@ICLP	2003	DBLP DOI BibTeX RDF
16	Debasis Mitra 0001, John A. Morrison	Asymptotic Shape of the Erlang Capacity Region of a Multiservice Shared Resource.	SIAM J. Appl. Math.	2003	DBLP DOI BibTeX RDF
16	John A. Morrison	Asymptotic Shape of the Erlang Capacity Region of a Critically Loaded Multiservice Shared Resource.	SIAM J. Appl. Math.	2003	DBLP DOI BibTeX RDF
16	Insoo Koo, Jeongrok Yang, Aftab Ahmad, Kiseon Kim	Improved Erlang capacity of combined carrier channel assignment for hybrid FDMA/CDMA systems supporting voice and data services.	IEEE Commun. Lett.	2003	DBLP DOI BibTeX RDF
16	Antonella Di Stefano, Corrado Santoro	eXAT: an Experimental Tool for Programming Multi-Agent Systems in Erlang.	WOA	2003	DBLP BibTeX RDF
16	Insoo Koo, Jeongrok Yang, Aftab Ahmad, Kiseon Kim	Erlang capacity analysis of hybrid FDMA/CDMA systems supporting multi-class services according to channel assignment methods.	Int. J. Commun. Syst.	2002	DBLP DOI BibTeX RDF
16	Thomas Arts, Lars-Åke Fredlund	Trace analysis of Erlang programs.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF
16	Ulf T. Wiger, Gösta Ask, Kent Boortz	World-class product certification using Erlang.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF
16	Andrew G. Hart, Servet Martínez 0001	Sequential iteration of the Erlang fixed-point equations.	Inf. Process. Lett.	2002	DBLP DOI BibTeX RDF
16	Young-Yong Lee, Sang-Mun Lee, Hyung-Jin Choi	Forward Link Erlang Capacity of the IMT-2000 Hierarchical Cellular System with Mixed Traffic Rates.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2002	DBLP BibTeX RDF
16	Ioannis D. Moscholios, Michael D. Logothetis, George K. Kokkinakis	Connection-dependent threshold model: a generalization of the Erlang multiple rate loss model.	Perform. Evaluation	2002	DBLP DOI BibTeX RDF
16	John A. Morrison, Debasis Mitra 0001	Asymptotic shape of the Erlang capacity region of a multi-service shared resource.	Perform. Evaluation	2002	DBLP BibTeX RDF
16	Samad S. Kolahi	On Erlang Capacity of CDMA Systems.	PWC	2002	DBLP DOI BibTeX RDF
16	Frank Huch	Model checking Erlang programs - abstracting the context-free structure.	Workshop on Software Model Checking @ CAV	2001	DBLP DOI BibTeX RDF
16	Frank Huch	Model Checking Erlang Programs - Abstracting Recursive Function Calls.	WFLP	2001	DBLP DOI BibTeX RDF
16	Thomas Noll 0001	A Rewriting Logic Implementation of Erlang.	LDTA@ETAPS	2001	DBLP DOI BibTeX RDF
16	Ling Ding, James S. Lehnert	Erlang Capacity of a Voice/Data Cellular CDMA Uplink System Using Prioritized Admission Control and Adaptive Power Control.	Int. J. Wirel. Inf. Networks	2001	DBLP DOI BibTeX RDF
16	Yuguang Fang	Hyper-Erlang Distribution Model and its Application in Wireless Mobile Networks.	Wirel. Networks	2001	DBLP DOI BibTeX RDF
16	Michel Mandjes, Ad Ridder	A large deviations approach to the transient of the Erlang loss model.	Perform. Evaluation	2001	DBLP DOI BibTeX RDF
16	Maurizio Casoni, Maria Luisa Merani	Erlang capacity of a TDD-TD/CDMA architecture supporting heterogeneous traffic.	IEEE Commun. Lett.	2001	DBLP DOI BibTeX RDF
16	Assen Golaup, A. Hamid Aghvami	Reverse link Erlang capacity of a W-CDMA system supporting voice and WWW users.	VTC Fall	2001	DBLP DOI BibTeX RDF
16	Maurizio Casoni, Maria Luisa Merani	Erlang capacity of a TDD-TD/CDMA architecture supporting heterogeneous traffic.	GLOBECOM	2001	DBLP DOI BibTeX RDF
16	Thomas Noll 0001, Lars-Åke Fredlund, Dilian Gurov	The Erlang Verification Tool.	TACAS	2001	DBLP DOI BibTeX RDF
16	Frank Huch	Verification of Erlang programs using abstract interpretation and model checking.		2001	RDF
16	Lars-Åke Fredlund	A framework for reasoning about Erlang code.		2001	RDF
16	Duncan K. H. Fong, Virginia M. Gempesaw, J. Keith Ord	Analysis of a dual sourcing inventory model with normal unit demand and Erlang mixture lead times.	Eur. J. Oper. Res.	2000	DBLP DOI BibTeX RDF
16	Zihua Guo, Khaled Ben Letaief	Erlang Capacity for Satellite CDMA Systems with Adaptive Power Control and Interference Cancellation.	ICC (1)	2000	DBLP DOI BibTeX RDF