Search results for "erlang"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
43	Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes 0001, Hans Svensson, Thomas Arts, Ulf T. Wiger	Finding race conditions in Erlang with QuickCheck and PULSE.	ICFP	2009	DBLP DOI BibTeX RDF	QuickCheck, Erlang, race conditions
43	Steve Vinoski	Concurrency with Erlang.	IEEE Internet Comput.	2007	DBLP DOI BibTeX RDF	Toward Integration, middleware, concurrency, programming language, Erlang
43	Thomas Bonald	The Erlang model with non-poisson call arrivals.	SIGMETRICS/Performance	2006	DBLP DOI BibTeX RDF	Erlang formula, insensitivity, loss networks
43	Georges Nogueira, Bruno Baynat, Ahmed Ziram	An Erlang-like law for GPRS/EDGE engineering and its first validation on live traffic.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	performance evaluation, modeling, measurement, Markov chain, Erlang, EDGE, GPRS
43	Valentina I. Klimenok, Che Soong Kim, Dmitry S. Orlovsky, Alexander N. Dudin	Lack of Invariant Property of the Erlang Loss Model in Case of MAP Input.	Queueing Syst. Theory Appl.	2005	DBLP DOI BibTeX RDF	BMAP/PH/N/0 queueing model, stationary state distribution, Erlang loss model, invariant property
43	Simon Marlow, Philip Wadler	A Practical Subtyping System For Erlang.	ICFP	1997	DBLP DOI BibTeX RDF	ERLANG
43	Sandeep Bhadra, Yingdong Lu, Mark S. Squillante	Optimal capacity planning in stochastic loss networks with time-varying workloads.	SIGMETRICS	2007	DBLP DOI BibTeX RDF	erlang fixed-point approximation, erlang loss formula, stochastic dynamic programming, stochastic loss networks, time-varying workloads, capacity planning, asymptotic optimality
39	Erlang Surya, Lutz Warnke	On the Concentration of the Chromatic Number of Random Graphs.	Electron. J. Comb.	2024	DBLP DOI BibTeX RDF
39	Calum MacRury, Erlang Surya	Sharp thresholds in adaptive random graph processes.	Random Struct. Algorithms	2024	DBLP DOI BibTeX RDF
39	Sam Spiro, Erlang Surya, Ji Zeng	Semi-Restricted Rock, Paper, Scissors.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
39	Erlang Surya, Lutz Warnke, Emily Zhu	Isomorphisms between dense random graphs.	CoRR	2023	DBLP DOI BibTeX RDF
39	Erlang Surya, Lutz Warnke	Lagrange Inversion Formula by Induction.	Am. Math. Mon.	2023	DBLP DOI BibTeX RDF
39	Jiaxi Nie, Erlang Surya, Ji Zeng	On asymptotic packing of convex geometric and ordered graphs.	J. Graph Theory	2023	DBLP DOI BibTeX RDF
39	Michael Molloy 0001, Erlang Surya, Lutz Warnke	The degree-restricted random process is far from uniform.	CoRR	2022	DBLP DOI BibTeX RDF
39	Calum MacRury, Erlang Surya	Sharp Thresholds in Adaptive Random Graph Processes.	CoRR	2022	DBLP DOI BibTeX RDF
39	Erlang Surya, Lutz Warnke	On the concentration of the chromatic number of random graphs.	CoRR	2022	DBLP BibTeX RDF
39	Chin-Liang Wang, Kuan-Kai Chen, Min-Chau Jan, Yuan-Shuo Chang, Erlang Wang, Ying-Hsi Lin	Adaptive cancellation of transmitter leakage in frequency-division duplexing transceivers.	WOCC	2018	DBLP DOI BibTeX RDF
39	Chin-Liang Wang, Min-Chau Jan, Yuan-Shuo Chang, Erlang Wang, Ying-Hsi Lin	Adaptive Out-of-Band Interference Suppression for Coexistent Wi-Fi and Bluetooth Systems.	IEEE Commun. Lett.	2017	DBLP DOI BibTeX RDF
39	Shaobin Chen, Chao Cai, Erlang Li, Mingyue Ding	Design and implementation of knowledge base for target recognition in remote sensing images.	FSKD	2010	DBLP DOI BibTeX RDF
39	Tamás Kozsik, Zoltán Csörnyei, Zoltán Horváth, Roland Király, Róbert Kitlei, László Lövei, Tamás Nagy, Melinda Tóth, Anikó Nagyné Víg	Use Cases for Refactoring in Erlang.	CEFP	2007	DBLP DOI BibTeX RDF
39	Antonella Di Stefano, Corrado Santoro	Using the Erlang Language for Multi-Agent Systems Implementation.	IAT	2005	DBLP DOI BibTeX RDF
39	Insoo Koo, Anders Furuskar, Jens Zander, Kiseon Kim	Erlang Capacity Analysis of Multi-access Systems Supporting Voice and Data Services. (PDF / PS)	PWC	2004	DBLP DOI BibTeX RDF
39	Lars-Åke Fredlund, Dilian Gurov, Thomas Noll 0001	Semi-Automated Verification of Erlang Code.	ASE	2001	DBLP DOI BibTeX RDF
38	Kyomin Jung, Yingdong Lu, Devavrat Shah, Mayank Sharma, Mark S. Squillante	Revisiting stochastic loss networks: structures and algorithms.	SIGMETRICS	2008	DBLP DOI BibTeX RDF	erlang loss formula and fixed-point approximation, multidimensional stochastic processes, stochastic approximations, loss networks
38	Villy Bæk Iversen, Vilius Benetis, Peter D. Hansen	Performance of Hierarchical Cellular Networks with Overlapping Cells.	EuroNGI Workshop	2004	DBLP DOI BibTeX RDF	cell breathing, direct routing, Erlang-B formula, multi-rate services, cellular networks, blocking, hierarchical cellular networks
38	Tien-Chen Ho, Shang-Juh Kao	A New Performance Analysis Model of the Local Switching System.	COMPSAC	1997	DBLP DOI BibTeX RDF	local switching system, Erlang B formula, queueing model, loss probability
36	Natalia Chechina, Adrian Francalanza (eds.)	Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018	Erlang Workshop	2018	DBLP DOI BibTeX RDF
36	Alex Gerdes, John Hughes 0001, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang 0002	Understanding formal specifications through good examples.	Erlang Workshop	2018	DBLP DOI BibTeX RDF
36	Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, Rupak Majumdar	iDeA: an immersive debugger for actors.	Erlang Workshop	2018	DBLP DOI BibTeX RDF
36	Natalia Chechina, Scott Lystig Fritchie (eds.)	Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, Oxford, United Kingdom, September 3-9, 2017	Erlang Workshop	2017	DBLP DOI BibTeX RDF
36	Evgeniy Shishkin	Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm.	Erlang Workshop	2017	DBLP DOI BibTeX RDF
36	Viktória Fördós, István Bozó, Melinda Tóth	Towards change-driven testing.	Erlang Workshop	2017	DBLP DOI BibTeX RDF
36	Melinda Tóth, Scott Lystig Fritchie (eds.)	Proceedings of the 15th International Workshop on Erlang, Nara, Japan, September 18-22, 2016	Erlang Workshop	2016	DBLP DOI BibTeX RDF
36	Andreea Lutac, Natalia Chechina, Gerardo Aragon-Camarasa, Phil Trinder	Towards reliable and scalable robot communication.	Erlang Workshop	2016	DBLP DOI BibTeX RDF
36	Daniel Carballa, Laura M. Castro	Automatic generation of UML sequence diagrams from test counterexamples.	Erlang Workshop	2016	DBLP DOI BibTeX RDF
36	Andrea Rosà, Lydia Y. Chen, Walter Binder	Profiling actor utilization and communication in Akka.	Erlang Workshop	2016	DBLP DOI BibTeX RDF
36	Deepthi Devaki Akkoorath, Viktória Fördós, Annette Bieniusa	Observing the consistency of distributed systems.	Erlang Workshop	2016	DBLP DOI BibTeX RDF
36	Andreas Löscher, Konstantinos Sagonas	The Nifty way to call hell from heaven.	Erlang Workshop	2016	DBLP DOI BibTeX RDF
36	Hans Svensson, Melinda Tóth (eds.)	Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, Vancouver, BC, Canada, September 4, 2015	Erlang Workshop	2015	DBLP DOI BibTeX RDF
36	Alex Gerdes, John Hughes 0001, Nicholas Smallbone, Meng Wang 0002	Linking unit tests and properties.	Erlang Workshop	2015	DBLP DOI BibTeX RDF
36	Laura M. Castro, Hans Svensson (eds.)	Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, Gothenburg, Sweden, September 5, 2014	Erlang Workshop	2014	DBLP BibTeX RDF
36	Konstantinos Sagonas, Kjell Winblad	More scalable ordered set for ETS using adaptation.	Erlang Workshop	2014	DBLP DOI BibTeX RDF
36	Clara Benac Earle, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño	Jsongen: a quickcheck based library for testing JSON web services.	Erlang Workshop	2014	DBLP DOI BibTeX RDF
36	Thomas Arts	On shrinking randomly generated load tests.	Erlang Workshop	2014	DBLP DOI BibTeX RDF
36	Kevin Hammond	Functional programming and the "megacore" era.	Erlang Workshop	2014	DBLP DOI BibTeX RDF
36	Steve Vinoski, Laura M. Castro (eds.)	Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, Boston, Massachusetts, USA, September 28, 2013	Erlang Workshop	2013	DBLP BibTeX RDF
36	Pablo Lamela Seijas, Huiqing Li, Simon J. Thompson	Towards property-based testing of RESTful web services.	Erlang Workshop	2013	DBLP DOI BibTeX RDF
36	Christopher Meiklejohn	Riak PG: distributed process groups on dynamo-style distributed storage.	Erlang Workshop	2013	DBLP DOI BibTeX RDF
36	Miguel A. Francisco, Macías López, Henrique Ferreiro, Laura M. Castro	Turning web services descriptions into quickcheck models for automatic testing.	Erlang Workshop	2013	DBLP DOI BibTeX RDF
36	Ulf Norell, Hans Svensson, Thomas Arts	Testing blocking operations with QuickCheck's component library.	Erlang Workshop	2013	DBLP DOI BibTeX RDF
36	Emilio Francesquini, Alfredo Goldman, Jean-François Méhaut	Actor scheduling for multicore hierarchical memory platforms.	Erlang Workshop	2013	DBLP DOI BibTeX RDF
36	Torben Hoffman, John Hughes (eds.)	Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, Copenhagen, Denmark, September 14, 2012	Erlang Workshop	2012	DBLP BibTeX RDF
36	Joseph Blomstedt	Hansei: property-based development of concurrent systems.	Erlang Workshop	2012	DBLP DOI BibTeX RDF
36	Bryan Fink	Distributed computation on dynamo-style distributed storage: riak pipe.	Erlang Workshop	2012	DBLP DOI BibTeX RDF
36	Macías López, Laura M. Castro, David Cabrero	Failover and takeover contingency mechanisms for network partition and node failure.	Erlang Workshop	2012	DBLP DOI BibTeX RDF
36	Emilio Francesquini, Alfredo Goldman, Jean-François Méhaut	Towards automatic actor pinning on multi-core architectures.	Erlang Workshop	2012	DBLP DOI BibTeX RDF
36	Kenji Rikitake, Erik Stenman (eds.)	Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011	Erlang Workshop	2011	DBLP BibTeX RDF
36	R. John M. Hughes, Hans Bolinder	Testing a database for race conditions with QuickCheck.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
36	Steve Vinoski	A decade of Yaws.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
36	Prashanth Mundkur, Ville H. Tuulos, Jared Flatow	Disco: a computing platform for large-scale data analytics.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
36	Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson	Extracting QuickCheck specifications from EUnit test cases.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
36	Alkis Gotovos, Maria Christakis, Konstantinos Sagonas	Test-driven development of concurrent programs using concuerror.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
36	Thomas Arts, Laura M. Castro	Model-based testing of data types with side effects.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
36	Thomas Arts, John Hughes 0001, Ulf Norell, Nicholas Smallbone, Hans Svensson	Accelerating race condition detection through procrastination.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
36	Manolis Papadakis, Konstantinos Sagonas	A PropEr integration of types and function specifications with property-based testing.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
36	Cláudio Amaral, Mário Florido, Patrik Jansson	Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
36	Stavros Aronis, Konstantinos Sagonas	Typed callbacks for more robust behaviours.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
36	Scott Lystig Fritchie, Konstantinos Sagonas (eds.)	Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010	Erlang Workshop	2010	DBLP BibTeX RDF
36	Thomas Arts, Simon J. Thompson	From test cases to FSMs: augmented test-driven development and property inference.	Erlang Workshop	2010	DBLP DOI BibTeX RDF
36	Scott Lystig Fritchie	Chain replication in theory and in practice.	Erlang Workshop	2010	DBLP DOI BibTeX RDF
36	Dániel Drienyovszky, Dániel Horpácsi, Simon J. Thompson	Quickchecking refactoring tools.	Erlang Workshop	2010	DBLP DOI BibTeX RDF
36	Clara Benac Earle, Simon J. Thompson (eds.)	Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009	Erlang Workshop	2009	DBLP BibTeX RDF
36	Javier París, Thomas Arts	Automatic testing of TCP/IP implementations using QuickCheck.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	tcp/ip, testing, networking
36	Soon Tee Teoh, Zoltán Horváth (eds.)	Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008	Erlang Workshop	2008	DBLP BibTeX RDF
36	Jonas Boberg	Early fault detection with model-based testing.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	model-based testing, system testing
36	Simon J. Thompson, Lars-Åke Fredlund (eds.)	Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007	Erlang Workshop	2007	DBLP BibTeX RDF
36	Marc Feeley, Philip W. Trinder (eds.)	Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006	Erlang Workshop	2006	DBLP BibTeX RDF
36	Thomas Arts, John Hughes 0001, Joakim Johansson, Ulf T. Wiger	Testing telecoms software with quviq QuickCheck.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	test automation, property based testing
36	Konstantinos Sagonas, Joe Armstrong (eds.)	Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005	Erlang Workshop	2005	DBLP BibTeX RDF
36	Francesco Cesarini, Philip Wadler (eds.)	Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004	Erlang Workshop	2004	DBLP BibTeX RDF
36	Martin J. Logan	Monitoring and state transparency of distributed systems.	Erlang Workshop	2004	DBLP DOI BibTeX RDF	services oriented network, distributed computing, monitoring, concurrent programming, server farm
36	Bjarne Däcker, Thomas Arts (eds.)	Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003	Erlang Workshop	2003	DBLP BibTeX RDF
36	Rex L. Page, John Hughes 0001 (eds.)	Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002	Erlang Workshop	2002	DBLP BibTeX RDF
36	Thomas Arts, Juan José Sánchez Penas	Global scheduler properties derived from local restrictions.	Erlang Workshop	2002	DBLP DOI BibTeX RDF
34	Lars-Åke Fredlund, Juan José Sánchez Penas	Model Checking a Video-on-Demand Server Using McErlang.	EUROCAST	2007	DBLP DOI BibTeX RDF
34	Ulf T. Wiger	20 years of industrial functional programming.	ICFP	2004	DBLP DOI BibTeX RDF
34	Erik Johansson, Sven-Olof Nyström	Profile-guided optimization across process boundaries.	Dynamo	2000	DBLP DOI BibTeX RDF
32	Shimon Bitton, Izack Cohen, Morris A. Cohen	Joint repair sourcing and stocking policies for repairables using Erlang-A and Erlang-B queueing models.	IISE Trans.	2019	DBLP DOI BibTeX RDF
32	A. A. Jagers, Erik A. van Doorn	Convexity of Functions which are Generalizations of the Erlang Loss Function and the Erlang Delay Function.	SIAM Rev.	1991	DBLP DOI BibTeX RDF
32	A. A. Jagers, Erik A. van Doorn	Convexity of Functions Which are Generalizations of the Erlang Loss Function and the Erlang Delay Function.	SIAM Rev.	1990	DBLP DOI BibTeX RDF
32	Steve Vinoski	Process Bottlenecks within Erlang Web Applications.	IEEE Internet Comput.	2011	DBLP DOI BibTeX RDF	Internet, functional programming, Erlang, Web development
32	Charles Knessl, Yongzhi (Peter) Yang	On the Erlang Loss Model with Time Dependent Input.	Queueing Syst. Theory Appl.	2006	DBLP DOI BibTeX RDF	Erlang loss model, time dependent arrivals, asymptotic analysis
27	Erik A. van Doorn, Alexander I. Zeifman	On the speed of convergence to stationarity of the Erlang loss system.	Queueing Syst. Theory Appl.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K25, 90B22
27	Nico M. van Dijk, Nikky Kortbeek	Erlang loss bounds for OT-ICU systems.	Queueing Syst. Theory Appl.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60J27, 90B22, 60K25
27	Guodong Pang, Ward Whitt	Heavy-traffic extreme value limits for Erlang delay models.	Queueing Syst. Theory Appl.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K25, 60G70, 90B22, 60F05
27	Richard J. Boucherie, Nico M. van Dijk	Monotonicity and error bounds for networks of Erlang loss queues.	Queueing Syst. Theory Appl.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90B22, 60K25
27	J. F. C. Kingman	The first Erlang century - and the next.	Queueing Syst. Theory Appl.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K25
27	Jim Larson	Erlang for concurrent programming.	Commun. ACM	2009	DBLP DOI BibTeX RDF
27	Hiroyuki Okamura, Tadashi Dohi	Hyper-Erlang Software Reliability Model.	PRDC	2008	DBLP DOI BibTeX RDF
27	Eishi Chiba, Hiroshi Fujiwara, Yoshiyuki Sekiguchi, Toshihide Ibaraki	Collision Probability in an Automated Production Line under Erlang Distribution.	RIVF	2007	DBLP DOI BibTeX RDF