Sciweavers

3341 search results - page 127 / 669
» A Communication Virtual Machine
Sort
View
CONCUR
2000
Springer
15 years 10 months ago
Formal Models for Communication-Based Design
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, L...
AOSD
2007
ACM
15 years 10 months ago
A distributed dynamic aspect machine for scientific software development
This position paper proposes the use of an event-based dynamic AOP machine as an infrastructure for interactive development of high performance scientific software. Advice codes i...
Chanwit Kaewkasi, John R. Gurd
FECS
2010
161views Education» more  FECS 2010»
15 years 4 months ago
Distributed Laboratories: A Finite State Machine Module
: This paper presents an experimental module for teaching finite state machine concepts. This module is designed for use in a lecture-based course that does not currently have a la...
Bonnie Ferri, Jill Auerbach, Hongyi Qu
CHI
1997
ACM
15 years 10 months ago
Crowded Collaborative Virtual Environments
We introduce a framework for supporting crowds of participants in collaborative virtual environments (CVEs). The framework is realised as an extension to our previous spatial mode...
Steve Benford, Chris Greenhalgh, David Lloyd
DATE
2005
IEEE
128views Hardware» more  DATE 2005»
15 years 12 months ago
Design of a Virtual Component Neutral Network-on-Chip Transaction Layer
Research studies have demonstrated the feasibility and advantages of Network-on-Chip (NoC) over traditional bus-based architectures but have not focused on compatibility communica...
Philippe Martin