|
Browse All Reviews > Hardware (B) > Control Structures And Microprogramming (B.1) > Microprogram Design Aids (B.1.4)
|
|
|
|
|
|
|
|
|
1-10 of 14
Reviews about "Microprogram Design Aids (B.1.4)":
|
Date Reviewed |
|
Algorithms for optimization Kochenderfer M., Wheeler T., The MIT Press, Cambridge, MA, 2019. 520 pp. Type: Book (978-0-262039-42-0)
Anyone wanting to publish a book in a respectable and classical research field needs to find a niche to justify the originality. This statement includes the area of mathematical optimization, which interests Kochenderfer and Wheeler. T...
|
Apr 27 2021 |
|
Formal verification and quantitative metrics of MPSoC data dynamics Zhang H., Wu J. Formal Aspects of Computing 30(2): 219-237, 2018. Type: Article
MPSoC stands for “multiprocessor system-on-a-chip.” This paper treats verification via simulation of the design and expected behavior of such multiprocessor, multitasking systems....
|
Jun 7 2018 |
|
Modelling and verification of weighted spiking neural systems Aman B., Ciobanu G. Theoretical Computer Science 623(C): 92-102, 2016. Type: Article
This paper considers the problem of formal verification of systems described using an abstract computing model called a spiking neural system, which is modeled after how brain cells (neurons) communicate. A spiking neural system is a c...
|
Jul 13 2016 |
|
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
This paper describes ESPeciaL, a domain-specific language designed to make it easier to write programs for programmable embedded systems such as Arduino....
|
Jul 21 2015 |
|
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
The software described is a compiler generator integrated in a graphical user interface (GUI) to support debugging. A compiler is viewed as a scanner, a parser, and an attribute evaluator. The focus is on the front-end techniques, with...
|
Aug 12 2014 |
|
Producing the left parse during bottom-up parsing Slivnik B., Vilfan B. Information Processing Letters 96(6): 220-224, 2005. Type: Article
Bottom-up parsing can be applied to all deterministic context-free languages. On the other hand, left parsing also has some advantages, for example, in error reporting. The left parse of a substring can be pushed on the stack together ...
|
Nov 30 2006 |
|
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
Design space exploration (DSE) is the process of examining alternate implementations of a system at different points in the ranges of performance, cost, memory usage, power usage, time to market, and other metrics....
|
Jun 15 2005 |
|
Introduction to microprocessors and microcontrollers Crisp J., Newnes, 2004. 288 pp. Type: Book (9780750659895)
This excellent little book is an introduction to microprocessors and microcontrollers, accessible to students in college or technical schools. Its great advantage is that most explanations are based on familiar systems that are analogo...
|
Aug 6 2004 |
|
Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming Vemuri R., Kalyanaraman R. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 3(2): 201-214, 1995. Type: Article
Verification of the correctness of hardware designs is getting more attention thanks to some highly visible design flaws in certain products. As hardware description languages, such as VHDL, are used in design, the problem becomes more...
|
Jul 1 1996 |
|
Embedded controller FORTH for the 8051 family Payne W., Academic Press Prof., Inc., San Diego, CA, 1990. Type: Book (9780125475709)
I expect this book to have limited appeal to the readership of Computing Reviews and in the marketplace at large. This hobbyist-style book goes into considerable detail regarding the implementation of FORTH on the i8051 family o...
|
May 1 1991 |
|
|
|
|
|
|