Sciweavers

3827 search results - page 490 / 766
» The Epsilon Generation Language
Sort
View
IPPS
2002
IEEE
15 years 11 months ago
A SIMD Vectorizing Compiler for Digital Signal Processing Algorithms
Short vector SIMD instructions on recent microprocessors, such as SSE on Pentium III and 4, speed up code but are a major challenge to software developers. We present a compiler t...
Franz Franchetti, Markus Püschel
IFL
2001
Springer
137views Formal Methods» more  IFL 2001»
15 years 11 months ago
A Generic Programming Extension for Clean
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
Artem Alimarine, Marinus J. Plasmeijer
SIGGRAPH
1998
ACM
15 years 11 months ago
Computer-generated Floral Ornament
This paper describes some of the principles of traditional floral ornamental design, and explores ways in which these designs can be created algorithmically. It introduces the id...
Michael T. Wong, Douglas E. Zongker, David Salesin
ARGMAS
2006
Springer
15 years 10 months ago
An Argumentation-Based Approach for Practical Reasoning
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
Iyad Rahwan, Leila Amgoud
ATAL
2006
Springer
15 years 8 months ago
An argumentation based approach for practical reasoning
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
Iyad Rahwan, Leila Amgoud