Sciweavers

6796 search results - page 388 / 1360
» Java for Embedded Systems
Sort
View
EUROMICRO
2009
IEEE
15 years 11 months ago
A Component-Based Technology for Hardware and Software Components
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
Luka Lednicki, Ana Petricic, Mario Zagar
LCTRTS
2004
Springer
15 years 10 months ago
Flattening statecharts without explosions
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
Andrzej Wasowski
ICPR
2002
IEEE
15 years 9 months ago
A Robust Approach for Recognition of Text Embedded in Natural Scenes
In this paper, we propose a robust approach for recognition of text embedded in natural scenes. Instead of using binary information as most other OCR systems do, we extract featur...
Jing Zhang, Xilin Chen, Andreas Hanneman, Jie Yang...
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
15 years 9 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
DATE
2009
IEEE
137views Hardware» more  DATE 2009»
15 years 11 months ago
Componentizing hardware/software interface design
Abstract—Building highly optimized embedded systems demands hardware/software (HW/SW) co-design. A key challenge in co-design is the design of HW/SW interfaces, which is often a ...
Kecheng Hao, Fei Xie