7092 search results - page 461 / 1419 » Parallelizing constraint programs |
122
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
136
click to vote
LCPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we present an implementation of May Happen in Parallel analysis for Java that attempts to address some of the practical implementation concerns of the origi...
131
click to vote
ENTCS
2007
15 years 3 months ago
2007
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising fro...
166
click to vote
SIPS
2008
IEEE
15 years 10 months ago
2008
IEEE
The development of embedded system has been toward the multicore architectures in the recent years. It raises concerns in the community of supporting programming models and langua...
132
click to vote
ECOOPW
1997
Springer
15 years 8 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...