Bibliography

Bibliography

November 21, 2020
research, bibliography

Some of these bibliographies I’ve been reading for my research and some I find it interesting to keep around my library.

Operating Systems #

Introductory #

Modern Operating Systems #

Bibtex
@book{tanenbaum2014ModenOS,
  author          = {Tanenbaum, Andrew S. and Bos, Herbert},
  title           = {Modern Operating Systems},
  year            = 2014,
  isbn            = {013359162X},
  publisher       = {Prentice Hall Press},
  address         = {USA},
  edition         = {4th},
  abstract        = { Modern Operating Systems, Fourth Edition, is intended for
		  introductory courses in Operating Systems in Computer Science,
		  Computer Engineering, and Electrical Engineering programs. It
		  also serves as a useful reference for OS professionals The
		  widely anticipated revision of this worldwide best-seller
		  incorporates the latest developments in operating systems (OS)
		  technologies. The Fourth Edition includes up-to-date materials
		  on relevantOS. Tanenbaum also provides information on current
		  research based on his experience as an operating systems
		  researcher. Modern Operating Systems, Third Editionwas the
		  recipient of the 2010 McGuffey Longevity Award. The McGuffey
		  Longevity Award recognizes textbooks whose excellence has been
		  demonstrated over time.http://taaonline.net/index.html
		  Teaching and Learning Experience This program will provide a
		  better teaching and learning experiencefor you and your
		  students. It will help: Provide Practical Detail on the Big
		  Picture Concepts: A clear and entertaining writing style
		  outlines the concepts every OS designer needs to master. Keep
		  Your Course Current: This edition includes information on the
		  latest OS technologies and developments Enhance Learning with
		  Student and Instructor Resources: Students will gain hands-on
		  experience using the simulation exercises and lab experiments.
		  }
}

Operating Systems: Internals and Design Principle #

Bibtex
@book{stallings2018OperatingSysInternalAndDesign,
  author          = {Stallings, William},
  title           = {Operating Systems: Internals and Design Principles, 9/e},
  year            = 2018,
  isbn            = 9352866711,
  publisher       = {Pearson IT Certification},
  address         = {Indianapolis, Indiana, USA},
  edition         = {9th},
  abstract        = {Please Read Notes: Brand New, International Softcover
		  Edition, Printed in black and white pages, minor self wear on
		  the cover or pages, Sale restriction may be printed on the
		  book, but Book name, contents, and author are exactly same as
		  Hardcover Edition. Fast delivery through DHL/FedEx express.}
}

Operating Systems Design and Implementation (3rd Edition) #

Bibtex
@book{tanenbaum2005OperatingSysImplementation,
  author          = {Tanenbaum, Andrew S and Woodhull, Albert S},
  title           = {Operating Systems Design and Implementation (3rd Edition)},
  year            = 2005,
  isbn            = 0131429388,
  publisher       = {Prentice-Hall, Inc.},
  address         = {USA}
}

RTOS #

Operating Systems for Low-End Devices in the Internet of Things: A Survey #

Bibtex
@article{Hahm2015OSForLowEndDevice,
  author          = {O. {Hahm} and E. {Baccelli} and H. {Petersen} and N.
		  {Tsiftes}},
  journal         = {IEEE Internet of Things Journal},
  title           = {Operating Systems for Low-End Devices in the Internet of
		  Things: A Survey},
  year            = 2016,
  volume          = 3,
  number          = 5,
  pages           = {720-734},
  abstract        = {The Internet of Things (IoT) is projected to soon
		  interconnect tens of billions of new devices, in large part
		  also connected to the Internet. IoT devices include both
		  high-end devices which can use traditional go-to operating
		  systems (OSs) such as Linux, and low-end devices which cannot,
		  due to stringent resource constraints, e.g., very limited
		  memory, computational power, and power supply. However,
		  large-scale IoT software development, deployment, and
		  maintenance requires an appropriate OS to build upon. In this
		  paper, we thus analyze in detail the specific requirements
		  that an OS should satisfy to run on low-end IoT devices, and
		  we survey applicable OSs, focusing on candidates that could
		  become an equivalent of Linux for such devices, i.e., a
		  one-size-fits-most, open source OS for low-end IoT devices.},
  keywords        = {Internet of Things;mobile computing;operating systems
		  (computers);software maintenance;software maintenance;software
		  deployment;software development;IoT;Internet of Things;low-end
		  device;OS;operating system;Random access
		  memory;Hardware;Internet of things;Operating
		  systems;Standards;Embedded software;Internet of Things
		  (IoT);low-power electronics;operating system (OS)},
  doi             = {10.1109/JIOT.2015.2505901},
  ISSN            = {2327-4662},
  month           = {Oct},
}

