Sciweavers

10666 search results - page 1866 / 2134
» Quantum programming languages
Sort
View
IFE
2002
69views more  IFE 2002»
15 years 4 months ago
Generierung interaktiver Animationen von Berechnungsmodellen
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
Stephan Diehl, Andreas Kerren
INFORMATICALT
2002
103views more  INFORMATICALT 2002»
15 years 4 months ago
Numerical Representations as Purely Functional Data Structures: a New Approach
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
Mirjana Ivanovic, Viktor Kuncak
JFP
2002
96views more  JFP 2002»
15 years 4 months ago
Secrets of the Glasgow Haskell Compiler inliner
Higher-order languages, such as Haskell, encourage the proto build abstractions by composing functions. A good compiler must inline many of these calls to recover an e ciently exe...
Simon L. Peyton Jones, Simon Marlow
PRESENCE
2002
113views more  PRESENCE 2002»
15 years 4 months ago
"It/I": A Theater Play Featuring an Autonomous Computer Character
"It / I" is a two-character theater play where the human character I (played by a real actor) is taunted and played with by an autonomous computer character It on a comp...
Claudio S. Pinhanez, Aaron F. Bobick
TSMC
1998
62views more  TSMC 1998»
15 years 4 months ago
Performance based design of high-level language-directed computer architectures
— This paper is concerned with the analytical modeling of computer architectures to aid in the design of high-level language-directed computer architectures. High-level language-...
Rajendra S. Katti, Mark L. Manwaring
« Prev « First page 1866 / 2134 Last » Next »