Search Results - d.3.3 [programming languages]: language construction AND features—concurrent programming struct

Santa Claus: Formal Analysis of a Process-Oriented Solution.

Authors: WELCH, PETER H. PEDERSEN, JAN B.

Source: ACM Transactions on Programming Languages & Systems; Apr2010, Vol. 32 Issue 4, p14-14.37, 37p, 6 Diagrams

Subject Terms: MULTICORE processors, SIMULTANEOUS multithreading processors, COMPUTER multitasking, PARALLEL processing, SOFTWARE verification, COMPUTER software correctness

Views: Object-Inspired Concurrency Control.

Authors: Demsky, Brian Lam, Patrick

Source: ICSE: International Conference on Software Engineering; 2010, p395-404, 10p, 11 Diagrams

Subject Terms: COMPUTER software, EMAIL, DEBUGGING, ELECTRONIC data processing

What Every Engineer Should Know About Software Engineering

Authors: Phillip A. Laplante Mohamad Kassab

Resource Type: eBook.

Subjects: Software engineering

Categories: COMPUTERS / Software Development & Engineering / General, MATHEMATICS / General, TECHNOLOGY & ENGINEERING / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Engineering (General), TECHNOLOGY & ENGINEERING / Materials Science / General

GPU Solutions to Multi-scale Problems in Science and Engineering

Authors: David A. Yuen Long Wang Xuebin Chi et al.

Resource Type: eBook.

Subjects: Multivariate analysis--Data processing--Congresses, High performance computing--Congresses, Graphics processing units--Congresses

Categories: MATHEMATICS / Numerical Analysis, SCIENCE / Chemistry / Physical & Theoretical, SCIENCE / Physics / Geophysics, SCIENCE / Mechanics / Solids