2529 search results - page 330 / 506 » The Logical Structure of Binding |
150
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— This paper looks at designing circuit elements that will be constructed with nanoscale magnets within the Quantum-dot Cellular Automata (QCA) computational paradigm. In magneti...
161
click to vote
TASE
2007
IEEE
16 years 25 days ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
202
click to vote
ATVA
2007
Springer
16 years 22 days ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
157
click to vote
ISOLA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
174
click to vote
DATE
2006
IEEE
16 years 19 days ago
2006
IEEE
Boolean matching is a powerful technique that has been used in technology mapping to overcome the limitations of structural pattern matching. The current basis for performing Bool...