Filters








95,954 Hits in 5.1 sec

Implementing Remote procedure calls

Andrew D. Birrell, Bruce Jay Nelson
1983 ACM SIGOPS Operating Systems Review  
Remote procedure calls (RPC) appear to be a useful paradig m for providing communication across a network between programs written in a high-level language.  ...  This paper describes a package providing a remote procedure call facility, the options that face the designer of such a package, and the decisions ~we made.  ...  INTRODUCTION Background The idea of remote procedure calls (hereinafter called RPC) is quite simple.  ... 
doi:10.1145/773379.806609 fatcat:tajvvi7vgjhgdihlg6haprbega

Implementing Remote procedure calls

Andrew D. Birrell, Bruce Jay Nelson
1983 Proceedings of the ninth ACM symposium on Operating systems principles - SOSP '83  
Remote procedure calls (RPC) appear to be a useful paradig m for providing communication across a network between programs written in a high-level language.  ...  This paper describes a package providing a remote procedure call facility, the options that face the designer of such a package, and the decisions ~we made.  ...  INTRODUCTION Background The idea of remote procedure calls (hereinafter called RPC) is quite simple.  ... 
doi:10.1145/800217.806609 dblp:conf/sosp/BirrellN83 fatcat:r4xhz5dcanc3ljfponv44glieu

Implementing remote procedure calls

Andrew D. Birrell, Bruce Jay Nelson
1984 ACM Transactions on Computer Systems  
Remote procedure calls (RPC) appear to be a useful paradig m for providing communication across a network between programs written in a high-level language.  ...  This paper describes a package providing a remote procedure call facility, the options that face the designer of such a package, and the decisions ~we made.  ...  INTRODUCTION Background The idea of remote procedure calls (hereinafter called RPC) is quite simple.  ... 
doi:10.1145/2080.357392 fatcat:pcafyofksvamhhtc5ehdltcugu

Towards native higher-order remote procedure calls

Olle Fredriksson, Dan R. Ghica, Bertram Wheen
2014 Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14  
It is a modernised version of SECD enriched with specialised communication features required for implementing the remote procedure call mechanism.  ...  DCESH implements a native general remote higherorder function call across node boundaries.  ...  the remote procedure call -a sort of lambda-lifting for locations.  ... 
doi:10.1145/2746325.2746332 dblp:conf/ifl/FredrikssonGW14 fatcat:reicmbtyprgexisa3ariev5jvu

Secure Implementation of Channel Abstractions (Abstract)

Martín Abadi, Cédric Fournet, Georges Gonthier
1998 Electronical Notes in Theoretical Computer Science  
Communication in distributed systems often relies on useful abstractions such as channels, remote procedure calls, and remote method invocations.  ...  The implementations of these abstractions sometimes provide security properties, in particular through encryption 7, 6,9,8,5,12,13].  ...  Communication in distributed systems often relies on useful abstractions such as channels, remote procedure calls, and remote method invocations.  ... 
doi:10.1016/s1571-0661(05)82514-9 fatcat:i4vayxs5jfho7ld5vrvx4y4ocy

Abstracts

1977 IBM Systems Journal  
There is a mechanism called the Teleprocessing Virtual Ma- chine (TPVM) which has been designed to provide remote intelligent subsys- tems with the ability to access and utilize the power of the IBM VM  ...  This paper describes the TPVM implementation and operation in a laboratory environment.  ... 
doi:10.1147/sj.164.0426 fatcat:zgl4dsfumrbsdbexodkdfsjzgu

Abstracts

1971 IBM Systems Journal  
ABSTRACTS IBM SYST J  ...  A financial analysis model has been implemented within the framework of the APL time-sharing system.  ... 
doi:10.1147/sj.104.0327 fatcat:dtcvtkg7hnfyzj7whaqb7kojni

PhD Abstracts

GRAHAM HUTTON
2018 Journal of functional programming  
As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year.  ...  In this dissertation, we present a principled way to batch procedure calls together, called the Remote Monad.  ...  Remote Procedure Calls are an integral part of the internet of things and cloud computing. However, remote procedures, by their very nature, have an expensive overhead cost of a network round trip.  ... 
doi:10.1017/s0956796818000175 fatcat:lt6u6vlagfe7jgo73cm3nax4aq

Distrbution and Abstract Types in Emerald

