6796 search results - page 560 / 1360 » Java for Embedded Systems |
210
click to vote
LCTRTS
2005
Springer
16 years 13 days ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
238
click to vote
PPOPP
2005
ACM
16 years 15 days ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
212
click to vote
TIC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
172
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— The amount of time and resources that have to be spent on debugging of embedded cores continuously increases. Approaches valid 10 years ago can no longer be used due to the var...
195
click to vote
EUROPAR
2004
Springer
16 years 10 days ago
2004
Springer
Since embedded systems require ever more compute power, SMT processors are viable candidates for future high performance embedded processors. However, SMTs exhibit unpredictable pe...