848 search results - page 108 / 170 » A Generative Programming Approach to Developing DSL Compiler... |
AOSD
2010
ACM
14 years 3 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
CP
1998
Springer
14 years 1 months ago
1998
Springer
In a faulty digital circuit, many (single) faulty gates may explain the observed findings. In this paper we are mostly concerned, not in obtaining alternative diagnoses, but rathe...
JSW
2007
13 years 8 months ago
2007
— Web services composition is a very active area of research due to the growing interest of public and private organizations in services integration and/or low cost development o...
AUTOMATICA
2007
13 years 9 months ago
2007
This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...