1730 search results - page 153 / 346 » Algebra and Computation |
128
click to vote
TSP
2008
15 years 5 months ago
2008
Abstract--A method for the computation of nonlinear digital filter networks containing delay-free loops is proposed. By preserving the topology of the network this method permits t...
136
click to vote
BIRTHDAY
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
145
click to vote
STACS
2010
Springer
16 years 18 days ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
160
click to vote
GECCO
2009
Springer
16 years 6 days ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...
154
click to vote
GRID
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we propose a framework dedicated to the development and the execution of parallel applications over large scale global computing platforms. A workflow programming env...