1663 search results - page 164 / 333 » Validation and Verification of Simulation Models |
166
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
133
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— This article compares several parameterizations and motion models for improving the estimation of the nonlinear uncertainty distribution produced by robot motion. In previous w...
146
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
Arbitrary Inter-frame Space (AIFS), Contention Window (CW) and Transmission Opportunity (TXOP) are three important Quality-of-Service (QoS) differentiation schemes specified in the...
129
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
135
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...