2881 search results - page 499 / 577 » Model Checking for Programming Languages using Verisoft |
109
Voted
JAVA
2001
Springer
15 years 7 months ago
2001
Springer
CCJ is a communication library that adds MPI-like collective operations to Java. Rather than trying to adhere to the precise MPI syntax, CCJ aims at a clean integration of collect...
171
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Scalable heterogeneous computing systems, which are composed of a mix of compute devices, such as commodity multicore processors, graphics processors, reconfigurable processors, ...
134
click to vote
CONTEXT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
135
Voted
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
182
Voted
CP
2004
Springer
15 years 8 months ago
2004
Springer
The success of stochastic algorithms is often due to their ability to effectively amplify the performance of search heuristics. This is certainly the case with stochastic sampling ...