14244 search results - page 2434 / 2849 » Modeling Program Predictability |
128
click to vote
OOPSLA
2004
Springer
15 years 9 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...
125
click to vote
RTA
2004
Springer
15 years 9 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...
105
click to vote
SAMOS
2004
Springer
15 years 9 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...
122
click to vote
SAT
2004
Springer
15 years 9 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...
131
click to vote
CLUSTER
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a comparative study of the communication middleware systems suitable for aggregating computational clusters with heterogeneous incompatible SANs into a common ...