• 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...