6201 search results - page 1032 / 1241 » Implementation of Axiomatic Language |
173
click to vote
LCTRTS
2005
Springer
16 years 2 days ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
171
click to vote
PATMOS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Modern embedded devices (e.g. PDAs, mobile phones) are now incorporating Java as a very popular implementation language in their designs. These new embedded systems inclu...
191
click to vote
PPDP
2005
Springer
16 years 1 days ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
147
click to vote
SCOPES
2005
Springer
16 years 1 days ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
149
click to vote
ACII
2005
Springer
16 years 1 days ago
2005
Springer
Curtin University’s Talking Heads (TH) combine an MPEG-4 compliant Facial Animation Engine (FAE), an Text To Emotional Speech Synthesiser (TTES), a multi-modal Dialogue Manager (...