000 03285nam a22004095i 4500
999 _c86302
_d86302
_x1
001 86302
003 ES-MaUEC
005 20230207040552.0
007 cr nn 008mamaa
008 161004s2016 gw | s |||| 0|eng d
020 _a9783319430652
040 _aES-MaUEC
050 4 _aTA168
_b.P385 2016
082 0 4 _a004.6
100 1 _aPaul, Wolfgang J.
_999926
_0Local
245 1 0 _aSystem Architecture :
_bAn Ordinary Engineering Discipline
_cby Wolfgang J Paul, Christoph Baumann, Petro Lutsyk, Sabine Schmaltz
260 _aCham
_bSpringer International Publishing
_c2016
300 _a1 recurso en línea (XII, 512 páginas)
_b243 ilustraciones
336 _aTexto
_btxt
_2rdacontent
337 _aelectrónico
_bc
_2rdamedia
338 _arecurso electrónico
_bcr
_2rdacarrier
505 0 _aIntroduction -- Understanding Decimal Addition -- Basic Mathematical Concepts -- Number Formats and Boolean Algebra -- Hardware -- Five Designs of RAM -- Arithmetic Circuits -- A Basic Sequential MIPS Machine -- Some Assembler Programs -- Context-Free Grammars -- The Language C0 -- A C0-Compiler -- Compiler Consistency Revisited -- Operating System Support -- A Generic Operating System Kernel.
520 3 _aThe pillars of the bridge on the cover of this book date from the Roman Empire and they are in daily use today, an example of conventional engineering at its best. Modern commodity operating systems are examples of current system programming at its best, with bugs discovered and fixed on a weekly or monthly basis. This book addresses the question of whether it is possible to construct computer systems that are as stable as Roman designs. The authors successively introduce and explain specifications, constructions and correctness proofs of a simple MIPS processor; a simple compiler for a C dialect; an extension of the compiler handling C with inline assembly, interrupts and devices; and the virtualization layer of a small operating system kernel. A theme of the book is presenting system architecture design as a formal discipline, and in keeping with this the authors rely on mathematics for conciseness and precision of arguments to an extent common in other engineering fields. This textbook is based on the authors' teaching and practical experience, and it is appropriate for undergraduate students of electronics engineering and computer science. All chapters are supported with exercises and examples.
650 0 7 _aOrdenadores
_2embne
_9138111
650 0 7 _aEstructuras de datos (Informática)
_2embne
_9151535
700 1 _aBaumann, Christoph
_0Local
_999927
700 1 _aLutsyk, Petro.
_999928
_0Local
700 1 _aSchmaltz, Sabine.
_999929
_0Local
710 2 _aSpringerLink (Online service)
_0Local
_9106996
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-3-319-43065-2
_zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
901 _ai9783319430652
907 _a.b12955802
_b10-10-17
_c21-11-16
942 _2lcc
_cLE
945 _aTA168 .P385 2016 EB
_g1
_ieBOOK
_j0
_lmae
_o-
_pEUR0.00
_q-
_r-
_sb
_t15
_u0
_v0
_w0
_x0
_y.i11597847
_z06-04-17
988 _aEBOOK, asignarmaterias , EBSPRINGER
998 _am
_a_alco
_a_vill
_b - -
_cm
_dz
_e-
_feng
_ggw
_h0