4636 search results - page 348 / 928 » Modelling and Validation with VipTool |
148
click to vote
CBSE
2005
Springer
15 years 10 months ago
2005
Springer
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...
147
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
135
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper develops a model of an electrical power system, with its inherent embedded communication system, for the purpose of studying the characteristics of power system measure...
120
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
We describe a model predicting the output torque of the battery-amplifier-actuator-gear combination used on the hexapod robot RHex, based on requested PWM (PulseWidth-Modulation) ...
129
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
The current technologies have made it possible to execute parallel applications across heterogeneous platforms. However, the performance models available do not provide adequate m...