Erlang - PDFSEARCH.IO - Document Search Engine

Erlang
Results: 623

#	Item
61	E RLANG/OTP Meets Dependent Types Archibald Samuel Elliott University of St Andrews ACM Member Number: [ REDACTED ] Add to Reading List Source URL: lenary.co.uk Language: English - Date: 2016-03-31 14:23:30 Software engineering Computing Computer programming Concurrent programming languages Ericsson Erlang Functional programming Type theory Actor model Concurrent computing Go International Conference on Functional Programming
62	PDF Document Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2016-04-06 11:23:44 Computing Software engineering Computer programming Concurrent programming languages Erlang Ericsson Go Riak C dynamic memory allocation CSCM Open Telecom Platform
63	PRODUCT DOCUMENTATION Pivotal™ RabbitMQ® Version 3.4 Getting Started with Pivotal RabbitMQ Add to Reading List Source URL: rabbitmq.docs.pivotal.io Language: English - Date: 2016-04-11 14:32:28 Computing Message-oriented middleware Erlang Inter-process communication RabbitMQ Open standards Internet protocols Advanced Message Queuing Protocol Message queue Open Telecom Platform QDB Java Message Service
64	Archibald Samuel Elliott Computer Science PhD Student: Programming Languages Research Interests I’m particularly interested in Type-directed Program Synthesis. Program Synthesis is a method by which we devise methods t Add to Reading List Source URL: lenary.co.uk Language: English - Date: 2016-03-31 14:23:30 Computing Software engineering Computer programming Concurrent programming languages Functional languages Cloud infrastructure NoSQL Procedural programming languages Erlang Basho Technologies Functional programming Concurrent computing
65	Pony for Fintech or How I Stopped Worrying and Learned to Love an Exotic Product Sylvan Clebsch QCon London 2016 Add to Reading List Source URL: qconlondon.com Language: English Functional languages Erlang OCaml Concurrent computing
66	PDF Document Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2014-09-17 23:23:09 Computing Software engineering Computer programming Concurrent programming languages Erlang Ericsson Go Riak C dynamic memory allocation CSCM Erlang distribution
67	WOMBATOAM OPERATIONS & MAINTENANCE FRAMEWORK FOR ERLANG & ELIXIR SYSTEMS WombatOAM helps DevOps Add to Reading List Source URL: esl-website-production.s3.amazonaws.com Language: English - Date: 2015-12-04 07:45:50
68	PRODUCT DOCUMENTATION Pivotal™ RabbitMQ® Version 3.4 Supported Configurations and System Add to Reading List Source URL: rabbitmq.docs.pivotal.io Language: English - Date: 2016-04-11 14:32:28 Message-oriented middleware Erlang Inter-process communication Internet protocols RabbitMQ Advanced Message Queuing Protocol 64-bit computing CentOS
69	Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems Alysson Neves Bessani† Miguel Correia† Add to Reading List Source URL: www.di.fc.ul.pt Language: English - Date: 2007-05-02 12:01:50 Computing Fault-tolerant computer systems Concurrent computing State machine replication Byzantine fault tolerance Tuple Paxos Consensus Erlang Linda Replication
70	The Cloud is the future Internet: How do we engineer a cloud? Jim Roberts Inria, France Add to Reading List Source URL: infocom.di.unimi.it Language: English - Date: 2013-04-19 04:50:47 Teletraffic Computing Technology Network performance Telecommunications engineering Software engineering Queueing theory Erlang Cloud computing Busy-hour call attempts Internet Stochastic geometry models of wireless networks

UPDATE