Research Catalog

  • Dataflow architecture for machine control / Bogdan Lent.

    • Text
    • Taunton, Somerset, England : Research Studies Press ; New York : Wiley, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 90-1804Offsite
  • The art of programming embedded systems / Jack G. Ganssle.

    • Text
    • San Diego : Academic Press, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 93-9Offsite
  • Learning in embedded systems / Leslie Pack Kaelbling.

    • Text
    • Cambridge, Mass. : MIT Press, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 93-1980Offsite
  • Towards verified systems / edited by Jonathan Bowen.

    • Text
    • Amsterdam ; New York : Elsevier, 1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 94-2109Offsite
  • Numerical methods : real-time and embedded systems programming / Don Morgan.

    • Text
    • San Mateo, CA : M&T Books, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 95-102Offsite
  • Co-synthesis of hardware and software for digital embedded systems / by Rajesh Kumar Gupta ; [foreword by Giovanni De Micheli].

    • Text
    • Boston : Kluwer Academic Publishers, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 95-2161Offsite
  • Code generation for embedded processors / edited by Peter Marwedel, Gert Goossens.

    • Text
    • Boston : Kluwer Academic Publishers, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 95-2258Offsite
  • Software synthesis from dataflow graphs / by Shuvra S. Battacharyya, Praveen K. Murthy, Edward A. Lee.

    • Text
    • Boston : Kluwer Academic Publishers, c1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 96-857Offsite
  • Hardware-software co-synthesis of distributed embedded systems / Ti-Yen Yen, Wayne Wolf.

    • Text
    • Boston : Kluwer Academic, 1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 97-270Offsite
  • Real-time systems : design principles for distributed embedded applications / by Hermann Kopetz.

    • Text
    • Boston : Kluwer Academic Publishers, c1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 97-771Offsite
  • Retargetable compilers for embedded core processors : methods and experiences in industrial applications / by Clifford Liem.

    • Text
    • Boston ; London : Kluwer Academic, c1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 97-1047Offsite
  • Embedded microprocessors / Intel.

    • Text
    • Mt. Prospect, IL : Intel Corp., 1994-
    • 1994-present
    • 1 Item
    FormatCall NumberItem Location
    Text JSL 97-48 1996Offsite
  • Hardware-software co-design of embedded systems : the POLIS approach / by Felice Balarin ... [et al.].

    • Text
    • Boston : Kluwer Academic Publishers, c1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 98-18Offsite
  • Real-time UML : developing efficient objects for embedded systems / Bruce Powel Douglass.

    • Text
    • Reading, Mass. : Addison-Wesley, c1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 98-386Offsite
  • Embedded systems design / Steve Heath.

    • Text
    • Oxford [England] : Newnes, 1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 98-169Offsite
  • uITRON 3.0 : an open and portable real-time operating system for embedded systems / Ken Sakamura.

    • Text
    • Los Alamitos, CA : IEEE Computer Society, 1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 98-335Offsite
  • Debugging embedded microprocessor systems / Stuart R. Ball.

    • Text
    • Boston : Newnes, c1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 98-774Offsite
  • Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES'98, Montreal, Canada, June 9-20, 1998 : proceedings / Frank Mueller, Azer Bestavros, eds.

    • Text
    • Berlin ; London : Springer, c1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 98-1528Offsite
  • Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 / Grzegorz Rozenberg, Frits Vaandrager (eds.).

    • Text
    • Berlin ; New York : Springer, c1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 98-1590Offsite
  • Custom memory management methodology : exploration of memory organisation for embedded multimedia system design / Francky Catthoor ... [et al.].

    • Text
    • Boston : Kluwer Academic Publishers, 1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 99-231Offsite
  • Memory issues in embedded systems-on-chip : optimizations and exploration / by Preeti Ranjan Panda, Nikil Dutt, Alexandru Nicolau.

    • Text
    • Boston : Kluwer Academic, c1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 99-218Offsite
  • Performance analysis of real-time embedded software / Yau-Tsun Steven Li, Sharad Malik.

    • Text
    • Boston : Kluwer Academic, c1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 99-405Offsite
  • Real-time programming : a guide to 32-bit embedded development / Rick Grehan, Robert Moote, Ingo Cyliax.

    • Text
    • Reading, Mass. : Addison-Wesley, c1998.
    • 1998
    • 2 Items
    FormatCall NumberItem Location
    Text JSE 99-1627Offsite
    FormatCall NumberItem Location
    Text *WSC-862Offsite
  • Doing hard time : developing real-time systems with UML, objects, frameworks, and patterns / Bruce Powel Douglass.

    • Text
    • Reading, Mass. : Addison-Wesley, c1999.
    • 1999
    • 2 Items
    FormatCall NumberItem Location
    Text JSE 99-1241 (Main work)Offsite
    FormatCall NumberItem Location
    Text *WSC-794Offsite
  • Programming embedded systems in C and C++ / Michael Barr.

    • Text
    • Sebastopol : O'Reilly, c1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 99-1769Offsite
  • Technologies for the information society : developments and opportunities / edited by Jean-Yves Roger, Brian Stanford-Smith and Paul T. Kidd.

    • Text
    • Amsterdam ; Washington, DC : IOS Press, c1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-472Offsite
  • The art of designing embedded systems / Jack G. Ganssle.

    • Text
    • Boston ; Oxford : Newnes, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 99-2293Offsite
  • Design-for-test for digital IC's and embedded core systems / Alfred L. Crouch.

    • Text
    • Upper Saddle River, NJ : Prentice Hall PTR, c1999.
    • 1999
    • 2 Items
    FormatCall NumberItem Location
    Text JSE 00-23 (Main work)Offsite
    FormatCall NumberItem Location
    Text *WSC-3089Offsite
  • Cryptographic hardware and embedded systems : First International Workshop, CHES'99, Worcester, MA, USA, August 12-13, 1999 : proceedings / Çetin K. Koç, Christof Paar (eds.).

    • Text
    • Berlin ; New York : Springer, c1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 99-2258Offsite
  • Real-time UML : developing efficient objects for embedded systems / Bruce Powel Douglass ; [foreword by David Harel].

    • Text
    • Reading, Mass. : Addison-Wesley, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-981Offsite
  • Year 2000 problems in machinery : managing the risk in smaller companies.

    • Text
    • Stevenage : IEE, c1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 00-1086Offsite
  • Distributed and parallel embedded systems : IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5-6, 1998, Schloβ Eringerfeld, Germany / edited by Franz J. Rammig.

    • Text
    • Boston : Kluwer Academic Publishers, c1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-1463Offsite
  • Embedded systems design with 8051 microcontrollers : hardware and software / Zdravko Karakehayov, Knud Smed Christensen, Ole Winther.

    • Text
    • New York : Marcel Dekker, 1999.
    • 1999
    • 2 Items
    FormatCall NumberItem Location
    Text JSE 00-803Offsite
    FormatCall NumberItem Location
    Text *WSE-1411Offsite
  • An embedded software primer / David E. Simon.

    • Text
    • Boston : Addison Wesley, c1999.
    • 1999
    • 2 Items
    FormatCall NumberItem Location
    Text JSE 00-1872 [Text]Offsite
    FormatCall NumberItem Location
    Text *WSC-1481Offsite
  • Java 2 micro edition / Eric Giguère.

    • Text
    • New York : John Wiley, c2000.
    • 2000
    • 2 Items
    FormatCall NumberItem Location
    Text JSE 08-75Offsite
    FormatCall NumberItem Location
    Text *WSC-1647Offsite
  • Robust speech recognition in embedded systems and PC applications / by Jean-Claude Junqua.

    • Text
    • Boston : Kluwer Academic Publishers, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-1451Offsite
  • System-on-a-chip : design and test / Rochit Rajsuman.

    • Text
    • Boston, MA : Artech House, 2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-1920Offsite
  • Modeling, verification, and exploration of task-level concurrency of real-time embedded systems / edited by [sic] Filip Thoen and Francky Catthoor.

    • Text
    • Boston, Mass. : Kluwer Academic Publishers, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-1915Offsite
  • Computers as components : principles of embedded computing system design / Wayne Wolf.

    • Text
    • San Francisco, CA : Morgan Kaufmann Publishers, 2001.
    • 2001
    • 3 Items
    FormatCall NumberItem Location
    Text JSE 00-2236Offsite
    FormatCall NumberItem Location
    Text *WSC-1643 Disc 2Offsite
    FormatCall NumberItem Location
    Text *WSC-1642 Disc 1Offsite
  • Function/architecture optimization and co-design of embedded systems / Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli.

    • Text
    • Boston : Kluwer Academic Publishers, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-2208Offsite
  • Code optimization techniques for embedded processors : methods, algorithms, and tools / by Rainer Leupers.

    • Text
    • Boston ; London : Kluwer Academic Publishers, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 01-118Offsite
  • Pipelined processor farms : structured design for embedded parallel systems / Martin Fleury, Andrew Downton.

    • Text
    • New York : John Wiley & Sons, c2001.
    • 2001
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 01-662Offsite
  • Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings / Jack Davidson, Sang Lyul Min, eds.

    • Text
    • Berlin ; New York : Springer, c2001.
    • 2001
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 01-778Offsite
  • Cryptographic hardware and embedded systems--CHES 2000 : second international workshop, Worcester, MA, USA, August 17-18, 2000 : proceedings / Çetin K. Koç, Christof Paar (eds.).

    • Text
    • Berlin ; New York : Springer, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 01-595Offsite
  • Java 2 micro edition : professional developer's guide / Eric Giguere.

    • Text
    • New York : John Wiley, 2000.
    • 2000
    • 2 Items
    FormatCall NumberItem Location
    Text JSE 01-1244 [Text]Offsite
    FormatCall NumberItem Location
    Text *WSC-2050Offsite
  • The 80251 microcontroller / Kenneth J. Ayala.

    • Text
    • Upper Saddle River, NJ : Prentice Hall, 2000.
    • 2000
    • 2 Items
    FormatCall NumberItem Location
    Text JSE 01-1334 [Text]Offsite
    FormatCall NumberItem Location
    Text *WSC-2058Offsite
  • Patterns for time-triggered embedded systems : building reliable applications with the 8051 family of microcontrollers / Michael J. Pont.

    • Text
    • Harlow : Addison-Wesley, 2001.
    • 2001
    • 2 Items
    FormatCall NumberItem Location
    Text JSE 01-1497 [Text]Offsite
    FormatCall NumberItem Location
    Text *WSC-2225Offsite
  • Importance and prevalence of embedded computer systems and oversight of this technology by the Office of the Secretary of Defense [microform] : statement of Ralph V. Carlone, Assistant Comptroller General, Information Management and Technology Division, before the Subcommittee on Legislation and National Security, Committee on Government Operations, House of Representatives / United States General Accounting Office.

    • Text
    • [Washington, D.C.] : The Office ; [Gaithersburg, MD] (P.O. Box 6015, Gaithersburg 20884-6015) : The Office [distributor, 1990]
    • 1990
  • Embedded computer systems [microform] : new F/A-18 capabilities impact Navy's software development process : report to the Chairman, Subcommittee on Research and Development, Committee on Armed Services, House of Representatives / United States General Accounting Office.

    • Text
    • Washington, D.C. : The Office ; Gaithersburg, MD (P.O. Box 6015, Gaithersburg 20884-6015) : The Office [distributor, 1992]
    • 1992
  • Interpreter composition issues in the formal verification of a processor-memory module [microform] / David A. Fura and Gerald C. Cohen.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta