6796 search results - page 1078 / 1360 » Java for Embedded Systems |
122
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
116
Voted
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
161
click to vote
ICMI
2003
Springer
15 years 9 months ago
2003
Springer
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
153
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Software pipelining and unfolding are commonly used techniques to increase parallelism for DSP applications. However, these techniques expand the code size of the application sign...
128
click to vote
ESWS
2010
Springer
15 years 9 months ago
2010
Springer
Now motivated also by the partial support of major search engines, hundreds of millions of documents are being published on the web embedding semi-structured data in RDF, RDFa and ...