A. Black, N. Hutchinson, E. Jul, H. Levy, L. Carter
1987 IEEE Transactions on Software Engineering  
We are currently constructing a prototype implementation of Emerald.  ...  Index Tenns-Abstract data types, distributed operating system, distributed programming, object-oriented programming, process migration, type checking.  ...  In the Xerox Cedar System [33], a remote procedure call facility allows programs to access remote servers through standard CedarlMesa procedure calls [2] .  ... 
doi:10.1109/tse.1987.232836 fatcat:ixqayddgszfvpolsms5n6hh2l4

Language Support for Connector Abstractions [chapter]

Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
2003 Lecture Notes in Computer Science  
Our design enables a wide range of connector abstractions, including caches, events, streams, and remote method calls.  ...  These proxies encapsulate the connector code in a distributed system, allowing application components to make remote method calls using the same syntax as local calls.  ...  ArchJava's connector abstractions are well suited to implementing procedure call connectors because the interface for defining connectors reifies method calls on ports.  ... 
doi:10.1007/978-3-540-45070-2_5 fatcat:6jzj2ubchjbcjjyytjc6ovq5xi

Multitier reactive abstractions

Pascal Weisenburger
2016 Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2016  
In this paper, we present language abstractions for distributed reactive programming easing the development of such applications and supporting various distributed architectures.  ...  Data flow from one host to another needs to be modeled by remote procedure calls and callbacks.  ...  abstractions of a tied remote peer.  ... 
doi:10.1145/2984043.2984051 dblp:conf/oopsla/Weisenburger16 fatcat:rcj4vhaef5dmdkcnj3pahtsemi

Abstractions for software architecture and tools to support them

M. Shaw, R. DeLine, D.V. Klein, T.L. Ross, D.M. Young, G. Zelesnik
1995 IEEE Transactions on Software Engineering  
It supports abstract interactions such as data flow and scheduling on the same footing as simple procedure call.  ...  We sketch a model for defining architectures and present an implementation of the basic level of that model. Our purpose is to support the abstractions used in practice by software designers.  ...  Much of the experience we needed to implement the SchedProcess component in UniCon came from a collaboration with engineers, especially Raj Rajkumar, from Carnegie Mellon's Software Engineering Institute  ... 
doi:10.1109/32.385970 fatcat:p3kgclqtuzbxxafu3jkd7jdz5m

Abstract metaprolog engine

Ilyas Cicekli
1998 The Journal of Logic Programming  
Since MetaProlog is a meta-level extension of Prolog, the Warren Abstract Machine (WAM) is extended to get an efficient implementation of metalevel facilities; this extension is called the Abstract MetaProlog  ...  Since theories and proofs are main meta-level objects in MetaProlog, we discuss their representations and implementations in detail.  ...  The Abstract MetaProlog Engine (AMPE) [14, 15] , which efficiently implements meta-level facilities in MetaProlog, is an extension of the Warren Abstract Machine (WAM) [1, 41] .  ... 
doi:10.1016/s0743-1066(97)00075-7 fatcat:4mxcnrhs5rghjn3hoorq5czgoe

Infopipes: An abstraction for multimedia streaming

Andrew P. Black, Jie Huang, Rainer Koster, Jonathan Walpole, Calton Pu
2002 Multimedia Systems  
To simplify the task of building distributed streaming applications, we propose a new abstraction for information flow-Infopipes.  ...  Moreover, these objects represent communication in application-level terms, not in terms of network or process implementation.  ...  It is certainly true that an existing distributed computing platform, such as remote method invocation or remote procedure call, would allow such connections.  ... 
doi:10.1007/s005300200062 fatcat:syaoeutedjdw5ko7ualq6w6nx4

A Case Study in Automated Verification Based on Trace Abstractions

Nils Klarlund, Mogens Nielsen, Kim Sunesen
1995 BRICS Report Series  
We show in [14] how traces, i.e. finite<br />executions, and their abstractions can be described behaviorally.  ...  Our main tool is a decision procedure, Mona, for Monadic<br />Second-order Logic (M2L) on finite strings. Mona translates a formula in<br />M2L into a finite-state automaton.  ...  That is, it specifies how a local procedure call is forwarded to a remote procedure call and how the return of a remote procedure call is forwarded back as the return of the procedure call.  ... 
doi:10.7146/brics.v2i54.19955 fatcat:sudqs5eknfcjlotjll7jyem3me
« Previous Showing results 1 — 15 out of 95,954 results