✦ LIBER ✦

From sequential programs to concurrent threads

✍ Scribed by Ottoni, G.; Rangan, R.; Stoler, A.; Bridges, M.J.; August, D.I.

Book ID: 114572035
Publisher: IEEE
Year: 2006
Tongue: English
Weight: 524 KB
Volume: 5
Category: Article
ISSN: 1556-6056
DOI: 10.1109/l-ca.2006.5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

UNIX systems programming: communication,

UNIX systems programming: communication, concurrency and threads

✍ Kay A. Robbins, Steve Robbins 📂 Library 📅 2003 🏛 Prentice Hall 🌐 English ⚖ 3 MB

Appropriate for all intermediate-to-advanced courses in UNIX or Linux programming. This fully updated UNIX classic covers everything students need to know to master UNIX threads, TCP/IP, and RPC programming—with reusable code examples that explain syntax every step of the way. The authors explain

Efficient Verification of Sequential and

Efficient Verification of Sequential and Concurrent C Programs

✍ S. Chaki; E. Clarke; A. Groce; J. Ouaknine; O. Strichman; K. Yorav 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 627 KB

A sequential quadratic programming appro

A sequential quadratic programming approach to concurrent gate and wire sizing

✍ Menezes, N.; Baldick, R.; Pileggi, L.T. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 477 KB

Multi-threaded code generation from Sign

Multi-threaded code generation from Signal program to OpenMP

✍ Hu, Kai; Zhang, Teng; Yang, Zhibin 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 967 KB

Verification of Sequential and Concurren

Verification of Sequential and Concurrent Programs.by Krzysztof R. Apt; Ernst-Rudiger Olderog

✍ Review by: John C. Mitchell 📂 Article 📅 1993 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 319 KB

Threads Primer: A Guide to Multithreaded

Threads Primer: A Guide to Multithreaded Programming

✍ Bil Lewis, Daniel J. Berg 📂 Library 📅 1995 🏛 Prentice Hall PTR 🌐 English ⚖ 952 KB

Describes the design of the Solaris MT API, with references to distinctions in POSIX. Contains a set of example programs which illustrate the usage of the Solaris and POSIX APIs. Explains the use of programming tools: Thread Analyzer, LockLint, LoopTool, and Debugger.