Sciweavers

2911 search results - page 254 / 583
» A Logic of Graph Constraints
Sort
View
JCP
2008
124views more  JCP 2008»
15 years 6 months ago
Novel Fuzzy Logic Controllers with Self-Tuning Capability
Two controllers which extend the PD+I fuzzy logic controller to deal with the plant having time varying nonlinear dynamics are proposed. The adaptation ability of the first self tu...
Fong Chwee Teng, Ahmad Lotfi, Ah Chung Tsoi
LICS
2009
IEEE
16 years 1 months ago
Psi-calculi: Mobile Processes, Nominal Data, and Logic
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
GLVLSI
2007
IEEE
140views VLSI» more  GLVLSI 2007»
16 years 1 months ago
Structured and tuned array generation (STAG) for high-performance random logic
Regularly structured design techniques can combat complexity on a variety of fronts. We present the Structured and Tuned Array Generation (STAG) design methodology, which provides...
Matthew M. Ziegler, Gary S. Ditlow, Stephen V. Kos...
ATS
2005
IEEE
139views Hardware» more  ATS 2005»
16 years 11 days ago
Shannon Expansion Based Supply-Gated Logic for Improved Power and Testability
— Structural transformation of a design to enhance its testability while satisfying design constraints on power and performance, can result in improved test cost and test confid...
Swaroop Ghosh, Swarup Bhunia, Kaushik Roy
FPGA
2001
ACM
145views FPGA» more  FPGA 2001»
15 years 11 months ago
Simultaneous logic decomposition with technology mapping in FPGA designs
Conventional technology mapping algorithms for SRAM-based Field Programmable Gate Arrays (FPGAs) are normally carried out on a fixed logic decomposition of a circuit. The impact o...
Gang Chen, Jason Cong