Sciweavers

3736 search results - page 173 / 748
» Hand-Writing Program Generator Generators
Sort
View
EMSOFT
2003
Springer
15 years 10 months ago
Schedule-Carrying Code
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan...
EUROPAR
2005
Springer
15 years 10 months ago
The Periodic-Linear Model of Program Behavior Capture
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
Philippe Clauss, Bénédicte Kenmei, J...
GECCO
2004
Springer
15 years 10 months ago
Program Evolution by Integrating EDP and GP
This paper discusses the performance of a hybrid system which consists of EDP and GP. EDP, Estimation of Distribution Programming, is the program evolution method based on the prob...
Kohsuke Yanai, Hitoshi Iba
PPDP
2009
Springer
15 years 11 months ago
Dependent type inference with interpolants
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
Hiroshi Unno, Naoki Kobayashi
PADL
2004
Springer
15 years 10 months ago
Compositional Model-Views with Generic Graphical User Interfaces
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...
Peter Achten, Marko C. J. D. van Eekelen, Marinus ...