653 search results - page 42 / 131 » Model design using hierarchical web-based libraries |
ASIAMS
2007
IEEE
14 years 2 months ago
2007
IEEE
Composability, the capability to select and assemble offthe-shelf model components in various combinations to satisfy user requirements, is an appealing approach in reducing the t...
ICCD
2008
IEEE
14 years 4 months ago
2008
IEEE
—One of the major design verification challenges in the development of Anton, a massively parallel special-purpose machine for molecular dynamics, was to provide evidence that co...
COST
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The recognition of the emotional states of speaker is a multidisciplinary research area that has received great interest in the last years. One of the most important goal...
WSC
2007
13 years 10 months ago
2007
The transition to 300mm wafer size introduced a lot of new technologies to wafer fabrication facilities that mandated the presence of intrabay automated material handling systems ...
FDL
2008
IEEE
13 years 9 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...