1663 search results - page 142 / 333 » Validation and Verification of Simulation Models |
169
Voted
CPHYSICS
2010
15 years 4 months ago
2010
We investigate fully parallel Newton-Krylov-Schwarz (NKS) algorithms for solving the large sparse nonlinear systems of equations arising from the finite element discretization of ...
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—The super node algorithm performs model order reduction based on physical principles. Although the algorithm provides us with compact models, its passivity has not thoroughly be...
141
click to vote
ACL
2003
15 years 5 months ago
2003
An investment of effort over the last two years has begun to produce a wealth of data concerning computational psycholinguistic models of syntax acquisition. The data is generated...
149
click to vote
DSRT
2005
IEEE
15 years 9 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
154
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Recently, trust establishment is recognized as an important approach to defend distributed networks, such as mobile ad hoc networks and sensor networks, against malicious attac...