Sciweavers

24421 search results - page 510 / 4885
» Communicating Complex Systems
Sort
View
IPPS
2000
IEEE
15 years 9 months ago
Buffered Coscheduling: A New Methodology for Multitasking Parallel Jobs on Distributed Systems
Buffered coscheduling is a scheduling methodology for time-sharing communicating processes in parallel and distributed systems. The methodology has two primary features: communica...
Fabrizio Petrini, Wu-chun Feng
SMC
2007
IEEE
122views Control Systems» more  SMC 2007»
15 years 11 months ago
Can complexity science support the engineering of critical network infrastructures?
— Considerable attention is now being devoted to the study of “complexity science” with the intent of discovering and applying universal laws of highly interconnected and evo...
David Alderson, John C. Doyle
ICALP
2007
Springer
15 years 11 months ago
Complexity of Propositional Proofs Under a Promise
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
Nachum Dershowitz, Iddo Tzameret
ROBOCUP
2000
Springer
135views Robotics» more  ROBOCUP 2000»
15 years 8 months ago
Simulator Complex for RoboCup Rescue Simulation Project - As Test-Bed for Multi-Agent Organizational Behavior in Emergency Case
In the RoboCup Rescue Simulation Project, several kinds of simulator such as Building-Collapse and Road-Blockage Simulator, Fire Spread Simulator and Tra c Flow Simulator are expec...
Toshiyuki Kaneda, Fumitoshi Matsuno, Hironao Takah...
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 2 months ago
Synchronization stability of complex dynamical networks with probabilistic time-varying delays
Abstract-- A kind of complex dynamical networks with timevarying coupling delays is proposed. By some transformation, the synchronization problem of the complex networks is transfe...
Hongjie Li, Dong Yue, Zhou Gu