1173 search results - page 50 / 235 » On the Compositionality of Round Abstraction |
PADL
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Skeletons simplify parallel programming by providing general patterns of parallel computations. When several skeletons are used inside the same program, skeleton composit...
DAC
2002
ACM
14 years 11 months ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
SOCO
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Bridging problem domain and solution in product line engineering is a time-consuming and error-prone process. Since both domains are structured differently (features vs....
ECAL
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Recent work in the field of computational evolutionary linguistics suggests that the dynamics arising from the cultural evolution of language can explain the emergence o...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...