7429 search results - page 234 / 1486 » Embedded System Update |
217
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 7 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
172
click to vote
HICSS
2007
IEEE
16 years 23 days ago
2007
IEEE
Checkpointing is a commonly used approach to provide fault-tolerance and improve system dependability. However, using a constant and preconfigured checkpointing frequency may comp...
180
click to vote
SUTC
2006
IEEE
16 years 13 days ago
2006
IEEE
Energy efficient office lighting systems can save 40% in electricity consumption in areas that receive significant amounts of daylight. In spite of the savings they can generate, ...
164
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes an approach to carry out performance analysis on systems which combine two major characteristics: real-time behaviour and parallel computational structure. It ...
162
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
Complex design, targeting System-on-Chip based on reconfigurable architectures, still lacks a generalized methodology allowing both the automatic derivation of a complete system s...