The following pages link to Christian Lengauer (Q582034):
Displayed 29 items.
- An incremental mechanical development of systolic solutions to the algebraic path problem (Q582035) (← links)
- On denotational versus predicative semantics (Q753499) (← links)
- Costing stepwise refinements of parallel programs (Q875957) (← links)
- Semantic independence (Q911745) (← links)
- An algebraic foundation for automatic feature-based program synthesis (Q988187) (← links)
- The derivation of systolic implementations of programs (Q1096393) (← links)
- A methodology for programming with concurrency: An informal presentation (Q1167527) (← links)
- A methodology for programming with concurrency: The formalism (Q1167528) (← links)
- On linear list recursion in parallel (Q1284692) (← links)
- The static parallelization of loops and recursions (Q1375712) (← links)
- Abstraction and performance in the design of parallel programs: An overview of the SAT approach (Q1567202) (← links)
- On the role of automated theorem proving in the compile-time derivation of concurrency (Q1819947) (← links)
- The automated proof of a trace transformation for a bitonic sort (Q1822503) (← links)
- Parallelization of divide-and-conquer in the Bird-Meertens formalism (Q1906040) (← links)
- Termination detection in parallel loop nests with while loops (Q1978397) (← links)
- Quantifier elimination in automatic loop parallelization (Q2457396) (← links)
- ON THE PARALLEL IMPLEMENTATION OF A GENERALIZED BROADCAST (Q2735235) (← links)
- TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK* (Q2744172) (← links)
- (Q3034850) (← links)
- (Q3680250) (← links)
- The synthesis of control signals for one-dimensional systolic arrays (Q4015489) (← links)
- (Q4028142) (← links)
- (Q4406702) (← links)
- (Q4445775) (← links)
- (Q4460215) (← links)
- (Q4508934) (← links)
- (Q4791898) (← links)
- Parallelization of divide-and-conquer by translation to nested loops (Q4934239) (← links)
- An Algebra for Features and Feature Composition (Q5505414) (← links)