Sciweavers

3134 search results - page 122 / 627
» simulation 2010
Sort
View
125
Voted
MASCOTS
2010
15 years 1 months ago
Exploiting Concurrency to Improve Latency and throughput in a Hybrid Storage System
—This paper considers the problem of how to improve the performance of hybrid storage system employing solid state disks and hard disk drives. We utilize both initial block alloc...
XiaoJian Wu, A. L. Narasimha Reddy
MASCOTS
2010
15 years 1 months ago
Performance of Quantized Congestion Notification in TCP Incast Scenarios of Data Centers
This paper analyzes the performance of Ethernet layer congestion control mechanism Quantized Congestion Notification (QCN) during data access from clustered servers in data centers...
Prajjwal Devkota, A. L. Narasimha Reddy
QEST
2010
IEEE
15 years 1 months ago
DTMC Model Checking by SCC Reduction
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
Erika Ábrahám, Nils Jansen, Ralf Wim...
AR
2010
101views more  AR 2010»
15 years 2 months ago
Novel Energy Transfer Mechanism in a Running Quadruped Robot with One Actuator per Leg
In this work we develop a novel method, or mechanism, of energy transfer in a quadruped running robot. The robot possesses only one actuator per leg, for lower weight and greater ...
Nicholas Cherouvim, Evangelos Papadopoulos
118
Voted
CORR
2010
Springer
179views Education» more  CORR 2010»
15 years 3 months ago
Highway Mobility and Vehicular Ad-Hoc Networks in NS-3
The study of vehicular ad-hoc networks (VANETs) requires efficient and accurate simulation tools. As the mobility of vehicles and driver behavior can be affected by network messag...
Hadi Arbabi, Michele C. Weigle