Sciweavers

864 search results - page 26 / 173
» codes 2003
Sort
View
80
Voted
WORDS
2003
IEEE
15 years 2 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 2 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
79
Voted
ICIP
2002
IEEE
15 years 11 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 2 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 2 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...