Computer Architecture #

Introductory #

Structured Computer Organization (5th Edition) #

Bibtex
@book{tanenbaum2005structuredorg,
  author          = {Tanenbaum, Andrew S.},
  title           = {Structured Computer Organization (5th Edition)},
  year            = 2005,
  isbn            = 0131485210,
  publisher       = {Prentice-Hall, Inc.},
  address         = {USA}
}

Computer Organization and Design, Fifth Edition: The Hardware/Software Interface #

Bibtex
@book{patterson2013ComputerOrg,
  author          = {Patterson, David A. and Hennessy, John L.},
  title           = {Computer Organization and Design, Fifth Edition: The
		  Hardware/Software Interface},
  year            = 2013,
  isbn            = 0124077269,
  publisher       = {Morgan Kaufmann Publishers Inc.},
  address         = {San Francisco, CA, USA},
  edition         = {5th},
  abstract        = {The 5th edition of Computer Organization and Design moves
		  forward into the post-PC era with new examples, exercises, and
		  material highlighting the emergence of mobile computing and
		  the cloud. This generational change is emphasized and explored
		  with updated content featuring tablet computers, cloud
		  infrastructure, and the ARM (mobile computing devices) and x86
		  (cloud computing) architectures. Because an understanding of
		  modern hardware is essential to achieving good performance and
		  energy efficiency, this edition adds a new concrete example,
		  "Going Faster," used throughout the text to demonstrate
		  extremely effective optimization techniques. Also new to this
		  edition is discussion of the "Eight Great Ideas" of computer
		  architecture. As with previous editions, a MIPS processor is
		  the core used to present the fundamentals of hardware
		  technologies, assembly language, computer arithmetic,
		  pipelining, memory hierarchies and I/O. Instructors looking
		  for4th Edition teaching materials should e-mail
		  textbook@elsevier.com. Includes new examples, exercises, and
		  material highlighting the emergence of mobile computing and
		  the Cloud. Covers parallelism in depth with examples and
		  content highlighting parallel hardware and software topics
		  Features the Intel Core i7, ARM Cortex-A8 and NVIDIA Fermi GPU
		  as real-world examples throughout the book Adds a new concrete
		  example, "Going Faster," to demonstrate how understanding
		  hardware can inspire software optimizations that improve
		  performance by 200 times. Discusses and highlights the "Eight
		  Great Ideas" of computer architecture: Performance via
		  Parallelism; Performance via Pipelining; Performance via
		  Prediction; Design for Moore's Law; Hierarchy of Memories;
		  Abstraction to Simplify Design; Make the Common Case Fast; and
		  Dependability via Redundancy. Includes a full set of updated
		  and improved exercises.}
}

Computer Organization and Architecture: Designing for Performance #

Bibtex
@book{stallings2009ComputerOrgPerf,
  author          = {Stallings, William},
  title           = {Computer Organization and Architecture: Designing for
		  Performance},
  year            = 2009,
  isbn            = 9780136073734,
  publisher       = {Prentice Hall Press},
  address         = {USA},
  edition         = {8th},
  abstract        = {KEY BENEFIT: Learn the fundamentals of processor and
		  computer design from the newest edition of this award winning
		  text. KEY TOPICS: Introduction; Computer Evolution and
		  Performance; A Top-Level View of Computer Function and
		  Interconnection; Cache Memory; Internal Memory Technology;
		  External Memory; I/O; Operating System Support; Computer
		  Arithmetic; Instruction Sets: Characteristics and Functions;
		  Instruction Sets: Addressing Modes and Formats; CPU Structure
		  and Function; RISCs; Instruction-Level Parallelism and
		  Superscalar Processors; Control Unit Operation;
		  Microprogrammed Control; Parallel Processing; Multicore
		  Architecture. Online Chapters: Number Systems; Digital Logic;
		  Assembly Language, Assemblers, and Compilers; The IA-64
		  Architecture. MARKET: Ideal for professionals in computer
		  science, computer engineering, and electrical engineering.}
}

