Sciweavers

5186 search results - page 297 / 1038
» Embedded Systems
Sort
View
DIAL
2006
IEEE
130views Image Analysis» more  DIAL 2006»
15 years 10 months ago
Refinement of digitized documents through recognition of mathematical formulae
We are developing a recognition system, named `Infty', for scientific documents including those with mathematical formulae. In this paper, we propose a new system that can re...
Toshihiro Kanahori, Masakazu Suzuki
FOSSACS
2011
Springer
14 years 10 months ago
Ordinal Theory for Expressiveness of Well Structured Transition Systems
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
Rémi Bonnet, Alain Finkel, Serge Haddad, Fe...
DATE
2004
IEEE
147views Hardware» more  DATE 2004»
15 years 10 months ago
Automatic Tuning of Two-Level Caches to Embedded Applications
The power consumed by the memory hierarchy of a microprocessor can contribute to as much as 50% of the total microprocessor system power, and is thus a good candidate for optimiza...
Ann Gordon-Ross, Frank Vahid, Nikil Dutt
WOSP
2004
ACM
16 years 2 days ago
Early-stage performance modeling and its application for integrated embedded control software design
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
Shige Wang, Kang G. Shin
DATE
2006
IEEE
71views Hardware» more  DATE 2006»
16 years 21 days ago
Exploring "temperature-aware" design in low-power MPSoCs
The power density inside high performance systems continues to rise with every process technology generation, thereby increasing the operating temperature and creating “hot spot...
Giacomo Paci, Paul Marchal, Francesco Poletti, Luc...