3713 search results - page 441 / 743 » Constructing a Calculus of Programs |
147
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
123
click to vote
GPCE
2003
Springer
15 years 9 months ago
2003
Springer
Multimedia stream processing is a rapidly evolving domain which requires much software development and expects high performance. Developing a streaming application often involves l...
164
click to vote
KBSE
2002
IEEE
15 years 9 months ago
2002
IEEE
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
147
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
149
click to vote
SARA
2009
Springer
15 years 9 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...