3133 search results - page 64 / 627 » Difference systems of sets and cyclotomy |
EUROMICRO
1998
IEEE
15 years 2 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
ISLPED
1998
ACM
15 years 2 months ago
1998
ACM
In this paper we propose a set of rules for consistent estimation of the real performance and power features of the latch and flip-flop structures. A new simulation and optimizati...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
ICIAR
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, a novel and efficient automatic image categorization system is proposed. This system integrates the MIL-based and global-featurebased SVMs for categorization. The IP...