1886 search results - page 133 / 378 » Verifying and Validating Simulation Models |
DATE
2010
IEEE
15 years 3 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...
ACL
2003
14 years 11 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...
IWCMC
2006
ACM
15 years 3 months ago
2006
ACM
— In this paper we focus on characterizing the average end-to-end delay and maximum achievable per-node throughput in random access multihop wireless ad hoc networks with station...
FPGA
2010
ACM
14 years 8 months ago
2010
ACM
Metastability is a phenomenon that can cause system failures in digital circuits. It may occur whenever signals are being transmitted across asynchronous or unrelated clock domain...
DSRT
2005
IEEE
15 years 3 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...