Sciweavers

1261 search results - page 41 / 253
» Extending the Capabilities of Component Models for Embedded ...
Sort
View
EMSOFT
2004
Springer
14 years 2 months ago
An experimental analysis of the effect of the operating system on memory performance in embedded multimedia computing
As embedded systems grow in size and complexity, an operating system has become essential to simplify the design of system software, for which more accurate analysis of its impact...
Sangsoo Park, Yonghee Lee, Heonshik Shin
SGAI
2007
Springer
14 years 3 months ago
Extending Jess to Handle Uncertainty
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
David Corsar, Derek H. Sleeman, Anne McKenzie
IPPS
2002
IEEE
14 years 2 months ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders
ISLPED
2006
ACM
106views Hardware» more  ISLPED 2006»
14 years 3 months ago
Maximizing the lifetime of embedded systems powered by fuel cell-battery hybrids
—Fuel cell (FC) is a viable alternative power source for portable applications; it has higher energy density than traditional Li-ion battery and thus can achieve longer lifetime ...
Jianli Zhuo, Chaitali Chakrabarti, Naehyuck Chang,...
DT
2006
180views more  DT 2006»
13 years 9 months ago
A SystemC Refinement Methodology for Embedded Software
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
Jérôme Chevalier, Maxime de Nanclas, ...