• LOTOS

  • Referenced in 152 articles [sw02961]
  • formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed...
  • HYSDEL

  • Referenced in 39 articles [sw05200]
  • modeling a class of hybrid systems described by interconnections of linear dynamic systems, automata...
  • DiVinE

  • Referenced in 56 articles [sw04130]
  • checking and reachability analysis of discrete distributed systems. The tool is able to efficiently exploit ... aggregate computing power of multiple network-interconnected multi-cored workstations in order to deal with ... tasks. As such it allows to analyse systems whose size is far beyond the size...
  • HyEQ

  • Referenced in 9 articles [sw14490]
  • with inputs, as well as interconnections of hybrid systems. The structure, components, and usage...
  • GARNET

  • Referenced in 4 articles [sw20590]
  • chip network model inside a full-system simulator. Until very recently, microprocessor designs were computation ... model within a full-system evaluation framework. Ignoring the interconnect details might lead to inaccurate ... analyze the impact of interconnection network optimization techniques on full system behavior. In this light ... detailed cycle-accurate interconnection network model (GARNET), inside the GEMS full-system simulation framework. GARNET...
  • OMULT

  • Referenced in 2 articles [sw16123]
  • OMULT: An optical interconnection system for parallel computing. In this paper, we introduce ... interconnection system OMULT (Optical Multi-Trees) using both electronic and optical links among processors ... leaf nodes of different trees are suitably interconnected by bi-directional optical links in both...
  • global_report

  • Referenced in 4 articles [sw26673]
  • developed. Transformers are required throughout modern interconnected power systems. Their range comprises from...
  • AMON

  • Referenced in 3 articles [sw35497]
  • Streams. The Internet, as a global system of interconnected networks, carries an extensive array ... consuming post-mortem analysis. We demonstrate our system in the context of real-world attack...
  • MANIFOLD

  • Referenced in 30 articles [sw02900]
  • transition system semantics for the control-driven coordination language MANIFOLD Coordination languages ... active processes or by dynamically evolving the interconnections among the processes as a consequence ... MANIFOLD, based on a two-level transition system model: the first level is used...
  • MEG

  • Referenced in 3 articles [sw10439]
  • cultures or as spatially organised systems with specified interconnections...
  • IQC-Game

  • Referenced in 1 article [sw39462]
  • certification of exponential convergence of interconnected systems containing nonlinear or uncertain elements. In this work...
  • SimuPy

  • Referenced in 2 articles [sw30694]
  • SimuPy is a framework for simulating interconnected dynamical system models and provides an open source...
  • GroupKit

  • Referenced in 24 articles [sw10570]
  • harder than building functionally similar single-user systems. We have been able to significantly reduce ... runtime infrastructure automatically manages the creation, interconnection, and communications of the distributed processes that comprise...
  • SICOSYS

  • Referenced in 3 articles [sw20593]
  • integrated framework for studying interconnection network performance in multiprocessor systems. An environment has been developed ... determining the impact that a multiprocessor interconnection subsystem causes on real application execution time...
  • HPL

  • Referenced in 9 articles [sw21404]
  • performance achievable by this software on your system depends on a large variety of factors ... Nonetheless, with some restrictive assumptions on the interconnection network, the algorithm described here ... software package requires the availibility on your system of an implementation of the Message Passing...
  • ANTELOPE

  • Referenced in 3 articles [sw20553]
  • significantly improve the large-scale system’s scalability to interconnect a large number of servers ... space overheads. Extensive experiments on real system implementations demonstrate the efficacy and efficiency...
  • Behavioral Toolbox

  • Referenced in 1 article [sw22004]
  • which are at the heart of behavioral systems theory. In particular, it does not rely ... thus allows great flexibility in defining interconnections between systems. By means of an example...
  • TLRW

  • Referenced in 5 articles [sw37682]
  • chip system that has higher coherence costs across the interconnect, performance deteriorates rapidly. We believe...
  • CableS

  • Referenced in 2 articles [sw01442]
  • nodes. We implement our system on a 16-processor cluster interconnected with a low-latency...
  • MCAPI

  • Referenced in 1 article [sw13043]
  • dimensions of heterogeneity (e.g., core, interconnect, memory, operating system, software toolchain, and programming language). MCAPI...