5090 search results - page 287 / 1018 » Constructing Strategies for Programming |
112
click to vote
TOMS
2011
14 years 11 months ago
2011
We present a new supernode-based incomplete LU factorization method to construct a preconditioner for solving sparse linear systems with iterative methods. The new algorithm is pr...
113
click to vote
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
162
Voted
EVOW
2005
Springer
15 years 10 months ago
2005
Springer
Computing consensus trees amounts to finding a single tree that summarizes a collection of trees. Three evolutionary algorithms are defined for this problem, featuring characteri...
136
click to vote
RTA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Partial-inversion compilers generate programs which compute some unknown inputs of given programs from a given output and the rest of inputs whose values are already give...
148
click to vote
SWSTE
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper makes a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...