Search results for "Erlang"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Marc De Leenheer, Chris Develder, Filip De Turck, Bart Dhoedt, Piet Demeester	Erlang Reduced Load Model for Optical Burst Switched Grids.	ICNS	2007	DBLP DOI BibTeX RDF
27	Ioannis Z. Koukoutsidis, Eitan Altman	Erlang Capacity of a CDMA Link with Transmission Rate Control.	NEW2AN	2006	DBLP DOI BibTeX RDF
27	Andrew M. Ross, J. George Shanthikumar	Estimating Effective Capacity in Erlang Loss Systems under Competition.	Queueing Syst. Theory Appl.	2005	DBLP DOI BibTeX RDF	AMS subject classification 62M05, 68M20, 60K25, 90B18
27	François Baccelli, Bartlomiej Blaszczyszyn, Mohamed Kadhem Karray	Blocking rates in large CDMA networks via a spatial Erlang formula.	INFOCOM	2005	DBLP DOI BibTeX RDF
27	Bruno Baynat, Khaled Boussetta, Pierre Eisenmann, Nidham Ben Rached	Towards an Erlang-Like Formula for the Performance Evaluation of GPRS/EDGE Networks with Finite-Length Sessions.	NETWORKING	2004	DBLP DOI BibTeX RDF
27	Thomas Arts, Koen Claessen, Hans Svensson	Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang.	FATES	2004	DBLP DOI BibTeX RDF
27	Erik Johansson, Konstantinos Sagonas	Linear Scan Register Allocation in a High-Performance Erlang Compiler.	PADL	2002	DBLP DOI BibTeX RDF
27	S. Omsin, A. Manyanon, Chom Kimpan, Ouen Pin-Ngern, Suthichai Noppanakeepong	Effect of multipath fading on the Erlang capacity of imperfect power control in cellular CDMA system.	APCCAS (2)	2002	DBLP DOI BibTeX RDF
27	Jürgen Giesl, Thomas Arts	Verification of Erlang Processes by Dependency Pairs.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Verification, Distributed processes, Termination, Rewriting
27	Thomas Arts, Jürgen Giesl	Applying Rewriting Techniques to the Verification of Erlang Processes.	CSL	1999	DBLP DOI BibTeX RDF
27	Neil Walkinshaw, John Derrick, Qiang Guo 0001	Iterative Refinement of Reverse-Engineered Models by Model-Based Testing.	FM	2009	DBLP DOI BibTeX RDF	Reverse engineering, model-based testing, Erlang
27	Jan Henry Nyström, Philip W. Trinder, David J. King	Evaluating high-level distributed language constructs.	ICFP	2007	DBLP DOI BibTeX RDF	programming languages, haskell, distributed programming, erlang
27	Lu Yu 0005, Jin Zhou 0002, Shingo Mabu, Kotaro Hirasawa, Jinglu Hu, Sandor Markon	Effects of passenger's arrival distribution to double-deck elevator group supervisory control systems using genetic network programming.	GECCO	2007	DBLP DOI BibTeX RDF	Erlang distribution, elevator group supervisory control system, passengers' arrival, genetic network programming
27	Axel Thümmler, Peter Buchholz 0001, Miklós Telek	A Novel Approach for Phase-Type Fitting with the EM Algorithm.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF	hyper-Erlang distributions, Markov processes, communication networks, traffic modeling, Performance analysis and design aids
27	Tobias Lindahl, Konstantinos Sagonas	Practical type inference based on success typings.	PPDP	2006	DBLP DOI BibTeX RDF	success typings, Erlang, subtyping, constraint-based type inference
27	Youngmi Jin, George Kesidis	Dynamics of usage-priced communication networks: the case of a single bottleneck resource.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF	Erlang blocking, evolving TCP, usage pricing, quality of service (QoS), internet, stability, TCP/IP, Lyapunov function, Nash equilibria, differentiated services (diffserv)
27	Quang Gao, Keith J. Blow, David J. Holding, Ian W. Marshall	Analysis of Energy Conservation in Sensor Networks.	Wirel. Networks	2005	DBLP DOI BibTeX RDF	Erlang formula, QoS, sensor networks, ad hoc networks, energy efficient design
27	Daniel Luna, Mikael Pettersson, Konstantinos Sagonas	Efficiently compiling a functional language on AMD64: the HiPE experience.	PPDP	2005	DBLP DOI BibTeX RDF	AMD64, functional programming, erlang
27	Erik Johansson, Konstantinos Sagonas, Jesper Wilhelmsson	Heap architectures for concurrent languages using message passing.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	message passing, garbage collection, erlang, runtime systems, concurrent languages
27	Dimitris Bertsimas, Georgia Mourtzinou	Decomposition results for general polling systems and their applications.	Queueing Syst. Theory Appl.	1999	DBLP DOI BibTeX RDF	switch-over times, mixed generalized Erlang arrivals, performance analysis, decomposition, heavy traffic, polling systems, distributional laws
22	Salah-Eddine Elayoubi, Benoît Fourestié	Performance evaluation of admission control and adaptive modulation in OFDMA WiMax systems.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	inter-cell interference, performance evaluation, WiMAX, OFDMA
22	Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert	Actors with Multi-headed Message Receive Patterns.	COORDINATION	2008	DBLP DOI BibTeX RDF
22	Mika Murtojärvi, Jouni Järvinen, Mika Johnsson, Timo Leipälä, Olli Nevalainen	Determining the Proper Number and Price of Software Licenses.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Software release management and delivery, simulation, mathematical modeling, queuing theory
22	Nidhi Hegde 0001, Eitan Altman	Capacity of Multiservice WCDMA Networks with Variable GoS.	Wirel. Networks	2006	DBLP DOI BibTeX RDF	WCDMA performance, integration of streaming and elastic traffic, UMTS, HSDPA, Quasi birth- and death-processes
22	Haitang Wang, Bing He 0004, Dharma P. Agrawal	Admission Control and Bandwidth Allocation above Packet Level for IEEE 802.16 Wireless MAN.	ICPADS (1)	2006	DBLP DOI BibTeX RDF
22	Wenhong Tian	The transient analysis of loss networks.	SIGMETRICS Perform. Evaluation Rev.	2005	DBLP DOI BibTeX RDF
22	Jan Henry Nyström, Philip W. Trinder, David J. King	Are High-Level Languages Suitable for Robust Telecoms Software?.	SAFECOMP	2005	DBLP DOI BibTeX RDF
22	Tobias Lindahl, Konstantinos Sagonas	Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story.	APLAS	2004	DBLP DOI BibTeX RDF	Compile-time program checking, software development, software tools, defect detection, software quality assurance
22	Antonella Di Stefano, Corrado Santoro	Designing Collaborative Agents with eXAT.	WETICE	2004	DBLP DOI BibTeX RDF
22	Mahmoud Naghshineh, Anthony S. Acampora	Design and control of micro-cellular networks with QOS provisioning for data traffic.	Wirel. Networks	1997	DBLP DOI BibTeX RDF
22	Mads Dam, Lars-Åke Fredlund, Dilian Gurov	Toward Parametric Verification of Open Distributed Systems.	COMPOS	1997	DBLP DOI BibTeX RDF
22	Olav Hansen, Peter Fritzson	A Performance Analyzer for a Parallel Real-Time Functional Language.	HICSS (1)	1996	DBLP DOI BibTeX RDF
16	Yunzhe Li, Juhee Lee, Athanasios Kottas	Bayesian nonparametric Erlang mixture modeling for survival analysis.	Comput. Stat. Data Anal.	2024	DBLP DOI BibTeX RDF
16	Mario E. Rivero-Angeles, Iclia Villordo-Jimenez, Izlian Yolanda Orea-Flores, Noé Torres-Cruz, Angel Pretelín-Ricárdez	Erlang-U: Blocking Probability of UAV-Assisted Cellular Systems.	Inf.	2024	DBLP DOI BibTeX RDF
16	Alexander M. Andronov, Kristina Mahareva	Elaborated Analysis of a Nonreplenishable Queue with Erlang Distribution of the Service Time.	Autom. Control. Comput. Sci.	2024	DBLP DOI BibTeX RDF
16	M. Moharrami, V. Subramanian, M. Liu, R. Sundaresan	The Erlang weighted tree, a new branching process.	Random Struct. Algorithms	2024	DBLP DOI BibTeX RDF
16	Vighnesh Sachidananda, Anirudh Sivaraman	Erlang: Application-Aware Autoscaling for Cloud Microservices.	EuroSys	2024	DBLP DOI BibTeX RDF
16	Matheus Souza 0001, Marcel De Almeida, André R. Fioravanti, Oswaldo L. V. Costa	H2 Output-Feedback Cluster Control for Continuous Semi-Markov Jump Linear Systems With Erlang Dwell Times.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
16	Kazuma Abe, Tuan Phung-Duc	Diffusion limit of a modified Erlang-B system with sensing time of secondary users.	Ann. Oper. Res.	2023	DBLP DOI BibTeX RDF
16	Ahmad Attar, Sadigh Raissi, Hamid Tohidi, Mohammad Javad Feizollahi	A Novel Perspective on Reliable System Design With Erlang Failures and Realistic Constraints for Incomplete Switching Mechanisms.	IEEE Access	2023	DBLP DOI BibTeX RDF
16	Barbara Haas Margolius	The periodic steady-state solution for queues with Erlang arrivals and service and time-varying periodic transition rates.	Queueing Syst. Theory Appl.	2023	DBLP DOI BibTeX RDF
16	Yu Chen 0006, Yaxuan Tang, Mingchun Xu, Xiaofeng Tao	Energy-Efficient Wireless System Within Average Delay and With Mixed-Erlang-Distributed Data.	IEEE Wirel. Commun. Lett.	2023	DBLP DOI BibTeX RDF
16	Péter Bereczky, Dániel Horpácsi, Simon J. Thompson	A Frame Stack Semantics for Sequential Core Erlang.	CoRR	2023	DBLP DOI BibTeX RDF
16	Albert Schimpf, Stefan Wehr, Annette Bieniusa	Set-theoretic Types for Erlang.	CoRR	2023	DBLP DOI BibTeX RDF
16	Dominic Orchard, Mihail Munteanu, Paulo Torrens	Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines.	PLACES@ETAPS	2023	DBLP DOI BibTeX RDF
16	Péter Bereczky, Dániel Horpácsi, Simon J. Thompson	A Formalisation of Core Erlang, a Concurrent Actor Language.	CoRR	2023	DBLP DOI BibTeX RDF
16	Hyotae Kim, Athanasios Kottas	Erlang mixture modeling for Poisson process intensities.	Stat. Comput.	2022	DBLP DOI BibTeX RDF
16	Jiao Wang, Lemin Zhang, Zhiqiang He, Can Zhu, Zihui Zhao	Erlang planning network: An iterative model-based reinforcement learning with multi-perspective.	Pattern Recognit.	2022	DBLP DOI BibTeX RDF
16	Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski	Reversible Computing in Debugging of Erlang Programs.	IT Prof.	2022	DBLP DOI BibTeX RDF
16	Walter Cazzola, Francesco Cesarini, Luca Tansini	PerformERL: a performance testing framework for erlang.	Distributed Comput.	2022	DBLP DOI BibTeX RDF
16	Matthieu Jonckheere	From Erlang formula to robust control.	Queueing Syst. Theory Appl.	2022	DBLP DOI BibTeX RDF
16	Alexander B. Veretennikov	An open problem about the rate of convergence in Erlang-Sevastyanov's model.	Queueing Syst. Theory Appl.	2022	DBLP DOI BibTeX RDF
16	Semih Kara, Nuno C. Martins, Murat Arcak	Population Games With Erlang Clocks: Convergence to Nash Equilibria For Pairwise Comparison Dynamics.	CoRR	2022	DBLP DOI BibTeX RDF
16	Miquel Ferriol Galmés, Krzysztof Rusek, José Suárez-Varela, Shihan Xiao, Xiangle Cheng, Pere Barlet-Ros, Albert Cabellos-Aparicio	RouteNet-Erlang: A Graph Neural Network for Network Performance Evaluation.	CoRR	2022	DBLP BibTeX RDF
16	Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti	Reversibility in Erlang: Imperative Constructs.	RC	2022	DBLP DOI BibTeX RDF
16	Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani	Generation of a Reversible Semantics for Erlang in Maude.	ICFEM	2022	DBLP DOI BibTeX RDF
16	Semih Kara, Nuno C. Martins, Murat Arcak	Population Games With Erlang Clocks: Convergence to Nash Equilibria For Pairwise Comparison Dynamics.	CDC	2022	DBLP DOI BibTeX RDF
16	Kazuma Abe, Tuan Phung-Duc	Asymptotic Analysis of Modified Erlang-B System with Sensing Time and Stochastic Loss of Secondary Users.	VALUETOOLS	2022	DBLP DOI BibTeX RDF
16	Miquel Ferriol Galmés, Krzysztof Rusek, José Suárez-Varela, Shihan Xiao, Xiang Shi, Xiangle Cheng, Bo Wu, Pere Barlet-Ros, Albert Cabellos-Aparicio	RouteNet-Erlang: A Graph Neural Network for Network Performance Evaluation.	INFOCOM	2022	DBLP DOI BibTeX RDF
16	Lavinia Egidi, Paola Giannini, Lorenzo Ventura	Multiparty-session-types Coordination for Core Erlang.	ICSOFT	2022	DBLP DOI BibTeX RDF
16	Clemens Neumüller, Joerg Robert, Albert Heuberger	Convolving Hyper-Erlang with Hyper-Exponential Distributions Using Linear Algebra.	ICoMS	2022	DBLP DOI BibTeX RDF
16	Vladimir Janjic, Christopher Brown 0002, Adam D. Barwell, Kevin Hammond	Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang.	Concurr. Comput. Pract. Exp.	2021	DBLP DOI BibTeX RDF
16	Bobby S. Nyotta, Fernanda Bravo, M. Keith Chen	Computing the conditional entry-state distribution in Erlang loss systems.	Oper. Res. Lett.	2021	DBLP DOI BibTeX RDF
16	Thirupathaiah Vasantam, Ravi R. Mazumdar	Sensitivity of mean-field fluctuations in Erlang loss models with randomized routing.	J. Appl. Probab.	2021	DBLP DOI BibTeX RDF
16	Fernando Benavides Rodríguez, Laura M. Castro	Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty.	CoRR	2021	DBLP BibTeX RDF
16	Thirupathaiah Vasantam, Ravi R. Mazumdar	Sensitivity of Mean-Field Fluctuations in Erlang loss models with randomized routing.	CoRR	2021	DBLP BibTeX RDF
16	Evsey V. Morozov, S. S. Rogozin, Hung Quoc Nguyen, Tuan Phung-Duc	Modified Erlang loss system for cognitive wireless networks.	CoRR	2021	DBLP BibTeX RDF
16	Wenyong Gui, Rongtan Huang, X. Sheldon Lin	Fitting multivariate Erlang mixtures to data: A roughness penalty approach.	J. Comput. Appl. Math.	2021	DBLP DOI BibTeX RDF
16	Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani	Causal-Consistent Debugging of Distributed Erlang Programs.	RC	2021	DBLP DOI BibTeX RDF
16	Paul Kevin Reeser	Highly Accurate, Explicit Approximation for Erlang B.	EPEW	2021	DBLP DOI BibTeX RDF
16	Liu Yang, Yanyi Sun, Yi Wang, Tongkuai Zhang	Vehicles Connectivity on Highways Adopting Erlang-distribution for Time Headway.	ICSAI	2021	DBLP DOI BibTeX RDF
16	Sébastien Merle, Juan Pedro Fernández-Palacios, Óscar González de Dios, Lluís Gifre, Ricard Vilalta, Peer Stritzinger	Scalable and Resilient Network Traffic Engineering Using Erlang-based Path Computation Element.	NFV-SDN	2021	DBLP DOI BibTeX RDF
16	Yangjin Cheng, Muzhou Hou, Juan Wang	An improved optimal trigonometric ELM algorithm for numerical solution to ruin probability of Erlang(2) risk model.	Multim. Tools Appl.	2020	DBLP DOI BibTeX RDF
16	Nahideh Derakhshanfard	Erlang Based Buffer Management and Routing in Opportunistic Networks.	Wirel. Pers. Commun.	2020	DBLP DOI BibTeX RDF
16	Péter Bereczky, Dániel Horpácsi, Simon J. Thompson	A Proof Assistant Based Formalisation of Core Erlang.	CoRR	2020	DBLP BibTeX RDF
16	Neil J. Gunther	Erlang Redux: An Ansatz Method for Solving the M/M/m Queue.	CoRR	2020	DBLP BibTeX RDF
16	Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García	Deriving overloaded success type schemes in Erlang.	J. Comput. Lang.	2020	DBLP DOI BibTeX RDF
16	Maciej Pietowski, Quoc-Tuan Vien, Truong Khoa Phan	Optimisation of Server Selection for Maximising Utility in Erlang-Loss Systems.	EAI Endorsed Trans. Ind. Networks Intell. Syst.	2020	DBLP DOI BibTeX RDF
16	Péter Bereczky, Dániel Horpácsi, Simon J. Thompson	A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang.	TFP	2020	DBLP DOI BibTeX RDF
16	Petro Pekh, Olena Kuzmych, Nina Zdolbitska, Nataliia Bahniuk, Iaroslav Pasternak	Generators of Some Kinds Random Erlang Numbers and Estimation of Their Complexity.	ACIT	2020	DBLP DOI BibTeX RDF
16	Joseph R. Harrison	Robust communications in Erlang		2020	DOI RDF
16	David Azriel, Paul D. Feigin, Avishai Mandelbaum	Erlang-S: A Data-Based Model of Servers in Queueing Networks.	Manag. Sci.	2019	DBLP DOI BibTeX RDF
16	Gerardo Carreño-García, Manuel Hernández-Gutiérrez	Actividades colaborativas en sistemas distribuidos construidos con Erlang.	Res. Comput. Sci.	2019	DBLP BibTeX RDF
16	Gregory Hawkridge, Anton Herman Basson, Karel Kruger	Comparison of Erlang/OTP and JADE implementations for standby redundancy in a holonic controller.	Int. J. Comput. Integr. Manuf.	2019	DBLP DOI BibTeX RDF
16	Karel Kruger, Anton Herman Basson	Evaluation of JADE multi-agent system and Erlang holonic control implementations for a manufacturing cell.	Int. J. Comput. Integr. Manuf.	2019	DBLP DOI BibTeX RDF
16	Hilary I. Okagbue, Muminu O. Adamu, Timothy A. Anake	Closed Form Expressions for the Quantile Function of the Erlang Distribution Used in Engineering Models.	Wirel. Pers. Commun.	2019	DBLP DOI BibTeX RDF
16	Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit	A core Erlang semantics for declarative debugging.	J. Log. Algebraic Methods Program.	2019	DBLP DOI BibTeX RDF
16	Banani Talukdar, Deepak Kumar, Wasim Arif	Analytical Modelling and Performance Evaluation of a Prediction based EH-Cooperative CRN under Erlang Distribution.	ANTS	2019	DBLP DOI BibTeX RDF
16	Thirupathaiah Vasantam, Ravi R. Mazumdar	Fluctuations Around the Mean-Field for a Large Scale Erlang Loss System Under the SQ(d) Load Balancing.	ITC	2019	DBLP DOI BibTeX RDF
16	Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro	Playing with Bisimulation in Erlang.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
16	Anastasiia Strielkina, Bohdan Volochiy, Vyacheslav S. Kharchenko, Serhiy Volochiy	Model of Functional Behavior of Healthcare Internet of Things Device Using Erlang Phase Method.	ICTERI (Revised Selected Papers)	2019	DBLP DOI BibTeX RDF
16	Anastasiia Strielkina, Serhiy Volochiy, Vyacheslav S. Kharchenko	Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method.	ICTERI Workshops	2019	DBLP BibTeX RDF
16	Arif Husen, Imran Raza, Syed Asad Hussain	Erlang Based Server Selection Scheme Using Software Defined Networking in Datacenter for Energy Conservation.	FIT	2019	DBLP DOI BibTeX RDF
16	Laurin Prenzel, Julien Provost	FBBeam: An Erlang-based IEC 61499 Implementation.	INDIN	2019	DBLP DOI BibTeX RDF
16	Amit Kumar Singh, Dilip Senapati, Sujit Bebortta, Nikhil Kumar Rajput	A Non-stationary Analysis of Erlang Loss Model.	ICACIE (1)	2019	DBLP DOI BibTeX RDF
16	Melinda Tóth	Adat és kiértékelési függőségi elemzés funkcionális nyelvekre- Erlang programok statikus elemzése		2019	RDF
16	István Bozó	Erlang programok statikus elemzése és szeletelése		2019	RDF
16	Ivan Lanese, Naoki Nishida 0001, Adrián Palacios, Germán Vidal	A theory of reversibility for Erlang.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
16	Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit	Declarative debugging of concurrent Erlang programs.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
16	William A. Massey, Jamol Pender	Dynamic rate Erlang-A queues.	Queueing Syst. Theory Appl.	2018	DBLP DOI BibTeX RDF