Search Results - "specification of synchronous concurrent algorithms"

The applicability of discrete performance estimation methods to VLSI design

Authors: Alan Williams

Source: Formal Aspects of Computing. 5:152-176

Subject Terms: specification of synchronous concurrent algorithms, Specification and verification (program logics, model checking, etc.), VLSI design, discret high-level VLSI complexity models, 0202 electrical engineering, electronic engineering, information engineering, asymptotic complexity results, 0102 computer and information sciences, 02 engineering and technology, Circuits, networks, performance estimation, 01 natural sciences, Performance evaluation, queueing, and scheduling in the context of computer systems

File Description: application/xml

Access URL: https://link.springer.com/content/pdf/10.1007/BF01211303.pdf
https://link.springer.com/article/10.1007/BF01211303
https://dblp.uni-trier.de/db/journals/fac/fac5.html#Williams93