7103 search results - page 61 / 1421 » Program Generation and Components |
UM
2005
Springer
14 years 1 months ago
2005
Springer
GPCE
2004
Springer
14 years 1 months ago
2004
Springer
TYPES
2004
Springer
14 years 1 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
CDES
2008
13 years 9 months ago
2008
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...