Sciweavers

5203 search results - page 156 / 1041
» An approach to workflow modeling and analysis
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
DFT
2004
IEEE
92views VLSI» more  DFT 2004»
15 years 10 months ago
Reliability and Yield: A Joint Defect-Oriented Approach
We present a model for computing the probability of a parametric failure due to a spot defect. The analysis is based on electromigration in conductors under unidirectional current...
Roman Barsky, Israel A. Wagner
CSDA
2006
81views more  CSDA 2006»
15 years 6 months ago
A recursive approach to detect multivariable conditional variance components and conditional random effects
A complex trait like crop yield is determined by its component traits. Multivariable conditional analysis in a general mixed linear model is helpful in dissecting the gene express...
Jixiang Wu, Dongfeng Wu, Johnie N. Jenkins Jr., Ja...
CMA
2010
196views more  CMA 2010»
15 years 3 months ago
Numerical analysis of Leray-Tikhonov deconvolution models of fluid motion
This report develops and studies a new family of NSE-regularizations, Tikhonov Leray Regularization with Time Relaxation Models. This new family of turbulence models is based on a...
Iuliana Stanculescu, Carolina C. Manica
DATE
2005
IEEE
100views Hardware» more  DATE 2005»
15 years 12 months ago
Modeling the Non-Linear Behavior of Library Cells for an Accurate Static Noise Analysis
In signal integrity analysis, the joint effect of propagated noise through library cells, and of the noise injected on a quiet net by neighboring switching nets through coupling c...
Cristiano Forzan, Davide Pandini