Bjarne - PDFSEARCH.IO - Document Search Engine

Bjarne
Results: 356

#	Item
301	C++ Programming Styles and Libraries Bjarne Stroustrup AT&T Labs - Research Florham Park - NJ ABSTRACT Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:52 C++ Generic programming Cross-platform software Procedural programming languages Matrix Template Library Bjarne Stroustrup Standard library Programming language C Computing Software engineering Computer programming
302	A rationale for semantically enhanced library languages Bjarne Stroustrup Department of Computer Science Texas A&M University College station, TX[removed]and AT&T Labs – Research Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:44 Programming language implementation Procedural programming languages Functional languages Cross-platform software Type theory C Preprocessor Domain-specific language Programming language Computing Software engineering Computer programming
303	Using ownership types to support library aliasing boundaries Luke Wagner Jaakko J¨arvi Bjarne Stroustrup Add to Reading List Source URL: people.dsv.su.se Language: English - Date: 2007-07-22 07:49:55 Data types Object-oriented programming C++ Concurrency control Threads Smart pointer Lock Reference Garbage collection Computing Software engineering Computer programming
304	Scalable Nonblocking Concurrent Objects for Mission Critical Code Damian Dechev Bjarne Stroustrup Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:49 Software engineering Compare-and-swap Software transactional memory Linearizability Non-blocking algorithm Pointer ABA problem Load-link/store-conditional Garbage collection Concurrency control Computing Data management
305	Verification and Semantic Parallelization of Goal-driven Autonomous Software Damian Dechev1 , Nicolas Rouquette2 , Peter Pirkelbauer1 , and Bjarne Stroustrup1 [removed], [removed], peter.pirkel Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:45 Formal methods Concurrent computing Concurrency control Compiler optimizations Logic in computer science Parallel computing Concurrent data structure Actor model Automatic parallelization Computing Theoretical computer science Software engineering
306	Specifying C++ Concepts Gabriel Dos Reis Bjarne Stroustrup Texas A&M University Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:50 C++ Concepts Iterator Generic programming Associative containers C++11 Template Set Sequence container Software engineering Computing Computer programming
307	Supporting SELL for High-Performance Computing Bjarne Stroustrup and Gabriel Dos Reis Department of Computer Science Texas A&M University College Station, TX[removed] Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:44 Cross-platform software Procedural programming languages Data types Type theory Compiler construction C++ C Type system Generic programming Software engineering Computing Computer programming
308	Reliable and Efficient Concurrent Synchronization for Embedded Real-Time Software Damian Dechev Bjarne Stroustrup Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:52 Computer programming Software transactional memory Compare-and-swap Non-blocking algorithm Linearizability Lock Pointer Hazard pointer Parallel computing Concurrency control Computing Software engineering