7103 search results - page 61 / 1421 » Program Generation and Components |
163
click to vote
TYPES
2004
Springer
15 years 11 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...
157
click to vote
CDES
2008
15 years 7 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...
168
click to vote
IPPS
2010
IEEE
15 years 3 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...