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 9 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 29 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 7 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 9 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...