09/08/16 Embedded Real-Time Operating Systems | University of Kent

Embedded Real-Time Operating Systems View Online

(2014-2015)

Amos, Doug, Lesea, Austin & Richter, Rene, 2011. FPGA-based Prototyping Methodology
Manual: Best Practices in Design-for-Prototyping, [Place of publication not identified]:
Synopsys Press. Bailey, Donald G., 2011. Design for embedded image processing on
FPGAs, Singapore: John Wiley & Sons (Asia). Berger, Arnold, 2002. Embedded systems
design: an introduction to processes, tools, and techniques, Berkeley, CA: CMP Books.
Bertolotti, Ivan Cibrario & Manduchi, Gabriele, 2012. Real-time embedded systems:
open-source operating systems perspective, Boca Raton, Fla: CRC. Buttazzo, Giorgio C.,
2011. Hard real-time computing systems: predictable scheduling algorithms and
applications, London: Springer. Cheng, Albert M. K. & Dawsonera, 2002. Real-time
systems: scheduling, analysis, and verification, Hoboken, NJ: Wiley-Interscience. Available
at:
https://www.dawsonera.com/guard/protected/dawson.jsp?name=https://sid.kent.ac.uk/shib
boleth&dest=http://www.dawsonera.com/depp/reader/protected/external/AbstractView/S9
780471460848. Keller, Rainer, Kramer, David & Weiss, Jan-Philipp, 2010. Facing the
Multicore-Challenge: Aspects of New Paradigms and Technologies in Parallel Computing,
Berlin, Heidelberg: [publisher not identified]. Kumar, Sanjaya, 1996. The codesign of
embedded systems: a unified hardware/software representation, Boston: Kluwer Academic
Publishers. Li, Qing, Yao, Caroline & MyiLibrary, 2003. Real-time concepts for embedded
systems, San Francisco, CA: CMP Books. Available at:
http://library.kent.ac.uk/cgi-bin/resources.cgi?url=http://lib.myilibrary.com?id=112047.
Nisan, Noam & Schocken, Shimon, 2008. The elements of computing systems: building a
modern computer from first principles, Cambridge, Mass: MIT. Oshana, Robert, 2012.
Expert guide DSP for embedded and real-time systems, Oxford: Newnes. Available at:
https://www.dawsonera.com/guard/protected/dawson.jsp?name=https://sid.kent.ac.uk/shib
boleth&dest=http://www.dawsonera.com/depp/reader/protected/external/AbstractView/S9
780123865366. Sass, Ronald & Schmidt, Andrew G., 2010. Embedded systems design
with platform FPGAs: principles and practices, Amsterdam: Morgan Kaufmann. Available
at:
https://www.dawsonera.com/guard/protected/dawson.jsp?name=https://sid.kent.ac.uk/shib
boleth&dest=http://www.dawsonera.com/depp/reader/protected/external/AbstractView/S9
780080921785. Stallings, William, 2010. Computer organization and architecture:
designing for performance, Upper Saddle River, NJ: Prentice Hall. Stallings, William, 2012.
Operating systems: internals and design principles, Boston, [Mass.]: Pearson. Toulson,
Rob & Wilmshurst, Tim, 2012. Fast and effective embedded systems design: applying the
ARM mbed, Oxford: Newnes. Available at:
https://www.dawsonera.com/guard/protected/dawson.jsp?name=https://sid.kent.ac.uk/shib
boleth&dest=http://www.dawsonera.com/depp/reader/protected/external/AbstractView/S9
780080977690. Valvano, Jonathan, 2012a. Embedded Systems, [Texas?]: Createspace.
Valvano, Jonathan, 2012b. Embedded Systems, [Texas?]: Createspace. Valvano,
Jonathan W., 2012. Embedded systems: introduction to the Arm Cortex(TM)-M3: 1,
[Texas?]: Jonathan W. Valvano. Van de Laar, Pierre & Punter, Teade, 2011. Views on
evolvability of embedded systems, Dordrecht: Springer. Available at:
https://www.dawsonera.com/guard/protected/dawson.jsp?name=https://sid.kent.ac.uk/shib

1/2
09/08/16 Embedded Real-Time Operating Systems | University of Kent

boleth&dest=http://www.dawsonera.com/depp/reader/protected/external/AbstractView/S9
789048198498.

2/2