Sciweavers

3307 search results - page 196 / 662
» The meaning of concurrent programs
Sort
View
IPPS
1998
IEEE
15 years 8 months ago
Automatic Differentiation for Message-Passing Parallel Programs
Many applications require the derivatives of functions defined by computer programs. Automatic differentiation (AD) is a means of developing code to compute the derivatives of com...
Paul D. Hovland, Christian H. Bischof
ICAI
2004
15 years 5 months ago
Genetic Programming Reconsidered
Even though the Genetic Programming (GP) mechanism is capable of evolving any computable function, the means through which it does so is inherently flawed: the user must provide th...
Russ Abbott, Behzad Parviz, Chengyu Sun
139
Voted
CGO
2008
IEEE
15 years 10 months ago
Fast liveness checking for ssa-form programs
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
Benoit Boissinot, Sebastian Hack, Daniel Grund, Be...
FUIN
2007
109views more  FUIN 2007»
15 years 4 months ago
Computing Properties of Numerical Imperative Programs by Symbolic Computation
We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implement...
Jacques Carette, Ryszard Janicki
ICSM
2002
IEEE
15 years 9 months ago
Atomic Architectural Component Recovery for Program Understanding and Evolution
Component recovery and remodularization is a means to get back control on large and complex legacy systems suffering from ad-hoc changes by recovering logical components and restr...
Rainer Koschke