Sciweavers

9626 search results - page 1727 / 1926
» Invariant Based Programming
Sort
View
JPDC
2006
175views more  JPDC 2006»
15 years 6 months ago
Stochastic modeling and analysis of hybrid mobility in reconfigurable distributed virtual machines
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...
Song Fu, Cheng-Zhong Xu
ENTCS
2007
115views more  ENTCS 2007»
15 years 6 months ago
Self Management and the Future of Software Design
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...
Peter Van Roy
JSAC
2006
70views more  JSAC 2006»
15 years 6 months ago
Throughput-range tradeoff of wireless mesh backhaul networks
Wireless backhaul communication is expected to play a significant role in providing the necessary backhaul resources for future high-rate wireless networks. Mesh networking, in whi...
H. Viswanathan, S. Mukherjee
ML
2008
ACM
115views Machine Learning» more  ML 2008»
15 years 6 months ago
Calling variadic functions from a strongly-typed language
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...
Matthias Blume, Mike Rainey, John H. Reppy
ENVSOFT
2007
88views more  ENVSOFT 2007»
15 years 6 months ago
Resampling-based software for estimating optimal sample size
The SISSI program implements a novel approach for the estimation of the optimal sample size in experimental data collection. It provides avisual evaluation system of sample size d...
Roberto Confalonieri, Marco Acutis, Gianni Bellocc...
« Prev « First page 1727 / 1926 Last » Next »