3133 search results - page 64 / 627 » Difference systems of sets and cyclotomy |
144
click to vote
EUROMICRO
1998
IEEE
15 years 10 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...
166
click to vote
ICCAD
2007
IEEE
16 years 2 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...
148
click to vote
ISLPED
1998
ACM
15 years 10 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...
153
click to vote
CORR
2008
Springer
15 years 5 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 ...
157
click to vote
ICIAR
2005
Springer
15 years 11 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...