Sciweavers

5740 search results - page 264 / 1148
» Dynamic Distributed BackJumping
Sort
View
TACS
2001
Springer
15 years 11 months ago
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa
ICCAD
2003
IEEE
142views Hardware» more  ICCAD 2003»
16 years 3 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
ICC
2009
IEEE
147views Communications» more  ICC 2009»
16 years 1 months ago
A Distributed Protocol for Virtual Device Composition in Mobile Ad Hoc Networks
— The dynamic composition of systems of networked appliances, or virtual devices, in MANETs, enables users to generate, on-the-fly, complex strong specific systems. Current work ...
Eric Karmouch, Amiya Nayak
GLOBECOM
2009
IEEE
16 years 1 months ago
A Distributed Constraint Satisfaction Problem for Virtual Device Composition in Mobile Ad Hoc Networks
— The dynamic composition of systems of networked appliances, or virtual devices, enables users to generate complex strong specific systems. Current prominent MANET-based composi...
Eric Karmouch, Amiya Nayak
DATE
2007
IEEE
90views Hardware» more  DATE 2007»
16 years 29 days ago
Bus access optimisation for FlexRay-based distributed embedded systems
FlexRay will very likely become the de-facto standard for in-vehicle communications. Its main advantage is the combination of high speed static and dynamic transmission of message...
Traian Pop, Paul Pop, Petru Eles, Zebo Peng