1155 search results - page 161 / 231 » Computer aided analysis and design of power transformers |
366
click to vote
SPIN
2012
Springer
13 years 8 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
170
click to vote
SPAA
2006
ACM
16 years 10 days ago
2006
ACM
In response to current technology scaling trends, architects are developing a new style of processor, known as spatial computers. A spatial computer is composed of hundreds or eve...
185
click to vote
WCNC
2008
IEEE
16 years 22 days ago
2008
IEEE
— Since the different bits of the compressed video sequence produced by the BBC’s wavelet-based video codec exhibit different error sensitivity, efficient Unequal Error Protec...
176
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Small, embedded integrated circuits (ICs) such as smart cards are vulnerable to so-called side-channel attacks (SCAs). The attacker can gain information by monitoring the power co...
187
click to vote
CGF
2007
15 years 6 months ago
2007
We propose a mesh segmentation algorithm via recursive bisection where at each step, a sub-mesh embedded in 3D is first spectrally projected into the plane and then a contour is ...