| |
Reviews about "Microprogram Design Aids (B.1.4)":
|
Algorithms for optimization
Kochenderfer M., Wheeler T., The MIT Press, Cambridge, MA, 2019. 520 pp. Type: Book (978-0-262039-42-0)
|
Formal verification and quantitative metrics of MPSoC data dynamics
Zhang H., Wu J. Formal Aspects of Computing 30(2): 219-237, 2018. Type: Article
|
Modelling and verification of weighted spiking neural systems
Aman B., Ciobanu G. Theoretical Computer Science 623(C): 92-102, 2016. Type: Article
|
ESPeciaL: an embedded systems programming language
Métrailler C., Mudry P. SCALA 2015 (Proceedings of the 6th ACM SIGPLAN Symposium on Scala, Portland, OR, Jun 13, 2015) 51-55, 2015. Type: Proceedings
|
JACCIE: a Java-based compiler-compiler for generating, visualizing and debugging compiler components
Krebs N., Schmitz L. Science of Computer Programming 79101-115, 2014. Type: Article
|
Producing the left parse during bottom-up parsing
Slivnik B., Vilfan B. Information Processing Letters 96(6): 220-224, 2005. Type: Article
|
Methods for evaluating and covering the design space during early design development
Gries M. Integration, the VLSI Journal 38(2): 131-183, 2004. Type: Article
|
more...
|
|
|
|
