168 search results - page 30 / 34 » A Generic Programming Extension for Clean |
EUROMICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
ASAP
2005
IEEE
14 years 29 days ago
2005
IEEE
In this paper, we propose a hardware/software partitioning method for improving applications’ performance in embedded systems. Critical software parts are accelerated on hardwar...
IPPS
2003
IEEE
14 years 19 days ago
2003
IEEE
Most image processing algorithms can be parallelized by splitting parallel loops and by using very few communication patterns. Code parallelization using MPI still involves much p...
APLAS
2003
ACM
14 years 18 days ago
2003
ACM
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
ASWEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Behavioural theory predicts that interventions that improving individual reviewers' expertise improves Software Development Technical Review group performance [3, p 6]. This ...