1816 search results - page 269 / 364 » Case study in modeling and simulation validation methodology |
SC
2004
ACM
15 years 3 months ago
2004
ACM
The Merrimac supercomputer uses stream processors and a highradix network to achieve high performance at low cost and low power. The stream architecture matches the capabilities o...
RTAS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
INFOCOM
2002
IEEE
15 years 2 months ago
2002
IEEE
— We demonstrate that the dynamic behavior of queue and average window is determined predominantly by the stability of TCP/RED, not by AIMD probing nor noise traffic. We develop...
ROBIO
2006
IEEE
15 years 3 months ago
2006
IEEE
– In this paper, a model-based impedance control strategy is developed for a 3 DOF parallel manipulator to manage the interaction of the robot with the environment. Kinematic and...