Sciweavers

1704 search results - page 248 / 341
» Design of a Concurrent and Distributed Language
Sort
View
LCTRTS
2001
Springer
15 years 2 months ago
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
FORTE
2003
14 years 11 months ago
Behavioural Contracts for a Sound Assembly of Components
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
Cyril Carrez, Alessandro Fantechi, Elie Najm
ROOM
2000
14 years 11 months ago
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
Malcolm Tyrrell, Andrew Butterfield, Alexis Donnel...
PUC
2010
105views more  PUC 2010»
14 years 4 months ago
Interactive visual supports for children with autism
Interventions to support children with autism often include the use of visual supports, which are cognitive tools to enable learning and the production of language. Although visual...
Gillian R. Hayes, Sen H. Hirano, Gabriela Marcu, M...
EUROSYS
2007
ACM
15 years 7 months ago
Tashkent+: memory-aware load balancing and update filtering in replicated databases
We present a memory-aware load balancing (MALB) technique to dispatch transactions to replicas in a replicated database. Our MALB algorithm exploits knowledge of the working sets ...
Sameh Elnikety, Steven G. Dropsho, Willy Zwaenepoe...