16190 search results - page 2526 / 3238 » Applicative programming with effects |
142
click to vote
ENTCS
2007
15 years 5 months ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
133
Voted
JPDC
2006
15 years 5 months ago
2006
The paper presents Heterogeneous MPI (HeteroMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the applicati...
180
click to vote
JPDC
2006
15 years 5 months ago
2006
Irregular parallel algorithms pose a significant challenge for achieving high performance because of the difficulty predicting memory access patterns or execution paths. Within an...
216
Voted
ENTCS
2007
15 years 4 months ago
2007
Guaranteeing correctness of compilation is a vital precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve tr...
132
Voted
JUCS
2006
15 years 4 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...