Sciweavers

11017 search results - page 368 / 2204
» Closure Systems and their Structure
Sort
View
WWW
2006
ACM
16 years 7 months ago
WAP5: black-box performance debugging for wide-area systems
Wide-area distributed applications are challenging to debug, optimize, and maintain. We present Wide-Area Project 5 (WAP5), which aims to make these tasks easier by exposing the c...
Patrick Reynolds, Janet L. Wiener, Jeffrey C. Mogu...
EMSOFT
2003
Springer
16 years 1 days ago
Space Reductions for Model Checking Quasi-Cyclic Systems
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcl...
AAAI
2008
15 years 9 months ago
The Impact of Vertical Specialization on Hierarchical Multi-Agent Systems
Hierarchies are one of the most common organizational structures observed in multi-agent systems. In this paper we study vertical specialization as a reason for hierarchical struc...
Steven Okamoto, Paul Scerri, Katia P. Sycara
ETFA
2008
IEEE
15 years 8 months ago
Feasibility analysis for networked control systems by simulation in Modelica
Technological advancements in communication and embedded computing lead to the increasing application of decentralized structures in automation and control. The decentralization a...
Liu Liu, Georg Frey
CDES
2006
100views Hardware» more  CDES 2006»
15 years 8 months ago
Integrity and Integration Issues for Nano-Tube Based Interconnect Systems
: As we continue miniaturization of circuits into nano-scale, interconnects have been recognized as the limiting factor for next generation of computing structures. To increase the...
Tulin Mangir