
Kronos
 Referenced in 273 articles
[sw01270]
 tool developed with the aim to verify complex realtime systems. Realtime systems ... strict time deadlines. Embedded controllers, circuits and communication protocols are examples of such timedependent ... systems. These systems are often part of complex safetycritical applications such as aircraft avionics...

GHC
 Referenced in 43 articles
[sw23765]
 relationship to other formalisms including dataflow languages, Communicating Sequential Processes, and functional languages for multiprocessing ... complexity as the timecomplexity of many toone communication in procedural languages. Furthermore...

Ligero
 Referenced in 11 articles
[sw28502]
 knowledge argument protocol for NP whose communication complexity is proportional to the squareroot...

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

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

LUDWIG
 Referenced in 23 articles
[sw02229]
 LUDWIG: A parallel latticeBoltzmann 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...

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

DTK
 Referenced in 8 articles
[sw40162]
 desirable algorithmic time complexity with low communication overhead relative to other types of mapping algorithms ... casescenario problem in terms of algorithmic complexity that shows good scaling...

GRECS
 Referenced in 2 articles
[sw23226]
 less computationallyefficient but achieves optimal communication complexity (i.e. uses a minimal amount of bandwidth ... both computationallyefficient 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]
 infinitynorm) 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]
 infinitynorm) 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 multithreading ... 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...