Sciweavers

12670 search results - page 265 / 2534
» Requirements Modeling
Sort
View
GLVLSI
2002
IEEE
118views VLSI» more  GLVLSI 2002»
15 years 11 months ago
Novel interconnect modeling by using high-order compact finite difference methods
— The high-order compact finite difference (HCFD) method is adapted for interconnect modeling. Based on the compact finite difference method, the HCFD method employs the Chebys...
Qinwei Xu, Pinaki Mazumder
DAC
2005
ACM
16 years 7 months ago
Systematic development of analog circuit structural macromodels through behavioral model decoupling
This paper presents a systematic methodology to create customized structural macromodels for a specific analog circuit. The novel contributions of the method include definition of...
Ying Wei, Alex Doboli
COGSR
2011
99views more  COGSR 2011»
15 years 1 months ago
A biologically realistic cleanup memory: Autoassociation in spiking neurons
Methods for cleaning up (or recognizing) states of a neural network are crucial for the functioning of many neural cognitive models. For example, Vector Symbolic Architectures pro...
Terrence C. Stewart, Yichuan Tang, Chris Eliasmith
ICWE
2004
Springer
15 years 11 months ago
Modeling the Structure of Web Applications with ArgoUWE
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
Alexander Knapp, Nora Koch, Gefei Zhang
ZEUS
2010
180views Communications» more  ZEUS 2010»
15 years 7 months ago
An efficient approach to detect lack of synchronization in acyclic workflow graphs
Control-flow analysis of business process models requires to check the absence of lack of synchronization. We use workflow graphs, which may contain inclusive OR gateways, to repre...
Cédric Favre