2523 search results - page 285 / 505 » Correct Development of Embedded Systems |
102
Voted
IJCAI
2007
15 years 4 months ago
2007
The action language Golog has been applied successfully to the control of robots, among other things. Perhaps its greatest advantage is that a user can write programs which constr...
139
Voted
SDL
2001
15 years 4 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
112
Voted
ASAP
2007
IEEE
15 years 2 months ago
2007
IEEE
Commercial designs are integrating from 10 to 100 embedded functional and storage blocks in a single system on chip (SoC) currently, and the number is likely to increase significa...
112
Voted
PAMI
2002
15 years 2 months ago
2002
This paper describes a handwritten character string recognition system for Japanese mail address reading on very large vocabulary. The address phrases are recognized as a whole bec...
120
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...