Peter Damian - PDFSEARCH.IO - Document Search Engine

Peter Damian
Results: 22

#	Item
1	1 Peter Damian, Selections from his Add to Reading List Source URL: pvspade.com Language: English - Date: 1999-06-01 16:16:31
2	Verification and Semantic Parallelization of Goal-driven Autonomous Software Damian Dechev1 , Nicolas Rouquette2 , Peter Pirkelbauer1 , and Bjarne Stroustrup1 , , peter.pirkel Add to Reading List Source URL: pirkelbauer.com - Date: 2011-11-03 23:34:20
3	WB-Analysis of the attack on the Nakula and Antareja machines in January 2002 RVS-RRLars Molske <> Damian Nowak <> Peter B. Ladkin <-bielefeld Add to Reading List Source URL: www.rvs.uni-bielefeld.de - Date: 2005-07-05 08:41:51
4	A Lock-Free Dynamically Resizable Array Damian Dechev1 Peter Pirkelbauer1 Bjarne Stroustrup1,2 Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:33:47 C++ Software engineering Computing Data types Arrays Sequence container New and delete Dynamic array Array data type Array data structure C dynamic memory allocation Pointer
5	Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , . Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:34:26 Concurrency control Software transactional memory Compare-and-swap Non-blocking algorithm ABA problem Monitor Hazard pointer Lock Load-link/store-conditional Linearizability Mutual exclusion Thread safety
6	Lock-free Dynamically Resizable Arrays Damian Dechev, Peter Pirkelbauer, and Bjarne Stroustrup Texas A&M University College Station, TX {dechev, peter.pirkelbauer}@tamu.edu, Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:35:23 Concurrency control Linearizability Non-blocking algorithm Hazard pointer Compare-and-swap Lock Monitor Reference counting Mutual exclusion File locking Concurrent data structure Standard Template Library
7	Source Code Rejuvenation is not Refactoring Peter Pirkelbauer, Damian Dechev, and Bjarne Stroustrup Department of Computer Science and Engineering Texas A&M University College Station, TX {peter.pirkelbauer, d Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:35:47 C++ Iterator C++11 Associative containers Code refactoring Generic programming Concepts Initialization Substitution failure is not an error Typename Template Sequence container
8	Support for the Evolution of C++ Generic Functions Peter Pirkelbauer1 , Damian Dechev2 , and Bjarne Stroustrup3 1 Lawrence Livermore National Laboratory Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2012-01-12 23:37:22 C++ Concepts Generic programming Template C++11 Functional Type system Standard Template Library Monad Polymorphism Scala Iterator
9	Programming and Validation Techniques for Reliable Goal-driven Autonomic Software Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer and Bjarne Stroustrup Abstract 1 Future space missions such as the Mars Science Labora Add to Reading List Source URL: stroustrup.com Language: English - Date: 2012-10-03 14:24:45
10	Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , . Add to Reading List Source URL: stroustrup.com Language: English - Date: 2012-10-03 14:24:52

UPDATE