13 papers · ranked by Valyu relevance
Christopher Meiklejohn
Following from both the FLP result and CAP theorem, we show that concurrent programming models are necessary, but not sufficient, in the construction of large-scale distributed systems because of the problem of failure and network partitions: languages need to be able to capture and encode the tradeoffs between…
Boris Burshteyn
Hello is a general-purpose, object-oriented, protocol-agnostic distributed programming language. This paper explains the ideas that guided design of Hello. It shows the spirit of Hello using two brief expressive programs and provides a summary of language features. In addition, it explores historical parallels between…
Patrick Finnerty, Yoshiki Kawanishi, Tomio Kamada, Chikara Ohta
In this article we present our relocatable distributed collections library. Building on top of the AGPAS for Java library, we provide a number of useful intra-node parallel patterns as well as the features necessary to support the distributed nature of the computation through clearly identified methods. In particular…
Fan Yang, Gabriel Barth-Maron, Piotr Stańczyk, Matthew W. Hoffman + 4 more
A major driver behind the success of modern machine learning algorithms has been their ability to process ever-larger amounts of data. As a result, the use of distributed systems in both research and production has become increasingly prevalent as a means to scale to this growing data. At the same time, however…
Gwenaël Delaval, Alain Girault, Marc Pouzet
We address the design of distributed systems with synchronous dataflow programming languages. As modular design entails handling both architectural and functional modularity, our first contribution is to extend an existing synchronous dataflow programming language with primitives allowing the description of a…
Christopher Meiklejohn, Peter Van Roy
It is undeniable that most developers today are building distributed applications. However, most of these applications are developed by composing existing systems together through unspecified APIs exposed to the application developer. Systems are not going away: they solve a particular problem and most applications…
Sachin Lakra, Deepak Kumar Sharma
Distributed Software Development today is in its childhood and not too widespread as a method of developing software in the global IT Industry. In this context, Petrinets are a mathematical model for describing distributed systems theoretically, whereas AttNets are one of their offshoots. But development of true…
Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski
This article describes a very high-level language for clear description of distributed algorithms and optimizations necessary for generating efficient implementations. The language supports high-level control flows where complex synchronization conditions can be expressed using high-level queries, especially logic…
Afshin Zafari, Elisabeth Larsson, Martin Tillenius
Current high-performance computer systems used for scientific computing typically combine shared memory computational nodes in a distributed memory environment. Extracting high performance from these complex systems requires tailored approaches. Task based parallel programming has been successful both in simplifying…
Łukasz Świerczewski
—Paper describes the theoretical and practical aspects of the proposed model that uses distributed computing to a global network of Internet communication. Distributed computing are widely used in modern solutions such as research, where the requirement is very high processing power, which can not be placed in one…
James Hanlon, Simon Hollis, David C. May
—The ability to express a program as a hierarchical composition of parts is an essential tool in managing the complexity of software and a key abstraction this provides is to separate the representation of data from the computation. Many current parallel programming models use a shared memory model to provide data…
Sachin Lakra, T. V. Prasad, Shree Harsh Atrey, Deepak Kumar Sharma
This paper makes an attempt to analyze the Activeness of a Distributed Object Oriented Component Library (DOOCL) and develops a software metric called Distributed Component Activeness Quotient(DCAQ) which is defined as the degree of readiness of a DOOCL. The advantages of the DCAQ include a possible comparison between…
Aneesh Khole, Atharva Thakar, Avadhoot Kulkarni, Hrithik Jadhav + 2 more
'Shreyas Shende' 'Varad Karajkhede'] Abstract— Computer systems have evolved over the years starting from sizable, single-user, slow, and expensive machines to multi-user, fast, cheaper, and small-sized machines. The use of multi-user computer networks has given rise to a new paradigm of computing known as Distributed…