1550 search results - page 203 / 310 » Benchmarking for Graph Transformation |
109
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
106
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Since performance on FPGAs is dominated by the routing architecture rather than wirelength, we propose a new architecture-aware approach to initial FPGA placement that models the ...
97
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
96
Voted
ICCD
2001
IEEE
15 years 9 months ago
2001
IEEE
This paper deals with low-energy code generation for a highly optimized digital signal processor designed for mobile communication applications. We present a genetic algorithm bas...
128
Voted
ICDCSW
2009
IEEE
15 years 7 months ago
2009
IEEE
We describe a novel Geometric Localized Routing (GLR) protocol in Disruption (Delay) Tolerant Network (DTN). Although DTNs do not guarantee the connectivity of the network all the...