8109 search results - page 1242 / 1622 » A Model of Component-Based Programming |
136
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We ...
151
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...
144
click to vote
RTA
2004
Springer
15 years 11 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
123
click to vote
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents some interesting concepts of static dataflow machines that can be used by reconfigurable computing architectures. We introduce some data-driven reconf...
140
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...