10072 search results - page 1642 / 2015 » Composition of Model Programs |
156
click to vote
RTA
2004
Springer
16 years 4 days 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...
136
click to vote
SAMOS
2004
Springer
16 years 4 days 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...
155
click to vote
SAT
2004
Springer
16 years 4 days 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...
164
click to vote
CLUSTER
2003
IEEE
16 years 2 days 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 ...
192
click to vote
EDOC
2003
IEEE
16 years 2 days ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...