7 search results - page 1 / 2 » A Fresh Look at Combinator Graph Reduction |
PLDI
1989
ACM
13 years 9 months ago
1989
ACM
PLDI
1990
ACM
13 years 9 months ago
1990
ACM
- This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range check:s, the optimizations discuss...
DAC
2006
ACM
14 years 6 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...
LICS
2010
IEEE
13 years 3 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
DAC
2005
ACM
14 years 6 months ago
2005
ACM
The race conditions often limit the smallest feasible clock period that the optimal clock skew scheduling can achieve. Therefore, the combination of clock skew scheduling and dela...