Sciweavers

474 search results - page 10 / 95
» Structure-preserving model reduction of complex physical sys...
Sort
View
CAISE
1999
Springer
13 years 11 months ago
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
Wasim Sadiq, Maria E. Orlowska
FDL
2006
IEEE
14 years 1 months ago
SystemC-A Modeling of an Automotive Seating Vibration Isolation System
Abstract— A modeling methodology for mixed physical domains system in a new modelling Language is presented. The system is automotive seating vibration isolation system with elec...
Hessa Al-Junaid, Tom J. Kazmierski, Leran Wang
ICCAD
2006
IEEE
152views Hardware» more  ICCAD 2006»
14 years 4 months ago
Performance-oriented statistical parameter reduction of parameterized systems via reduced rank regression
Process variations in modern VLSI technologies are growing in both magnitude and dimensionality. To assess performance variability, complex simulation and performance models param...
Zhuo Feng, Peng Li
AIEDU
2005
144views more  AIEDU 2005»
13 years 7 months ago
An Algebra Subsystem for Diagnosing Students' Input in a Physics Tutoring System
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...
Joel A. Shapiro
QEST
2009
IEEE
14 years 2 months ago
Language-Level Symmetry Reduction for Probabilistic Model Checking
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
Alastair F. Donaldson, Alice Miller, David Parker