524 search results - page 96 / 105 » Application of Graph Transformation in Verification of Dynam... |
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
In many recent applications, data are continuously being disseminated from a source to a set of servers. In this paper, we propose a cost-based approach to construct dissemination...
POS
2000
Springer
14 years 5 days ago
2000
Springer
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...
PAMI
1998
13 years 8 months ago
1998
—This paper proposes a novel method for matching images. The results can be used for a variety of applications: fully automatic morphing, object recognition, stereo photogrammetr...
MICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
Modern chip multiprocessors (CMPs) are designed to exploit both instruction-level parallelism (ILP) within processors and thread-level parallelism (TLP) within and across processo...
ISCA
2005
IEEE
14 years 2 months ago
2005
IEEE
Instruction set customization is an effective way to improve processor performance. Critical portions of application dataflow graphs are collapsed for accelerated execution on s...