• Kronos

  • Referenced in 274 articles [sw01270]
  • tool developed with the aim to verify complex real-time systems. Real-time systems ... strict time deadlines. Embedded controllers, circuits and communication protocols are examples of such time-dependent ... systems. These systems are often part of complex safety-critical applications such as aircraft avionics...
  • Ligero

  • Referenced in 17 articles [sw28502]
  • knowledge argument protocol for NP whose communication complexity is proportional to the square-root...
  • GHC

  • Referenced in 43 articles [sw23765]
  • relationship to other formalisms including dataflow languages, Communicating Sequential Processes, and functional languages for multiprocessing ... complexity as the time-complexity of many- to-one communication in procedural languages. Furthermore...
  • 2L_enum

  • Referenced in 11 articles [sw31753]
  • questions in combinatorial optimization and communication complexity, among others. In this paper, we present...
  • DiSCO

  • Referenced in 12 articles [sw28439]
  • gradient method. We analyze its iteration complexity and communication efficiency for minimizing self-concordant empirical...
  • Gandalf

  • Referenced in 35 articles [sw10133]
  • mathematics and verify complex systems such as digital circuits, software and communications protocols...
  • STELLA

  • Referenced in 10 articles [sw12146]
  • practical way to dynamically visualize and communicate how complex systems and ideas really work...
  • HPCC

  • Referenced in 17 articles [sw03504]
  • suggests) latency and bandwidth of communication patterns of increasing complexity between as many nodes...
  • NS-3

  • Referenced in 4 articles [sw07496]
  • degree heterogeneity in flow fluctuations on complex networks. Communication networks are nowadays crucial ... patterns of flow fluctuations observed across complex communication networks. To this end, we derive...
  • AIDE

  • Referenced in 5 articles [sw28438]
  • DANE algorithm does not match the communication complexity lower bounds. To bridge this ... called AIDE, that not only matches the communication lower bounds but can also be implemented...
  • MINRES-QLP

  • Referenced in 28 articles [sw11181]
  • reverse communication. Example test programs input and solve real or complex problems specified in Matrix...
  • DTK

  • Referenced in 9 articles [sw40162]
  • desirable algorithmic time complexity with low communication overhead relative to other types of mapping algorithms ... case-scenario problem in terms of algorithmic complexity that shows good scaling...
  • LUDWIG

  • Referenced in 23 articles [sw02229]
  • LUDWIG: A parallel lattice-Boltzmann code for complex fluids. This paper describes LUDWIG, a versatile ... communications. If LUDWIG is used as intended, a variety of complex fluid models with different...
  • GRECS

  • Referenced in 2 articles [sw23226]
  • less computationally-efficient but achieves optimal communication complexity (i.e. uses a minimal amount of bandwidth ... both computationally-efficient and achieves optimal communication complexity at the cost of a small amount...
  • SensorDCSP

  • Referenced in 7 articles [sw30992]
  • Sensor networks and distributed CSP: communication, computation and complexity. We introduce SensorDCSP, a naturally distributed...
  • SONEST

  • Referenced in 34 articles [sw24351]
  • infinity-norm) of a real or complex matrix, respectively. The codes are of wide applicability ... calling program via a reverse communication interface. The algorithms are based on a convex optimization ... Hager’s method, extend it to complex matrices, and make several algorithmic modifications in order...
  • CONEST

  • Referenced in 34 articles [sw24352]
  • infinity-norm) of a real or complex matrix, respectively. The codes are of wide applicability ... calling program via a reverse communication interface. The algorithms are based on a convex optimization ... Hager’s method, extend it to complex matrices, and make several algorithmic modifications in order...
  • Gauss

  • Referenced in 2 articles [sw08835]
  • parallel/distributed programming methods and complex communication and synchronization libraries. There is very little ... buggy as they strive to implement complex requirements employing aggressive techniques such as multi-threading ... programs a formal model consisting of communicating processes represented in Microsoft’s Zing modeling language...
  • PSAMS

  • Referenced in 2 articles [sw02309]
  • developed for measuring the complexity and maintainability of a communication protocol specified in Estelle ... communication protocol Estelle specification: exploring its specification, measuring its complexity, assessing its maintainability, estimating ... measure the complexity and maintainability of 10 communication protocol Estelle specifications; the measurement results ... able to assess the complexity of a communication protocol early in the specification stage...
  • Multisim

  • Referenced in 47 articles [sw06447]
  • applicable in systems of secure communication, noise radar, for cryptographic systems, for random number generators ... design and analysis of systems with complex dynamics on a base of examples close...