Sciweavers

41938 search results - page 538 / 8388
» Complex Systems Modeling
Sort
View
SOSP
2005
ACM
16 years 3 months ago
IRON file systems
Commodity file systems trust disks to either work or fail completely, yet modern disks exhibit more complex failure modes. We suggest a new fail-partial failure model for disks, ...
Vijayan Prabhakaran, Lakshmi N. Bairavasundaram, N...
CF
2009
ACM
16 years 1 months ago
A light-weight fairness mechanism for chip multiprocessor memory systems
Chip Multiprocessor (CMP) memory systems suffer from the effects of destructive thread interference. This interference reduces performance predictability because it depends heavil...
Magnus Jahre, Lasse Natvig
SMC
2007
IEEE
122views Control Systems» more  SMC 2007»
16 years 1 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
16 years 1 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 10 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...