5186 search results - page 234 / 1038 » Embedded Systems |
155
click to vote
LCTRTS
2004
Springer
15 years 12 months ago
2004
Springer
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...
171
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
—This paper describes embedding a mathematical formula recognition module into the OCR system OCRopus aiming at developing a OCR system for scientific and technical documents wh...
190
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
Modern processor architectures call for software that is highly tuned to an unpredictable operating environment. Processlevel virtualization systems allow existing software to ada...
210
click to vote
DSVIS
2001
Springer
15 years 11 months ago
2001
Springer
In a time where mobile computing devices and embedded systems gain importance, too much time is spent to reinventing user interfaces for each new device. To enhance future extensib...
180
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...