2523 search results - page 173 / 505 » Correct Development of Embedded Systems |
129
click to vote
IMCSIT
2010
15 years 24 days ago
2010
We present a dialogue system for exercising the German subordinate clause word order. The pedagogical methodology we adopt is based on focused tasks: the targeted linguistic struct...
CF
2004
ACM
15 years 8 months ago
2004
ACM
This presentation urges for creating more awareness of the impact of configware engineering onto embedded system development and examines the requirements of overdue CSE curricula...
122
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
147
click to vote
LCTRTS
2009
Springer
15 years 9 months ago
2009
Springer
Dynamic binary translation (DBT) can provide security, virtualization, resource management and other desirable services to embedded systems. Although DBT has many benefits, its r...
ISCAS
2008
IEEE
15 years 9 months ago
2008
IEEE
— In recent years there have been an increasing number of research groups that have begun to develop multi-chip address-event systems. The communication protocol used to transmit...