Sciweavers

3341 search results - page 598 / 669
» A Communication Virtual Machine
Sort
View
DATE
2009
IEEE
107views Hardware» more  DATE 2009»
14 years 3 months ago
User-centric design space exploration for heterogeneous Network-on-Chip platforms
- In this paper, we present a design methodology for automatic platform generation of future heterogeneous systems where communication happens via the Network-onChip (NoC) approach...
Chen-Ling Chou, Radu Marculescu
GLOBECOM
2009
IEEE
14 years 3 months ago
Movement Recognition Using Body Area Networks
—Significant research has been done on recognizing the daily activities using acceleration data but few works have focused on classifying the movements comprising an activity du...
John Paul Varkey, Dario Pompili
SEFM
2009
IEEE
14 years 3 months ago
Specifying Interacting Components with Coordinated Concurrent Scenarios
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
Prakash Chandrasekaran, Madhavan Mukund
TPHOL
2009
IEEE
14 years 3 months ago
Psi-calculi in Isabelle
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
Jesper Bengtson, Joachim Parrow
EUROPAR
2009
Springer
14 years 3 months ago
MPI Applications on Grids: A Topology Aware Approach
Porting on grids complex MPI applications involving collective communications requires significant program modification, usually dedicated to a single grid structure. The diffi...
Camille Coti, Thomas Hérault, Franck Cappel...