Sciweavers

617 search results - page 37 / 124
» On the design of hybrid peer-to-peer systems
Sort
View
CONCUR
2006
Springer
14 years 21 days ago
Modeling Timed Concurrent Systems
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Le...
ISLPED
2007
ACM
102views Hardware» more  ISLPED 2007»
13 years 10 months ago
Single inductor, multiple input, multiple output (SIMIMO) power mixer-charger-supply system
A hybrid energy source has become a necessary solution for micro-scale applications, like wireless sensors, because of small form factor and extended lifetime requirements. Conven...
Min Chen, Gabriel A. Rincón-Mora
UIST
2009
ACM
14 years 3 months ago
Bonfire: a nomadic system for hybrid laptop-tabletop interaction
We present Bonfire, a self-contained mobile computing system that uses two laptop-mounted laser micro-projectors to project an interactive display space to either side of a laptop...
Shaun K. Kane, Daniel Avrahami, Jacob O. Wobbrock,...
ENDM
2000
174views more  ENDM 2000»
13 years 8 months ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein
DAC
2007
ACM
14 years 10 months ago
Dynamic Power Management with Hybrid Power Sources
DPM (Dynamic Power Management) is an effective technique for reducing the energy consumption of embedded systems that is based on migrating to a low power state when possible. Whi...
Jianli Zhuo, Chaitali Chakrabarti, Kyungsoo Lee, N...