RISC-V #

The RISC-V Instruction Set Manual Volume II: Privileged Architecture Version v.20190608 #

Bibtex
@techreport{riscv2019PrivilegeArchitecture,
    Author = {Waterman, Andrew and Lee, Yunsup and Avizienis, Rimas and Patterson, David A. and Asanović, Krste},
    Title = {The RISC-V Instruction Set Manual Volume II: Privileged Architecture Ratified Version 1.11},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2019},
    Month = {Jun},
    URL = {https://github.com/riscv/riscv-isa-manual/releases/download/Ratified-IMFDQC-and-Priv-v1.11/riscv-privileged-20190608.pdf},
    Number = {v.20190608}
}

The Case for RISC-V in Space #

Bibtex
@inproceedings{ottavi2019TheCaseForRiscvInSpace,
  author          = "Di Mascio, Stefano and Menicucci, Alessandra and Furano,
		  Gianluca and Monteleone, Claudio and Ottavi, Marco",
  editor          = "Saponara, Sergio and De Gloria, Alessandro",
  title           = "The Case for RISC-V in Space",
  booktitle       = "Applications in Electronics Pervading Industry, Environment
		  and Society",
  year            = 2019,
  publisher       = "Springer International Publishing",
  address         = "Cham",
  pages           = "319--325",
  abstract        = "This paper presentsDi Mascio, Stefano preliminary position
		  on theMenicucci, Alessandra use of the novel, free and open
		  RISC-V Instruction Set Architecture (ISA) for on-boardFurano,
		  Gianluca electronics in space. The modular nature of this ISA,
		  the availability of a rich software ecosystem, a rapidly
		  growing communityMonteleone, Claudio and a pool of open-source
		  IP cores will allow Space Industry to spin-in developments
		  from terrestrial fields (in terms of security, artificial
		  intelligence, support forOttavi, Marco operating systems,
		  hardware acceleration etc.) while focusing its efforts mainly
		  on aspects related to the specific needs of on-board
		  electronics for space applications (e.g. fault tolerance,
		  observability, error signaling, etc.). This will improve reuse
		  and avoid the necessity of developments from scratch when not
		  strategically needed, eventually increasing productivity and
		  reducing costs. The use of an open, non proprietary ISA will
		  allow ad-hoc design of microarchitecture-level soft error
		  countermeasures that can greatly increase the robustness of
		  Application Specific Standard Products (ASSP) and FPGA
		  implementations.",
  isbn            = "978-3-030-11973-7"
}

The RISC-V Reader: An Open Architecture Atlas #

