Sciweavers

8177 search results - page 219 / 1636
» Detecting System Emulators
Sort
View
CAINE
2003
15 years 2 months ago
Development of a Computational Toolkit for Biomechanical Analysis and Simulation: The Vertebrate Analyzer
This paper discusses the development of a computational modeling and analysis toolkit to construct, animate, and biomechanically analyze sophisticated models of vertebrates. Users...
K. F. Hulme, F. C. Mendel, K. P. Chugh
99
Voted
USENIX
2004
15 years 2 months ago
Multihoming Performance Benefits: An Experimental Evaluation of Practical Enterprise Strategies
Multihoming is increasingly being employed by large enterprises and data centers as a mechanism to extract good performance from their provider connections. Today, multihomed end-...
Aditya Akella, Srinivasan Seshan, Anees Shaikh
JTRES
2010
ACM
15 years 29 days ago
Exhaustive testing of safety critical Java
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
Tomás Kalibera, Pavel Parizek, Michal Maloh...
101
Voted
IJCAT
2008
72views more  IJCAT 2008»
15 years 23 days ago
Capacity analysis of container terminals using simulation techniques
Modeling and simulation are essential tools for the design and analysis of container terminals. A computer model can emulate the activities at various levels of details and captur...
Shell-Ying Huang, Wen-Jing Hsu, Chuanyu Chen, Rong...
CCR
2004
151views more  CCR 2004»
15 years 19 days ago
Practical verification techniques for wide-area routing
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
Nick Feamster