Sciweavers

2449 search results - page 129 / 490
» Tensor Embedding Methods
Sort
View
105
Voted
DATE
2003
IEEE
118views Hardware» more  DATE 2003»
15 years 7 months ago
Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
Sharath Kodase, Shige Wang, Kang G. Shin
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 7 months ago
Taming the component timing: A CBD methodology for real-time embedded systems
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
DATE
2002
IEEE
153views Hardware» more  DATE 2002»
15 years 7 months ago
Low Power Embedded Software Optimization Using Symbolic Algebra
The market demand for portable multimedia applications has exploded in the recent years. Unfortunately, for such applications current compilers and software optimization methods o...
Armita Peymandoust, Tajana Simunic, Giovanni De Mi...
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
15 years 6 months ago
Embedding Chaos
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
Natalia Sidorova, Martin Steffen
120
Voted
DATE
2004
IEEE
177views Hardware» more  DATE 2004»
15 years 6 months ago
Adaptive Prefetching for Multimedia Applications in Embedded Systems
This paper presents a new and simple prefetching mechanism to improve the memory performance of multimedia applications. This method adapts the memory access mechanism to the acce...
Hassan Sbeyti, Smaïl Niar, Lieven Eeckhout