Bibtex
@book{patterson2017RiscvAtlas,
  author          = {Patterson, David and Waterman, Andrew},
  title           = {The RISC-V Reader: An Open Architecture Atlas},
  year            = 2017,
  isbn            = 0999249118,
  publisher       = {Strawberry Canyon},
  edition         = {1st},
  abstract        = {The RISC-V Reader is a concise introduction and reference
		  for embedded systems programmers, students, and the curious to
		  a modern, popular, open architecture. RISC-V spans from the
		  cheapest 32-bit embedded microcontroller to the fastest 64-bit
		  cloud computer. The text shows how RISC-V followed the good
		  ideas of past architectures while avoiding their mistake.
		  Highlights include: Introduces the RISC-V instruction set in
		  only 100 pages, including 75 figures An Instruction Translator
		  Guide to help translate assembly language programs from ARM-32
		  and x86-32 instruction sets to RISC-V 2-page RISC-V Reference
		  Card that summarizes all instructions 50-page Instruction
		  Glossary that defines every instruction in detail 75
		  spotlights of good architecture design using margin icons 50
		  sidebars with interesting commentary and RISC-V history 25
		  quotes to pass along wisdom of noted scientists and engineers
		  Ten chapters introduce each component of the modular RISC-V
		  instruction set--often contrasting code compiled from C to
		  RISC-V versus the older ARM, Intel, and MIPS
		  architectures--but readers can start programming after Chapter
		  2. Praise for The RISC-V Reader: This timely book concisely
		  describes the simple, free and open RISC-V ISA that is
		  experiencing rapid uptake in many different computing sectors.
		  Krste Asanovic, University of California, Berkeley, one of the
		  four architects of RISC-V I like RISC-V and this book as they
		  are elegantbrief, to the point, and complete. C. Gordon Bell,
		  a computer architecture pioneer This handy little book
		  effortlessly summarizes all the essential elements of the
		  RISC-V Instruction Set Architecture, a perfect reference guide
		  for students and practitioners alike. Professor Randy Katz,
		  University of California, Berkeley, one of the inventors of
		  RAID storage systems This clearly-written book offers a good
		  introduction to RISC-V, augmented with insightful comments on
		  its evolutionary history and comparisons with other familiar
		  architectures. John Mashey, one of the designers of the MIPS
		  architecture This book tells what RISC-V can do and why its
		  designers chose to endow it with those abilities. Ivan
		  Sutherland, the father of computer graphics RISC-V will change
		  the world, and this book will help you become part of that
		  change. Professor Michael B. Taylor, University of Washington
		  This book will be an invaluable reference for anyone working
		  with the RISC-V ISA. Megan Wachs, PhD, SiFive Engineer}
}

The RISC-V Instruction Set Manual (2014) #

Bibtex
@misc{Waterman14therisc-v,
  author          = {Andrew Waterman and Yunsup Lee and David A. Patterson and
		  Krste Asanovic and Volume I User-level Isa and Andrew Waterman
		  and Yunsup Lee and David Patterson},
  title           = {The RISC-V Instruction Set Manual},
  year            = 2014
}

Computer Organization and Design RISC-V Edition: The Hardware Software Interface #

Bibtex
@book{patterson2017ComputerOrgRiscvEdition,
  author          = {Patterson, David A. and Hennessy, John L.},
  title           = {Computer Organization and Design RISC-V Edition: The
		  Hardware Software Interface},
  year            = 2017,
  isbn            = 0128122757,
  publisher       = {Morgan Kaufmann Publishers Inc.},
  address         = {San Francisco, CA, USA},
  edition         = {1st},
  abstract        = {The new RISC-V Edition of Computer Organization and Design
		  features the RISC-V open source instruction set architecture,
		  the first open source architecture designed to be used in
		  modern computing environments such as cloud computing, mobile
		  devices, and other embedded systems. With the post-PC era now
		  upon us, Computer Organization and Design moves forward to
		  explore this generational change with examples, exercises, and
		  material highlighting the emergence of mobile computing and
		  the Cloud. Updated content featuring tablet computers, Cloud
		  infrastructure, and the x86 (cloud computing) and ARM (mobile
		  computing devices) architectures is included. An online
		  companion Web site provides advanced content for further
		  study, appendices, glossary, references, and recommended
		  reading. Features RISC-V, the first such architecture designed
		  to be used in modern computing environments, such as cloud
		  computing, mobile devices, and other embedded systems Includes
		  relevant examples, exercises, and material highlighting the
		  emergence of mobile computing and the cloud}
}

Software Engineering #

Embedded systems #

Modeling C-based embedded system using UML design #

