Sciweavers

20306 search results - page 351 / 4062
» Business Modelling Is Not Process Modelling
Sort
View
ISSTA
2004
ACM
16 years 22 days ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
ICCAD
2007
IEEE
115views Hardware» more  ICCAD 2007»
16 years 4 months ago
Parameterized model order reduction via a two-directional Arnoldi process
Abstract—This paper presents a multiparameter momentmatching based model order reduction technique for parameterized interconnect networks via a novel two-directional Arnoldi pro...
Yung-Ta Li, Zhaojun Bai, Yangfeng Su, Xuan Zeng
SOCO
2002
Springer
15 years 7 months ago
A dynamically-constructed fuzzy neural controller for direct model reference adaptive control of multi-input-multi-output nonlin
Conventional industrial control systems are in majority based on the single-input-single-output design principle with linearized models of the processes. However, most industrial p...
Yakov Frayman, Lipo Wang
UML
2005
Springer
16 years 23 days ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
317
Voted

Publication
576views
17 years 7 months ago
Within-die Process Variations: How Accurately can They Be Statistically Modeled?
Within-die process variations arise during integrated circuit (IC) fabrication in the sub-100nm regime. These variations are of paramount concern as they deviate the performance of...
Brendan Hargreaves, Henrik Hult, Sherief Reda