2000 search results - page 307 / 400 » Program Transformation and Proof Transformation |
132
Voted
AICCSA
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
162
Voted
DBPL
1995
Springer
15 years 7 months ago
1995
Springer
Physical design for object-oriented databases is still in its infancy. Implementation decisions often intrude into the conceptual design (such as inverse links and object decompos...
132
Voted
FPGA
1995
ACM
15 years 7 months ago
1995
ACM
A novel approach is presented for transforming a given scheduled and bound signal processing algorithm for a multiplexer based datapath to a BUS/RAM based FPGA datapath. A datapat...
121
click to vote
SAS
1997
Springer
15 years 7 months ago
1997
Springer
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...
139
Voted
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
We study various shortcut fusion rules for languages like Haskell. Following a careful semantic account of a recently proposed rule for circular program transformation, we propose ...