Sciweavers

2211 search results - page 198 / 443
» The state of peer-to-peer simulators and simulations
Sort
View
ATC
2009
Springer
15 years 5 months ago
Management without (Detailed) Models
We present a resource management algorithm based upon guided “walks” within a system state space. Walks are guided via simple predictions of optimum behavior whose accuracy inc...
Alva L. Couch, Mark Burgess, Marc Chiarini
83
Voted
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
15 years 5 months ago
Control software model checking using bisimulation functions for nonlinear systems
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
James Kapinski, Alexandre Donzé, Flavio Ler...
ICC
2008
IEEE
167views Communications» more  ICC 2008»
15 years 5 months ago
Clustering Large Optical Networks for Distributed and Dynamic Multicast
—For a large-scale mesh network with dynamic traffic, maintaining the global state information in a centralized fashion is impractical. Hence, distributed schemes are needed to ...
Mohammad Masud Hasan, Jason P. Jue
ICRA
2008
IEEE
155views Robotics» more  ICRA 2008»
15 years 5 months ago
Learning tactic-based motion models with fast particle smoothing
— Learning parameters of a motion model is an important challenge for autonomous robots. We address the particular instance of parameter learning when tracking motions with a swi...
Yang Gu, Manuela M. Veloso
INFOCOM
2008
IEEE
15 years 5 months ago
Run-Time System for Scalable Network Services
Sophisticated middlebox services–such as network monitoring and intrusion detection, DDoS mitigation, worm scanning, XML parsing and protocol transformation–are becoming incre...
Upendra Shevade, Ravi Kokku, Harrick M. Vin