19 search results - page 3 / 4 » FELIX: Using Rewriting-Logic for Generating Functionally Equ... |
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
GLVLSI
2005
IEEE
14 years 4 months ago
2005
IEEE
Embedded software is a preferred choice for implementing system functionality in modern System-on-Chip (SoC) designs, due to the high flexibility, and lower engineering costs pro...
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
— Non-Linear Feedback Shift Registers (NLFSRs) have been proposed as an alternative to Linear Feedback Shift Registers (LFSRs) for generating pseudo-random sequences for stream c...
ICCAD
1999
IEEE
14 years 3 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
TJS
2002
13 years 10 months ago
2002
This paper proposes a performance tools interface for OpenMP, similar in spirit to the MPI profiling interface in its intent to define a clear and portable API that makes OpenMP ex...