Sciweavers

1885 search results - page 258 / 377
» Optimization of Component Connections for an Embedded Compon...
Sort
View
145
Voted
EMSOFT
2006
Springer
15 years 8 months ago
Modeling a system controller for timing analysis
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
Stephan Thesing
SOFSEM
2007
Springer
15 years 10 months ago
Games, Time, and Probability: Graph Models for System Design and Analysis
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
Thomas A. Henzinger
146
Voted
MIXER
2004
15 years 6 months ago
Design Patterns for Augmented Reality Systems
For documentation and development of augmented reality (AR) systems, we propose the use of design patterns. Patterns are structured descriptions of successfully applied problem-so...
Asa MacWilliams, Thomas Reicher, Gudrun Klinker, B...
ISLPED
2009
ACM
111views Hardware» more  ISLPED 2009»
15 years 11 months ago
Tracking the power in an enterprise decision support system
Enterprises rely on decision support systems to influence critical business choices. At the same time, IT-related power costs are growing and are a key concern for enterprise exe...
Justin Meza, Mehul A. Shah, Parthasarathy Ranganat...
JPDC
2006
112views more  JPDC 2006»
15 years 4 months ago
CEFT: A cost-effective, fault-tolerant parallel virtual file system
The vulnerability of computer nodes due to component failures is a critical issue for cluster-based file systems. This paper studies the development and deployment of mirroring in...
Yifeng Zhu, Hong Jiang