20638 search results - page 3946 / 4128 » Network Computing |
124
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract--Virtualization technology facilitates a dynamic, demanddriven allocation and migration of servers. This paper studies how the flexibility offered by network virtualizatio...
105
click to vote
ISCI
2011
14 years 9 months ago
2011
We define an interconnection network AQn,k which we call the augmented kary n-cube by extending a k-ary n-cube in a manner analogous to the existing extension of an n-dimensional...
174
Voted
BICA
2010
14 years 9 months ago
2010
We present a docking study for Herbal, a high-level behavioral representation language based on the problem space computational model. This study docks an ACT-R model created with ...
103
Voted
EJWCN
2010
14 years 9 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
117
click to vote
ICASSP
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper considers the estimation of shooter locations using a sensor network where each sensor measures the time difference between receptions of a firearm's muzzle blast ...