2700 search results - page 409 / 540 » The role of abstraction in software engineering |
190
click to vote
TAPSOFT
1991
Springer
15 years 10 months ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
164
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
166
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
146
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...
173
click to vote
ARCS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A major problem considering parallel computing is maintaining memory consistency and coherency, and ensuring ownership and access rights. These problems mainly arise from...