77016 search results - page 449 / 15404 » Modeling Modeling |
219
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
195
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
176
click to vote
WSC
2007
15 years 9 months ago
2007
A simulation-based methodology is proposed to map the mean of steady-state cycle time as a function of throughput and product mix for manufacturing systems. Nonlinear regression m...
180
click to vote
IROS
2006
IEEE
16 years 26 days ago
2006
IEEE
— The stiffness modeling for a compliant parallel manipulator (CPM) is very important since it provides a basis for the characterization of static, modal, and dynamic behavior of...
266
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
g Interpolation Theorem in abstract model theory Jouko V