1312 search results - page 101 / 263 » Embedded contract languages |
155
click to vote
ICMI
2003
Springer
15 years 8 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...
129
click to vote
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
There is an increasing research interest in system level design languages which can carry designers from specification to implementation of system-on-a-chip. Unfortunately, two of...
126
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
147
click to vote
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
115
click to vote
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...