Sciweavers

1155 search results - page 36 / 231
» Computer aided analysis and design of power transformers
Sort
View
APAQS
2001
IEEE
15 years 3 months ago
Object-Oriented Program Behavior Analysis Based on Control Patterns
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
C.-C. Hwang, S.-K. Huang, D.-J. Chen, D. Chen
ISPD
2005
ACM
140views Hardware» more  ISPD 2005»
15 years 5 months ago
Are floorplan representations important in digital design?
Research in floorplanning and block-packing has generated a variety of data structures to represent spatial configurations of circuit modules. Much of this work focuses on the g...
Hayward H. Chan, Saurabh N. Adya, Igor L. Markov
ISSS
2002
IEEE
148views Hardware» more  ISSS 2002»
15 years 4 months ago
A Case Study of Hardware and Software Synthesis in ForSyDe
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
Ingo Sander, Axel Jantsch, Zhonghai Lu
TCAD
2008
90views more  TCAD 2008»
14 years 11 months ago
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
ICIP
2010
IEEE
14 years 9 months ago
Curvature analysis of pattern transformation manifolds
Transformation manifolds are quite attractive for image analysis applications that require transformation invariance properties. The geometric structure of a transformation manifo...
Elif Vural, Pascal Frossard