Sciweavers

173 search results - page 9 / 35
» Free energy computation by controlled Langevin dynamics
Sort
View
CDC
2009
IEEE
141views Control Systems» more  CDC 2009»
14 years 1 days ago
Input-to-state stability of self-triggered control systems
— Event-triggered and self-triggered control have recently been proposed as an alternative to periodic implementations of feedback control laws over sensor/actuator networks. In ...
Manuel Mazo, Paulo Tabuada
DAC
1999
ACM
14 years 8 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno
PLDI
2011
ACM
12 years 10 months ago
EnerJ: approximate data types for safe and general low-power computation
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
Adrian Sampson, Werner Dietl, Emily Fortuna, Danus...
ICPR
2008
IEEE
14 years 8 months ago
An approach for dynamic combination of region and boundary information in segmentation
Image segmentation combining boundary and region information has been the subject of numerous research works in the past. This combination is usually subject to arbitrary weightin...
Djemel Ziou, Mohand Saïd Allili
MOBISYS
2009
ACM
14 years 7 months ago
Leakage-aware energy synchronization for wireless sensor networks
To ensure sustainable operations of wireless sensor systems, environmental energy harvesting has been regarded as the right solution for long-term applications. In energy-dynamic ...
Ting Zhu, Ziguo Zhong, Yu Gu, Tian He, Zhi-Li Zhan...