1155 search results - page 147 / 231 » Computer aided analysis and design of power transformers |
122
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
DAC
2005
ACM
16 years 2 months ago
2005
ACM
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...
DAC
2006
ACM
16 years 2 months ago
2006
ACM
In this paper we present a generic interconnect fabric for transaction level modelling tackeling three major aspects. First, a review of the bus and IO structures that we have ana...
SAS
2001
Springer
15 years 5 months ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
109
click to vote
HAPTICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Individuals with certain types of central nervous system damage, such as stroke, have an asymmetric walking gait. Using a splitbelt treadmill, where each leg walks at a different ...