Reflexes: Abstractions for Integrating Highly Responsive Tasks into Java Applications
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.
The execution of formal specifications is important for verification, validation and animation purposes. This thesis describes transformation of CO-OPN specifications in executable code. The original goal of this transformation was validation by prototypin ...
The extraction of planar sections from volume images is the most commonly used technique for inspecting and visualizing anatomic structures. We propose to generalize the concept of planar section to the extraction of curved cross-sections (free form surfac ...
Institute of Electrical and Electronics Engineers Computer Society2003
We present a new, robust, computational procedure for tracking fluorescent markers in time-lapse microscopy. The algorithm is optimized for finding the time-trajectory of single particles in very noisy dynamic (two- or three-dimensional) image sequences. I ...
In this paper we present a toolset aimed at the analysis of programs written in Java and a new kind of active objects. The toolset detects if the program contains deadlocks and may provide a CCS description along with a labeled transition system of the pro ...
We present new interaction and visualization paradigms relying on free form surfaces for studying and exploring human anatomy. We propose an interface for building three-dimensional anatomical scenes incorporating 3D anatomical organ models, freely orienta ...
The Visible Human Slice Server (http://visiblehuman.epfl.ch) started offering its slicing services at the end of June 1998. From that date until the end of May, more than 280'000 slices were extracted from the Visible Man, by laymen interested in anatomy, ...
Society of Photo-Optical Instrumentation Engineers, Bellingham, WA, USA2000
Resource management is essential to build reliable middleware and to host potentially untrusted software components. Resource accounting allows to study and optimize program performance and to charge users for the resource consumption of their deployed com ...
This short report summarizes the contribution of the project 'Java for teaching and research'. A website has been created to allow interested users to download the material produced during the project. The site is reachable at http://lcavwww.epfl.ch/~balme ...
The visible human slice server started offering its slicing services at the end of June 1998. From that date until the end of May, more than 280000 slices were extracted from the Visible Man, by laymen interested in anatomy, by students and by specialists. ...
CoopnBuilder is an integrated development environment (IDE) for Concurrent Object Oriented Petri Nets (COOPN). It comes with a complete set of tools enabling the user to view, edit, check, simulate and generate code from CO-OPN specifications. The Code Gen ...
