Sciweavers

1155 search results - page 64 / 231
» Computer aided analysis and design of power transformers
Sort
View
DAC
2005
ACM
15 years 7 months ago
How accurately can we model timing in a placement engine?
This paper presents a novel placement algorithm for timing optimization based on a new and powerful concept, which we term differential timing analysis. Recognizing that accurate ...
Amit Chowdhary, Karthik Rajagopal, Satish Venkates...
FOCS
1989
IEEE
15 years 10 months ago
Constant Depth Circuits, Fourier Transform, and Learnability
In this paper, Boolean functions in ,4C0 are studied using harmonic analysis on the cube. The main result is that an ACO Boolean function has almost all of its “power spectrum”...
Nathan Linial, Yishay Mansour, Noam Nisan
CGVR
2006
15 years 7 months ago
A Parametric Model for Automotive Packaging and Ergonomics Design
- This paper describes the capabilities of a parametric model developed to perform design and analysis tasks in the areas of advanced engineering activities during the development ...
Vivek Bhise, Anita Pillai
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
15 years 11 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
HICSS
2002
IEEE
91views Biometrics» more  HICSS 2002»
15 years 10 months ago
Neuroimaging Studies Give New Insight to Mental Rotation
This paper summarizes the recent findings of mental rotation studies which use neuroimaging techniques. Though many results differed, almost all the reviewed studies concurred tha...
Wendy S. Ark