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.
The functional complexity of hardware and software systems is growing exponentially. This demands an integration of system validation in the design phase to guarantee that a concrete implementation conforms to the modeled requirements. System validation pr ...
This paper presents a novel extension to the C++ programming language, allowing powerful expression of concurrency and synchronization in an object-oriented environment. The principle advantages of this extension over existing alternatives are its powerful ...
Publ by Elsevier Science Publishers B.V., Amsterdam, Neth1994
Discusses the goals, components, and concepts of the CAMPUS project, which aims at providing an intelligent broadband ISDN server, using previously developed building blocks, like a switching fabric, ATM interfaces, and host interfaces. Intelligent network ...
The validation of such key properties of communication protocols as liveness, safety, fairness, and performance is considered. In particular, an approach that achieves the validation of the safety properties using CCS combined with assertion proofs is pres ...
IEEE1987
This paper presents a novel development method for interactive and distributed applications. The benefit that this method provides is that the design gives clear guidance towards the implementation. The method is based on three main elements: a concept of ...
2003
Current techniques for handling events, such as the 'callback functions' approach, present some limitations to the development of Network Software, Communication Layered Protocols, Graphical Interfaces for Real-Time Applications and Multimedia. These techn ...
IEEE1994
This paper presents a proposal of a language, based on synchronous active objects that introduces the CSP primitives into Java. The proposal does not use channels to realise the inter-process communications, but is shown to offer the same expressive power ...
IOS Press2002
Synchronous C++ defines active objects that contain their own execution threads and can communicate with each other by means of synchronizing method calls. The author shows how to model programs in sC++ and compares sC++ with event-driven programming. ...
This paper discusses several possibilities of implementing the behavior of an object-oriented application. It assesses the use of the callback or inverse-control programming paradigm, and opposes it to a direct programming style. It presents two examples o ...
The following topics are dealt with: features and functionalities; modeling and evaluation systems; architectures for intelligent networks; implementation of intelligent networks; intelligent network software environments; and performance analysis ...
