6201 search results - page 101 / 1241 » Implementation of Axiomatic Language |
215
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
132
click to vote
ACSD
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
106
click to vote
PVM
2005
Springer
15 years 9 months ago
2005
Springer
llc is a language designed to extend OpenMP to distributed memory systems. Work in progress on the implementation of a compiler that translates llc code and targets distributed mem...
122
click to vote
ADAEUROPE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
134
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...