1312 search results - page 190 / 263 » Embedded contract languages |
120
click to vote
WORDS
2003
IEEE
15 years 8 months ago
2003
IEEE
The security features of current middleware platforms, like Enterprise Java Beans and CORBA, are either simple and limited or complex and difficult to use. In both cases are the ...
150
click to vote
WORDS
2003
IEEE
15 years 8 months ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
105
click to vote
WORDS
2003
IEEE
15 years 8 months ago
2003
IEEE
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
114
click to vote
APLAS
2003
ACM
15 years 8 months ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
130
Voted
CC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In DSP processors, minimizing the amount of address calculations is critical for reducing code size and improving performance since studies of programs have shown that in...