Bibtex
@inproceedings{wang2009modeling,
  author          = { {Guoping Wang}},
  booktitle       = {2009 International Conference on Mechatronics and
		  Automation},
  title           = {Modeling C-based embedded system using UML design},
  year            = 2009,
  pages           = {2973-2977},
  abstract        = {Unified Modeling Language (UML) 2.0 is emerging in the area
		  of modeling the design of embedded system. The most common
		  implementation for the embedded-system models has been C++. On
		  one hand, the most common programming language for embedded
		  system overall by far is the functional language C. On the
		  other hand, the UML is used almost exclusively for
		  object-oriented systems development. This paper present an
		  approach of applying UML in the functionally-oriented embedded
		  systems design. This approach is illustrated using a stopwatch
		  design example.},
  keywords        = {C++ language;embedded systems;functional languages;Unified
		  Modeling Language;modeling C-based embedded system;UML
		  design;Unified Modeling Language;UML 2.0;C++;programming
		  language;functional language C;object-oriented systems
		  development;functionally-oriented embedded systems
		  design;stopwatch design;Embedded system;Unified modeling
		  language;Object oriented modeling;Computer languages;Embedded
		  computing;Real time systems;Costs;Energy
		  consumption;Mechatronics;Design automation;UML
		  modeling;embedded system
		  design;object-oriented;function-oriented},
  doi             = {10.1109/ICMA.2009.5246023},
  ISSN            = {2152-744X},
  month           = {Aug},
}

Fault tolerant #

Basic concepts and taxonomy of dependable and secure computing #

Bibtex
@article{avizienis2004ConceptsOfSecureComputing,
  author          = {A. {Avizienis} and J. -. {Laprie} and B. {Randell} and C.
		  {Landwehr}},
  journal         = {IEEE Transactions on Dependable and Secure Computing},
  title           = {Basic concepts and taxonomy of dependable and secure
		  computing},
  year            = 2004,
  volume          = 1,
  number          = 1,
  pages           = {11-33},
  abstract        = {This paper gives the main definitions relating to
		  dependability, a generic concept including a special case of
		  such attributes as reliability, availability, safety,
		  integrity, maintainability, etc. Security brings in concerns
		  for confidentiality, in addition to availability and
		  integrity. Basic definitions are given first. They are then
		  commented upon, and supplemented by additional definitions,
		  which address the threats to dependability and security
		  (faults, errors, failures), their attributes, and the means
		  for their achievement (fault prevention, fault tolerance,
		  fault removal, fault forecasting). The aim is to explicate a
		  set of general concepts, of relevance across a wide range of
		  situations and, therefore, helping communication and
		  cooperation among a number of scientific and technical
		  communities, including ones that are concentrating on
		  particular types of system, of system failures, or of causes
		  of system failures.},
  keywords        = {fault tolerant computing;data privacy;security of
		  data;system recovery;software reliability;taxonomy;dependable
		  computing;secure computing;system reliability;system
		  availability;system safety;system integrity;system
		  maintainability;fault prevention;fault tolerance;fault
		  removal;fault forecasting;system security;system
		  failures;system vulnerabilities;system
		  attacks;Taxonomy;Availability;Fault
		  tolerance;Safety;Maintenance;Communication system
		  security;Uncertainty;Standardization;Books;Index Terms-
		  Dependability;security;trust;faults;errors;failures;vulnerabilities;attacks;fault
		  tolerance;fault removal;fault forecasting.},
  doi             = {10.1109/TDSC.2004.2},
  ISSN            = {1941-0018},
  month           = {Jan},
}

Mathematics #

Binary #

Bit Twiddling Hacks #

Bibtex
@misc{sean2005BitTwiddlingHacks,
  title           = { Bit Twiddling Hacks },
  url             = {https://graphics.stanford.edu/~seander/bithacks.html},
  journal         = {Bit Twiddling Hacks},
  author          = {Sean Eron Anderson}
}

Binary number representation #

Bibtex
@misc{binaryNumberRepresentation,
  title           = {Unsigned Binary Integer},
  url             =
		  {https://www.mathcs.emory.edu/~cheung/Courses/255/others/BinNumReps.html},
  journal         = {Binary Number Representations}
}

What are bitwise shift (bit-shift) operators and how do they work? #

Bibtex
@misc{derekpark2008WhatAreBitwiseShift,
  title           = {What are bitwise shift (bit-shift) operators and how do
		  they work?},
  url             = {https://stackoverflow.com/a/141873},
  journal         = {What are bitwise shift (bit-shift) operators and how do
		  they work},
  publisher       = {Stackoverflow},
  author          = {Derek Park},
  year            = 2008,
  month           = {Sep}
}