180 search results - page 20 / 36 » Reversible Computation and Reversible Programming Languages |
148
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Kaltofen has proposed a new approach in (Kaltofen, 1992) for computing matrix determinants without divisions. The algorithm is based on a baby steps/giant steps construction of Kr...
159
click to vote
LISP
2008
15 years 5 months ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
150
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
151
click to vote
RECOMB
2009
Springer
16 years 2 days ago
2009
Springer
Comparing genomes of different species is a crucial problem in comparative genomics. Different measures have been proposed to compare two genomes: number of common intervals, num...
138
click to vote
PADS
2005
ACM
15 years 11 months ago
2005
ACM
In earlier work cloning is proposed as a means for efficiently splitting a running simulation midway through its execution into multiple parallel simulations. In simulation cloni...