610 search results - page 24 / 122 » Fast Modular Reduction |
AOSD
2008
ACM
13 years 9 months ago
2008
ACM
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object-ori...
ICCAD
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents new methods for restructuring logic networks based on fast Boolean techniques. The basis for these are 1) a cut based view of a logic network, 2) exploiting th...
CMMR
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present the current state of BioTools, an ongoing project to implement a modular hardware and software toolbox for composers and performers, which allows fast dep...
VVS
1995
IEEE
13 years 11 months ago
1995
IEEE
This paper describes a high-performance special-purpose system, Cube-3, for displaying and manipulating highresolution volumetric datasets in real-time. A primary goal of Cube-3 i...
FM
2006
Springer
13 years 11 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...