Sciweavers

3341 search results - page 127 / 669
» A Communication Virtual Machine
Sort
View
134
Voted
CONCUR
2000
Springer
15 years 7 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...
132
Voted
AOSD
2007
ACM
15 years 7 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
155
Voted
FECS
2010
161views Education» more  FECS 2010»
15 years 1 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
137
Voted
CHI
1997
ACM
15 years 7 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
89
Voted
DATE
2005
IEEE
128views Hardware» more  DATE 2005»
15 years 9 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