Concept

Indeterminacy in concurrent computation

Publications associées (27)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Protocol composition frameworks and modular group communication

Sergio Mena

It is noticeable that our society is increasingly relying on computer systems. Nowadays, computer networks can be found at places where it would have been unthinkable a few decades ago, supporting in some cases critical applications on which human lives ma ...

EPFL2006

Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML

Shane Sendall

Despite advances in implementation technologies of distributed systems during the last few years, little progress has been made on specification techniques for describing distributed systems in software development practice. The contribution of this paper ...

Springer Verlag2001

Formal Treatment of Data Structures in Concurrency Models

The problem of real size system modelling with basic concurrency models like transition systems, Petri nets or process algebra is that there is no possibility to model easily the system data structures. Algebraic specification is a method well adapted to t ...

1996

Abstractions pour la Programmation Concurrente dans GARF

Rachid Guerraoui, Xavier Défago

GARF est un environnement à objets permettant la programmation modulaire d'applications distribuées résistantes aux pannes. Cet article présente la bibliothèque de classes offertes au programmeur par GARF, pour gérer l'expression de la concurrence et de so ...

1994

Lisp Extensions for Multiprocessing

James Richard Larus

Extensions to Common Lisp for concurrent computation on multiprocessors are discussed. Functions for process creation, communication, and synchronization are described. Process objects create multiple threads of control. Processes are lightweight so that p ...

IEEE1989

Restructuring Lisp Programs for Concurrent Execution

James Richard Larus

This paper describes the techniques that the program transformation system CURARE uses to restructure Lisp programs for concurrent execution in multiprocessor Lisp systems and discusses the problems inherent in producing concurrent programs in a flexible a ...

ACM1988

A discrete Fourier-cosine transform chip

Martin Vetterli

An 8-point Fourier-cosine transform chip designed for a data rate of 100 Mbits/s is described. The top-down design is presented step by step, including algorithm modification for VLSI suitability, architectural choices, testing overhead, internal precision ...

1986