Sciweavers

4971 search results - page 354 / 995
» Observation systems
Sort
View
IPPS
1998
IEEE
15 years 11 months ago
Efficient Fine-Grain Thread Migration with Active Threads
Thread migration is established as a mechanism for achieving dynamic load sharing. However, fine-grained migration has not been used due to the high thread and messaging overheads...
Boris Weissman, Benedict Gomes, Jürgen Quitte...
NIPS
2007
15 years 8 months ago
Variational Inference for Diffusion Processes
Diffusion processes are a family of continuous-time continuous-state stochastic processes that are in general only partially observed. The joint estimation of the forcing paramete...
Cédric Archambeau, Manfred Opper, Yuan Shen...
NORDICHI
2004
ACM
16 years 6 days ago
Requirements for a multimedia museum environment
In this paper we describe a two-part study that was used to establish the requirements for an interactive museum environment for children aged between 5 and 10. The paper outlines...
Emanuela Mazzone, Matthew Horton, Janet C. Read
ENTCS
2008
98views more  ENTCS 2008»
15 years 6 months ago
Modifying Contracts with Larissa Aspects
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. F...
David Stauch
FMSB
2008
199views Formal Methods» more  FMSB 2008»
15 years 8 months ago
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu...