Nested

Results: 632



#Item
371Information / Schedule / Database transaction / Nested transaction / Commit / Timestamp-based concurrency control / Transaction processing / Data management / Data

Ordering-Based Semantics for Software Transactional Memory∗ Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, and Michael L. Scott Technical Report #938 Department of Computer Science, University of Rochester {s

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2008-08-11 10:09:37
372Nash equilibrium / Signaling game / Strategic dominance / Comparative statics / Information / Game theory / Problem solving / Economics

Discussion paper[removed]INFORMATION TRANSMISSION IN NESTED SENDER-RECEIVER GAMES Ying Chen

Add to Reading List

Source URL: spire.sciencespo.fr

Language: English
373Algebraic graph theory / Laplacian matrix / Eigenvalues and eigenvectors / Nested dissection / Vertex separator / Planar separator theorem / Adjacency matrix / Graph theory / Mathematics / Algebra

Partitioning Alex Sparse Pothen

Add to Reading List

Source URL: snap.stanford.edu

Language: English - Date: 2011-12-04 14:11:43
374Chemistry / Polymerase chain reaction / Laboratory techniques / DNA replication / Biotechnology / Reverse transcription polymerase chain reaction / Taq polymerase / Primer / Biology / Molecular biology / Biochemistry

Protocol S2: XMRV gag nested RT-PCR Supplement to Urisman et al., PLOS Pathogens 2006. “Identification of a Novel Gammaretrovirus in Prostate Tumors of Patients Homozygous for R462Q RNASEL Variant.” DeRisi Laboratory

Add to Reading List

Source URL: www.ncbi.nlm.nih.gov

Language: English
375Procedural programming languages / Recursion / Higher-order functions / Data types / Functional languages / Fold / Cyclic group / CLIST / Cyclic / Software engineering / Computing / Computer programming

Representing Cyclic Structures as Nested Datatypes Neil Ghani1 , Makoto Hamana2 , Tarmo Uustalu3 , and Varmo Vene4 1 School of Computer Science and IT, Univ. of Nottingham, Jubilee Campus, Wollaton Road, Nottingham NG8 1

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2006-03-26 08:25:14
376RAID / NForce4 / NForce3 / Nested RAID levels / NForce / Data striping / Standard RAID levels / 3dfx Interactive / NForce 500 / Nvidia / Computer hardware / Motherboard

ForceWare Software MediaShield User’s Guide Version 5.0

Add to Reading List

Source URL: http.download.nvidia.com

Language: English - Date: 2006-05-17 21:26:42
377Data / Information / Software transactional memory / Serializability / Linearizability / Transactional memory / Lock / Database transaction / Nested transaction / Transaction processing / Concurrency control / Data management

An Integrated Hardware-Software Approach to Flexible Transactional Memory ∗ Arrvindh Shriraman, Michael F. Spear, Hemayet Hossain, Virendra J. Marathe, Sandhya Dwarkadas, and Michael L. Scott

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2007-03-29 04:48:18
378Information / Concurrency control / Software transactional memory / Isolation / Schedule / Linearizability / Extensible Storage Engine / CPU cache / Nested transaction / Transaction processing / Data management / Data

DISC[removed]Conflict Detection and Validation Strategies for Software Transactional Memory? Michael F. Spear, Virendra J. Marathe, William N. Scherer III, and Michael L. Scott Department of Computer Science

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2011-04-01 10:36:28
379Computer science / Finite-state machine / Nondeterministic finite automaton / Powerset construction / Nested word / Automata theory / Theoretical computer science / Models of computation

Efficient Solution of Language Equations Using Partitioned Representations Alan Mishchenko, Robert Brayton, Roland Jiang Tiziano Villa Nina Yevtushenko

Add to Reading List

Source URL: www.bvsrc.org

Language: English - Date: 2004-12-03 17:36:01
380Information / Schedule / Database transaction / Nested transaction / Commit / Transaction processing / Data management / Data

Ordering-Based Semantics for Software Transactional Memory! Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, and Michael L. Scott Department of Computer Science, University of Rochester, Rochester, NY 14627, USA

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2008-12-13 17:04:59
UPDATE