| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910133590703321 |
|
|
Autore |
Sandén Bo |
|
|
Titolo |
Design of multithreaded software : the entity-life modeling approach / / by Bo Sandén |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Oxford : , : Wiley-Blackwell, , 2011 |
|
[Piscataqay, New Jersey] : , : IEEE Xplore, , [2011] |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-118-10273-8 |
1-283-30606-9 |
9786613306067 |
0-470-90490-9 |
0-470-90491-7 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (320 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Threads (Computer programs) |
Computer software - Development |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Foundations. Introduction -- Support for Multithreading -- State Modeling -- The ELM Way. Entity-Life Modeling -- Design Patterns Based on Event Threads -- Event-Thread Patterns for Resource Sharing -- Simultaneous Exclusive Access to Multiple Resources -- Background and Discussion. Real-Time Software Architectures and Data-Flow Design Approaches -- The Origins of Entity-Life Modeling. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book assumes familiarity with threads (in a language such as Ada, C#, or Java) and introduces the entity-life modeling (ELM) design approach for certain kinds of multithreaded software. ELM focuses on "reactive systems," which continuously interact with the problem environment. These "reactive systems" include embedded systems, as well as such interactive systems as cruise controllers and automated teller machines.Part I covers two fundamentals: program-language thread support and state diagramming. These are necessary for understanding ELM and are provided primarily for reference. P. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910865259003321 |
|
|
Autore |
Merino Jaime |
|
|
Titolo |
Many-Body Techniques in Condensed Matter Physics : Lecture Notes and Exercises for an Introductory Course / / by Jaime Merino, Alfredo Levy Yeyati |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2024.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (219 pages) |
|
|
|
|
|
|
Collana |
|
UNITEXT for Physics, , 2198-7890 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Condensed matter |
Particles (Nuclear physics) |
Quantum field theory |
Condensed Matter Physics |
Strongly Correlated Systems |
Elementary Particles, Quantum Field Theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Introduction to many-particle physics in Condensed Matter -- Introduction to Green-function methods -- Perturbation theory at zero temperature -- Finite temperature Green function formalism -- Linear response and collective modes -- Generalized Green function propagator -- Introduction to non-equilibrium: the Keldysh contour -- Perturbative expansion in the non-equilibrium formalism -- Applications: electron transport at the nanoscale -- Introduction to path integral methods -- Application of path integral methods: the renormalization group approach -- Hints for solving exercises. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book presents the lecture notes and exercises corresponding to the course "Quantum Field Theoretical Methods in Condensed Matter" that the authors imparted for several years as part of the masters program on Condensed Matter and Biological Systems at the Autonoma University of Madrid. It provides a step-by-step description of the material which will benefit not only professors wishing to undertake a similar task, but also interested students. Additionally, the book provides a complete set of exercises on the various topics along with |
|
|
|
|
|
|
|
|
|
|
hints about how to solve them, a feature frequently absent in textbooks on many-body techniques. As well as addressing the traditional topics in the field (diagrammatic techniques, screening in metals, Fermi liquid theory, electron-phonon interactions, etc.) the text also covers less conventional topics such as the application of non-equilibrium Green function techniques to quantum transport in normal and superconducting nanoscale devices. |
|
|
|
|
|
| |