Sciweavers

6120 search results - page 878 / 1224
» The Power of Linear Functions
Sort
View
EH
2002
IEEE
266views Hardware» more  EH 2002»
15 years 11 months ago
Towards Evolvable Analog Fuzzy Logic Controllers
Fuzzy Logic has proved to be a very powerful technique in the discipline of system control. A Fuzzy Logic Controller is defined by a collection of fuzzy if-then rules and a set of...
José Franco Machado do Amaral, Jorge Lu&iac...
IEEEINTERACT
2002
IEEE
15 years 11 months ago
Compiling for Fine-Grain Concurrency: Planning and Performing Software Thread Integration
Embedded systems require control of many concurrent real-time activities, leading to system designs which feature multiple hardware peripherals with each providing a specific, ded...
Alexander G. Dean
TPHOL
2002
IEEE
15 years 11 months ago
Free-Style Theorem Proving
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
David Delahaye
DATE
2000
IEEE
169views Hardware» more  DATE 2000»
15 years 11 months ago
Transformational Placement and Synthesis
Novel methodology and algorithms to seamlessly integrate logic synthesis and physical placement through a transformational approach are presented. Contrary to most placement algor...
Wilm E. Donath, Prabhakar Kudva, Leon Stok, Paul V...
GLVLSI
2000
IEEE
85views VLSI» more  GLVLSI 2000»
15 years 11 months ago
Fast and accurate estimation of floorplans in logic/high-level synthesis
In many applications such as high-level synthesis (HLS) and logic synthesis and possibly engineering change order (ECO) we would like to get fast and accurate estimations of diffe...
Kia Bazargan, Abhishek Ranjan, Majid Sarrafzadeh