Sablé - PDFSEARCH.IO - Document Search Engine

Sablé
Results: 699

#	Item
181	McGill University School of Computer Science Sable Research Group Compiler Analyses for Improved Return Value Prediction Sable Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2004-10-30 23:45:05 Computer programming Memoization Lookup table Computing Computer performance Software optimization
182	McGill University School of Computer Science Sable Research Group Component-Based Lock Allocation Sable Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-05-17 17:55:00 Lock Deadlock Non-blocking algorithm Critical section Linearizability Parallel computing Two-phase locking C dynamic memory allocation OpenMP Concurrency control Computing Computer programming
183	McGill University School of Computer Science Game Research at McGill Formal Verification of Computer Narratives GR@M Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2009-06-10 18:11:01 Computer science Model checkers Concurrency Automata theory Diagrams NuSMV Petri net Model checking Formal verification Models of computation Theoretical computer science Applied mathematics
184	McGill University School of Computer Science Sable Research Group Memory Abstractions for Speculative Multithreading Sable Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2008-10-20 18:49:32 Parallel computing Concurrent computing Memory management Control flow Concurrency control Call stack Thread Speculative multithreading Stack Computing Computer programming Software engineering
185	(P)NFG: A LANGUAGE AND RUNTIME SYSTEM FOR STRUCTURED COMPUTER NARRATIVES Christopher J.F. Pickett Clark Verbrugge F´elix Martineau School of Computer Science, McGill University Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2005-08-08 06:59:50 Diagrams Freeware NuSMV Models of computation Petri net Model checking Inform Hugo Binary decision diagram Software Interactive fiction Computing
186	McGill University School of Computer Science Sable Research Group Understanding Method Level Speculation Sable Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2009-09-28 00:51:21 Universe Symbol Beta Andromedae Astronomy
187	THE JOURNAL OF BIOLOGICAL CHEMISTRY © 2002 by The American Society for Biochemistry and Molecular Biology, Inc. Vol. 277, No. 21, Issue of May 24, pp–18709, 2002 Printed in U.S.A. Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2004-05-19 23:48:19 Catalysis Enzyme kinetics Enzymes Methylenetetrahydrofolate dehydrogenase Acetaldehyde dehydrogenase Methenyltetrahydromethanopterin cyclohydrolase Chemistry Chemical kinetics Physical chemistry
188	Software Speculative Multithreading for Java Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-11-01 11:01:23 Software bugs Computing Software Foobar GNU parallel
189	McGill University School of Computer Science Sable Research Group libspmt: A Library for Speculative Multithreading Sable Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-05-18 00:38:26 Parallel computing Concurrent computing Threads Control flow Concurrency control Speculative multithreading Speculative Multithreading C dynamic memory allocation Computing Computer programming Software engineering
190	SableSpMT: A Software Framework for Analysing Speculative Multithreading in Java Christopher J.F. Pickett Clark Verbrugge Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2005-08-26 18:09:40 Parallel computing Concurrency control Programming language implementation Microprocessors Speculative multithreading Speculative Profiling Instruction-level parallelism MAJC Computing Concurrent computing Computer architecture

UPDATE