5239 search results - page 172 / 1048 » Model-Integrated Embedded Systems |
MOC
2000
13 years 10 months ago
2000
Abstract. Finite element approximations for the Dirichlet problem associated to a second
EIT
2008
IEEE
14 years 5 days ago
2008
IEEE
Abstract--In the decade since the concept was publicly introduced, power analysis attacks on cryptographic systems have become an increasingly studied topic in the computer securit...
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
13 years 12 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...
HICSS
2007
IEEE
14 years 4 months 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...
SUTC
2006
IEEE
14 years 4 months 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, ...