5090 search results - page 287 / 1018 » Constructing Strategies for Programming |
135
click to vote
TOMS
2011
15 years 1 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...
145
click to vote
EMSOFT
2003
Springer
15 years 12 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...
188
click to vote
EVOW
2005
Springer
16 years 5 days 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...
168
click to vote
RTA
2005
Springer
16 years 3 days 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...
175
click to vote
SWSTE
2003
IEEE
15 years 12 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...