13376 search results - page 502 / 2676 » Problem Solving with |
141
click to vote
ENTCS
2006
15 years 6 months ago
2006
In addition to efficient code generation, causality cycles and schizophrenic statements are major problems for the compilation of synchronous programs. Although these problems are ...
186
click to vote
SIAMSC
2010
15 years 4 months ago
2010
In this paper, we develop a fast multilevel algorithm for simultaneously denoising and deblurring images under the total variation regularization. Although much effort has been de...
175
Voted
INFOCOM
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract— We consider the computational complexity and algorithm challenges in designing survivable access networks. With limited routing capability, the structure of an access n...
149
Voted
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. Context unification (CU) is the open problem of solving context equations for trees. We distinguish a new decidable variant of CU? well-nested CU ? and present a new unif...
147
click to vote
JAVA
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes the design, implementation, and performance of a Java framework for supporting a style of parallel programming in which problems are solved by (recursively) s...