Sciweavers

3595 search results - page 479 / 719
» Roles of Program Extension
Sort
View
ICDCSW
2002
IEEE
15 years 11 months ago
Separating Introspection and Intercession to Support Metamorphic Distributed Systems
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
Eric P. Kasten, Philip K. McKinley, Seyed Masoud S...
ISSRE
2002
IEEE
15 years 11 months ago
Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects
In this paper we extend an earlier worst case bound reliability theory to derive a worst case reliability function R(t), which gives the worst case probability of surviving a furt...
Peter G. Bishop, Robin E. Bloomfield
TOOLS
2010
IEEE
15 years 11 months ago
Deep Meta-modelling with MetaDepth
Meta-modelling is at the core of Model-Driven Engineering, where it is used for language engineering and domain modelling. The OMG’s Meta-Object Facility is the standard framewor...
Juan de Lara, Esther Guerra
CC
2001
Springer
131views System Software» more  CC 2001»
15 years 10 months ago
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
Björn Franke, Michael F. P. O'Boyle
EUROCAST
2001
Springer
127views Hardware» more  EUROCAST 2001»
15 years 10 months ago
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
Tetsuo Ida, Mircea Marin, Taro Suzuki