2364 search results - page 227 / 473 » An Engine for Computing Well-Founded Models |
191
Voted
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
153
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
In this paper, we show how to deform a planar rational cubic based on a local interpolation constraint while retaining the qualitative shape of the curve. An impedance-type, paral...
180
Voted
IPPS
2006
IEEE
16 years 5 days ago
2006
IEEE
Models of simulation program with integrated circuit emphasis (SPICE) are currently playing a central role in the connection between circuit design and chip fabrication communitie...
165
Voted
SAC
2006
ACM
16 years 3 days ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
181
Voted
EUROPAR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...