6796 search results - page 390 / 1360 » Java for Embedded Systems |
146
click to vote
ICPPW
2006
IEEE
15 years 10 months ago
2006
IEEE
Speech recognition has become common in many application domains, from dictation systems for professional practices to vocal user interfaces for people with disabilities or hands-...
133
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
146
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
147
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
134
click to vote
EEF
2000
15 years 8 months ago
2000
Markovian models have been used for about a century now for the evaluation of the performance and dependability of computer and communication systems. In this paper, we give a conc...