1536 search results - page 154 / 308 » The Underlying Logic of Hoare Logic |
181
click to vote
FPGA
2005
ACM
16 years 1 days ago
2005
ACM
Logic duplication is an effective method for improving circuit performance. In this paper we present an algorithm named SPD that performs simultaneous placement and duplication to...
189
click to vote
ISLPED
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a delay optimal FPGA clustering algorithm targeting low power. We assume that the configurable logic blocks of the FPGA can be programmed using either a high s...
177
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
167
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
175
click to vote
SRDS
2003
IEEE
15 years 11 months ago
2003
IEEE
A recent trend has seen the extension of objectoriented middleware to component-oriented middleware. A major advantage components offer over objects is that only the business logi...