• JADE

  • Referenced in 39 articles [sw11698]
  • debugging and deployment phases. A JADE-based system can be distributed across machines (which ... same OS) and the configuration can be controlled via a remote GUI. The configuration ... implemented in Java language and the minimal system requirement is the version 5 of JAVA...
  • TPC Benchmark DS

  • Referenced in 2 articles [sw26643]
  • operating system, and data processing system configuration under a controlled, complex, multi-user decision support ... enables emerging technologies, such as Big Data systems, to execute the benchmark...
  • K Prover

  • Referenced in 45 articles [sw32257]
  • type systems or formal analysis tools can be defined, making use of configurations, computations ... rules. Configurations organize the system/program state in units called cells, which are labeled ... deleted, K is particularly suitable for defining control-intensive language features such as abrupt termination...
  • SpEC

  • Referenced in 11 articles [sw07423]
  • describe in detail the mappings and control systems that we use. We show how these ... evolution of binary black hole systems with extreme configurations, such as large spin magnitudes...
  • CONSER

  • Referenced in 1 article [sw20985]
  • Experience with CONSER: a system for server control through fluid modeling. Server technology provides ... services and applications. However, their ad hoc configuration poses significant challenges to the performance, availability ... develop concurrency control on server systems for an optimal configuration. We primarily provide two control ... maximizing control, and PA-AM-C is a performance-aware availability-maximizing control. In this...
  • MIRROR

  • Referenced in 4 articles [sw02280]
  • replica concurrency control protocols for a range of transaction workloads and system configurations. Our performance...
  • MOMBASA

  • Referenced in 5 articles [sw00588]
  • configuration and management interfaces, c) policies can be used to control and tune the system...
  • Audur

  • Referenced in 1 article [sw32664]
  • last decade to enhance power system stability. However, very few WACS implementations in the field ... controller receives synchrophasor measurements compliant with the IEEE C37.118.2 protocol and generates a control signal ... principle, can be configured as a supplementary control system to drive any active component...
  • VPDSL

  • Referenced in 1 article [sw16254]
  • hardware configurations consist of actuator and sensor elements which are controlled by system software that ... cost of testing and system integration, software simulators of hardware configurations are used-acting ... virtual hardware platforms on which the real control software can be executed and tested...
  • K tool

  • Referenced in 18 articles [sw09746]
  • systems, and formal analysis tools can be defined using configurations, computations and rules. Configurations organize ... deleted. This makes 𝕂 suitable for defining control-intensive features such as abrupt termination, exceptions...
  • DiskSim

  • Referenced in 13 articles [sw11963]
  • DiskSim is an efficient, accurate, highly-configurable disk system simulator originally developed at the University ... written in C and requires no special system software (just basic POSIX interfaces). DiskSim includes ... components of interest, including device drivers, buses, controllers, adapters, and disk drives. DiskSim also includes...
  • PEARL

  • Referenced in 4 articles [sw02990]
  • hardware/software co-design of embedded control systems with Specification PEARL is presented. Hardware and software ... enhanced for modeling hierarchical and asymmetrical multiprocessor systems, and by additional parameters for schedulability analysis ... feasible model. To support dynamic re-configurations, configuration management is introduced into the models. Since ... facto standard also for designing embedded control systems, and since Timed State Transition Diagrams...
  • CELIP

  • Referenced in 1 article [sw02530]
  • programmable special-purpose processors controlled by universal computer systems. This configuration is appropriate, because...
  • Procera

  • Referenced in 2 articles [sw14370]
  • high-level reactive network control. Our previous experience building systems for implementing network policies ... domains is inherently dynamic and stateful. Current configuration languages, both in traditional network architectures ... system implementation language, often C++. We describe Procera, a control architecture for software-defined networking ... expressing network policies directly in Procera, simpler configuration interfaces (e.g., graphical user interfaces) can also...
  • XGvis

  • Referenced in 6 articles [sw26079]
  • manual editing of configurations, (b) interactive control over parameters that determine the criterion ... diagnostics for pinning down artifactual point configurations, and (d) restricting MDS to subsets of objects ... subsets of pairs of objects. A system, called “XGvis”, which implments these techniques, is freely...
  • VIC

  • Referenced in 5 articles [sw38572]
  • product line. Various configurations of the VIC system are available depending on your applications including ... speed (up to 5MHz), strain and/or load control, infrared capability, microscopy (down...
  • WARGI

  • Referenced in 1 article [sw30179]
  • easy for the user to modify system configuration and relateddata to perform sensitivity analysis ... possibility to control all the intermediate phases,easily to update system configuration and to consider...
  • biicode

  • Referenced in 2 articles [sw17719]
  • configure and build your projects and it is compatible with many IDEs, version control systems...
  • GARNET

  • Referenced in 4 articles [sw20590]
  • pipelined router with virtual channel (VC) flow control. Microarchitectural details, such as flit-level input ... GEMS, provides a detailed and accurate memory system timing model. To demonstrate the importance ... evaluation was to figure out which configuration is better for a particular workload. We show ... chip network flow control proposal, in a full-system fashion. We show that in improving...
  • WPDS++

  • Referenced in 3 articles [sw33482]
  • answering generalized reachability queries on weighted pushdown systems. The Path Inspector is a software model ... queries about the program’s possible control configurations...