1120 search results - page 179 / 224 » Parallel Algorithmic Techniques for Combinatorial Computatio... |
CONCUR
1997
Springer
14 years 15 hour ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
EUROPAR
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper presents new techniques for master-slave tasking on treeshaped networks with fully heterogeneous communication and processing resources. A large number of inde...
HIPC
2009
Springer
13 years 5 months ago
2009
Springer
In data-intensive computing, an important problem that has received relatively little attention is of transparent processing of data stored in remote data repositories. Interesting...
IEEEPACT
2008
IEEE
14 years 2 months ago
2008
IEEE
This work proposes and evaluates improvements to previously known algorithms for redundancy elimination. Enhanced Scalar Replacement combines two classic techniques, scalar replac...
DAC
2003
ACM
14 years 8 months ago
2003
ACM
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...