Burckhardt - PDFSEARCH.IO - Document Search Engine

Burckhardt
Results: 215

#	Item
41	Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection Santosh Nagarakatte Sebastian Burckhardt Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-03-28 19:52:42 Concurrency control Scheduling algorithms Scheduling Software bugs Parallel computing Thread Multithreading Non-blocking algorithm Lock Computing Concurrent computing Computer programming
42	MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt A DISSERTATION in Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-11-21 12:53:21 Theoretical computer science Computer programming Concurrency control Model checking Parallel computing Linearizability Correctness Software bug Consistency model Computing Transaction processing Software engineering
43	Line-Up: A Complete and Automatic Linearizability Checker Sebastian Burckhardt Chris Dern Madanlal Musuvathi Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-04-28 14:53:00 Data management Concurrent computing Linearizability Serializability Non-blocking algorithm Sequential consistency Consistency model Thread safety Monitor Concurrency control Computing Transaction processing
44	Effective Program Verification for Relaxed Memory Models Sebastian Burckhardt and Madanlal Musuvathi Microsoft Research Abstract. Program verification for relaxed memory models is hard. The Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:08:29 Mind Knowledge Psychology Memory Neuropsychological assessment Projection
45	Effective Data-Race Detection for the Kernel John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk Microsoft Research {jerick, madanm, sburckha, kirko}@microsoft.com Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-12-21 15:20:39 Concurrency control Concurrent computing Computer memory Concurrency Debugging Thread Breakpoint Kernel Pointer aliasing Computing Software engineering Computer programming
46	CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models ∗ Sebastian Burckhardt Rajeev Alur Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-03-26 08:41:48 Computer memory Concurrent computing Memory management Transaction processing Memory barrier Non-blocking algorithm C dynamic memory allocation Linearizability Priority queue Computing Software engineering Concurrency control
47	TSTV-BW e.V. Tanzsporttrainervereinigung Baden-Württemberg e.V. Geschäftsstelle: Präsident Vizepräsident Schatzmeister Schriftführer Joachim Krause Bernd Junghans Heinz Burckhardt Petra Dres Blauer Weg 77 Maria-Meri Add to Reading List Source URL: dtv-breitensporttournee.de Language: German - Date: 2014-07-10 12:35:42
48	Fact sheet Das Roche-Hochhaus in Rotkreuz Verwaltungszentrum Bau 5 Das Hochhaus, genannt Bau 5, wurde vom Basler Architekturbüro Burckhardt+Partner AG aufgrund eines Add to Reading List Source URL: www.roche.ch Language: German - Date: 2011-06-06 02:25:01
49	Visio-Hyper_training Program_5days_inhouse.vsd Add to Reading List Source URL: www.burckhardtcompression.com Language: English - Date: 2014-07-01 04:21:17 Burckhardt Compression Technology Compressors Mechanical engineering Gas compressor
50	Visio-Laby_Training Programm_5_days_inhouse.vsd Add to Reading List Source URL: www.burckhardtcompression.com Language: English - Date: 2014-07-01 04:20:18 Piston Mechanical engineering Compressors Burckhardt Compression Pump

UPDATE