Sciweavers

864 search results - page 26 / 173
» codes 2003
Sort
View
123
Voted
WORDS
2003
IEEE
15 years 8 months ago
Input-Dependency Analysis for Hard Real-Time Software
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
Jan Gustafsson, Björn Lisper, Raimund Kirner,...
PDP
2003
IEEE
15 years 8 months ago
Building Grid MPI Applications from Modular Components
Coupling grid applications developed by different teams requires code modification and high S/W engineering effort. In the Ensemble methodology message passing components are deve...
Yiannis Cotronis
ICIP
2002
IEEE
16 years 4 months ago
Residual image coding for stereo image compression
One main focus of research in stereo image coding has been disparity estimation, a technique used to reduce the coding rate by taking advantage of the redundancy in a stereo image ...
Kenneth Zeger, Tamás Frajka
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 8 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
PPPJ
2003
ACM
15 years 8 months ago
Towards the systematic use of interfaces in JAVA programming
JAVA’s interface construct is widely perceived as a weak surrogate for multiple inheritance. Consequently, it should come as no surprise that despite their potential for writing...
Friedrich Steimann, Wolf Siberski, Thomas Küh...