Sciweavers

272 search results - page 26 / 55
» Communicating sequential processes for distributed constrain...
Sort
View
ICCAD
2003
IEEE
142views Hardware» more  ICCAD 2003»
15 years 6 months ago
Energy Optimization of Distributed Embedded Processors by Combined Data Compression and Functional Partitioning
Transmitting compressed data can reduce inter-processor communication traffic and create new opportunities for DVS (dynamic voltage scaling) in distributed embedded systems. Howe...
Jinfeng Liu, Pai H. Chou
85
Voted
FMOODS
2003
14 years 11 months ago
Design and Verification of Distributed Multi-media Systems
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
David H. Akehurst, John Derrick, A. Gill Waters
PADS
2003
ACM
15 years 2 months ago
HLA-based Adaptive Distributed Simulation of Wireless Mobile Systems
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...
Luciano Bononi, Gabriele D'Angelo, Lorenzo Donatie...
CP
1998
Springer
15 years 1 months ago
Modelling CSP Solution Algorithms with Petri Decision Nets
The constraint paradigm provides powerful concepts to represent and solve different kinds of planning problems, e. g. factory scheduling. Factory scheduling is a demanding optimiz...
Stephan Pontow
IPPS
1998
IEEE
15 years 1 months ago
An Object Model for Multiprogramming
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...
Jayadev Misra