761 search results - page 5 / 153 » The art of multiprocessor programming |
ESOP
1992
Springer
13 years 11 months ago
1992
Springer
JMLC
2000
Springer
13 years 11 months ago
2000
Springer
ASPLOS
1987
ACM
13 years 11 months ago
1987
ACM
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
TCAD
2008
13 years 7 months ago
2008
Abstract--For modern embedded systems in the realm of highthroughput multimedia, imaging, and signal processing, the complexity of embedded applications has reached a point where t...