Sciweavers

10622 search results - page 482 / 2125
» Python Programming Language
Sort
View
APLAS
2000
ACM
15 years 11 months ago
A New Criterion for Safe Program Transformations
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...
Yasuhiko Minamide
176
Voted
GPCE
2009
Springer
15 years 4 months ago
Generating safe template languages
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
Florian Heidenreich, Jendrik Johannes, Mirko Seife...
167
Voted
FDL
2008
IEEE
16 years 1 months ago
Towards Compilation of Streaming Programs into FPGA Hardware
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
Franjo Plavec, Zvonko G. Vranesic, Stephen Dean Br...
154
Voted
HYBRID
2007
Springer
16 years 24 days ago
Motion Programs for Puppet Choreography and Control
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
Magnus Egerstedt, Todd D. Murphey, Jon Ludwig
TYPES
2004
Springer
15 years 12 months ago
Tactic-Based Optimized Compilation of Functional Programs
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
Thomas Meyer, Burkhart Wolff