Sciweavers

1301 search results - page 133 / 261
» Design and architectures for dependable embedded systems
Sort
View
DAC
2010
ACM
14 years 26 days ago
Cyber-physical energy systems: focus on smart buildings
Operating at the intersection of multiple sensing and control systems designed for occupant comfort, performability and operational efficiency, modern buildings represent a protot...
Jan Kleissl, Yuvraj Agarwal
DAC
2006
ACM
14 years 10 months ago
Efficient detection and exploitation of infeasible paths for software timing analysis
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, T...
INFSOF
2006
66views more  INFSOF 2006»
13 years 9 months ago
Scenario-based multitasking for real-time object-oriented models
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
Saehwa Kim, Jiyong Park, Seongsoo Hong
DAC
2003
ACM
14 years 10 months ago
An IDF-based trace transformation method for communication refinement
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
Andy D. Pimentel, Cagkan Erbas
VL
2005
IEEE
137views Visual Languages» more  VL 2005»
14 years 2 months ago
CAM: A Mobile Paper-Based Information Services Architecture for Remote Rural Areas in the Developing World
During our work with microfinance groups in rural India, we found that paper plays a crucial role in many local information practices. However, paperbased record keeping can be in...
Tapan S. Parikh