Many-core and heterogeneous architectures: programming models and compilation toolchains

1noL'abstract è presente nell'allegato / the abstract is in the attachmentopen677. INGEGNERIA INFORMATInopartially_openembargoed_20211002Barchi, Francesc

Recent advances in petri nets and concurrency

CEUR Workshop Proceeding

Software Engineering Laboratory Series: Collected Software Engineering Papers

The Software Engineering Laboratory (SEL) is an organization sponsored by NASA/GSFC and created to investigate the effectiveness of software engineering technologies when applied to the development of application software. The activities, findings, and recommendations of the SEL are recorded in the Software Engineering Laboratory Series, a continuing series of reports that includes this document

Class Notes in Discrete Mathematics, Operations Research, Statistics and Probability (Fourth Edition, v1)

Editorâ⠡‰ ¾Ã‚¢s Note: In graduate school, it became too cumbersome for me to look-up equations, theorems, proofs, and problem solutions from previous courses. I had three boxes full of notes and was going on my fourth. Due to the need to reference my notes periodically, the notes became more unorganized over time. Thatâ⠡‰ ¾Ã‚¢s when I decided to typeset them. I have been doing this for over a decade. Later in life, some colleagues asked if I could make these notes available to others (they were talking about themselves). I did. These notes can be downloaded for free from the web site http://www.repec.org/ and can be found in the Library of Congress. Note that the beginning of each chapter lists the professorâ⠡‰ ¾Ã‚¢s name and aï⠡½liation. Additionally, the course number, the date the course was taken, and the text book are given. The reader may also notice that I have made more use of the page space than in the previous editions of this manuscript. Hence, the book is shorter. If this causes the reader problems, then simply copy the proofs onto a blank sheet of paper â⠡¬â€� one line per algebraic manipulation. In this text, I put several algebraic manipulations on one line to save space

The Fifth National Technology Transfer Conference and Exposition

No abstract availabl

Energy: A continuing bibliography with indexes, supplement 16, January 1978

This bibliography lists 1287 reports, articles, and other documents introduced into the NASA scientific and technical information system from October 1, 1977 through December 31, 1977