Search results for "read"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
76	Toshihide Ibaraki, Tiko Kameda, Naoki Katoh	Multiversion Cautious Schedulers for Database Concurrency Control.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	read/write steps, multiversion cautious scheduler, incoming sequence, read sets, write sets, MWW, MWRW, multiversion classes, write-write, write-read-write constraints, cancellation anomaly, predeclared steps, read operations, scheduling, concurrency control, database management systems, transactions, transaction processing, polynomial time, logs, rollbacks, reordering, MC, database concurrency control
66	Takuya Nakaike, Maged M. Michael	Lock elision for read-only critical sections in Java.	PLDI	2010	DBLP DOI BibTeX RDF	lock elision, java, optimization, synchronization, monitor, lock, just-in-time compiler
62	Matthias Meyer	A true hardware read barrier.	ISMM	2006	DBLP DOI BibTeX RDF	object-based processor architecture, hardware support, real-time garbage collection, read barrier
62	Hector Garcia-Molina, Gio Wiederhold	Read-Only Transactions in a Distributed Database.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	R insularity, transaction processing algorithm, schedule, concurrency control, consistency, transaction, query, serializability, read-only transaction, currency
57	Ehsan Atoofian, Amirali Baniasadi, Yvonne Coady	Adaptive Read Validation in Time-Based Software Transactional Memory.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF	read validation policy, time-based transactional memory, transactional memory
52	Dana Angluin, Lisa Hellerstein, Marek Karpinski	Learning Read-Once Formulas with Queries.	J. ACM	1993	DBLP DOI BibTeX RDF	?-formulas, exact identification, polynomial-time learning, read-once formulas, interpolation, membership queries, equivalence queries
48	Daniela De Venuto, Bruno Riccò	High Resolution Read-Out Circuit for DNA Label-Free Detection System.	ISQED	2008	DBLP DOI BibTeX RDF	DNA biosensor read-out. Charge sensitive front-end, differential read-out system
48	Seunghwan Hyun, Sehwan Lee, Sungyong Ahn, Hyokyung Bahn, Kern Koh	Vector Read: Exploiting the Read Performance of Hybrid NAND Flash.	RTCSA	2008	DBLP DOI BibTeX RDF
48	Martin Sauerhoff	Randomness versus Nondeterminism for Read-Once and Read- k Branching Programs.	STACS	2003	DBLP DOI BibTeX RDF
48	Brajendra Panda, Kazi Asharful Haque	Extended data dependency approach: a robust way of rebuilding database.	SAC	2002	DBLP DOI BibTeX RDF	actual-read/write, clean-write, overlooked-read/write, predicate-read, data dependency
47	Jonas Skeppstedt	Overcoming Limitations of Prefetching in Multiprocessors by Compiler-Initiated Coherence Actions.	IEEE PACT	1997	DBLP DOI BibTeX RDF	compiler-initiated coherence, CC-NUMA multiprocessor, compiler-controlled prefetching, read-stall time, write-latency, read-latency, memory access latency reduction, migratory sharing, parallel architectures, multiprocessors, prefetching, prefetch, compiler-analysis
47	Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev	Unfolding and Finite Prefix for Nets with Read Arcs.	CONCUR	1998	DBLP DOI BibTeX RDF
44	Andreas Moshovos, Gurindar S. Sohi	Reducing Memory Latency via Read-after-Read Memory Dependence Prediction.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	memory dependence prediction, cache, dynamic optimization, load
44	Andreas Moshovos, Gurindar S. Sohi	Read-After-Read Memory Dependence Prediction.	MICRO	1999	DBLP DOI BibTeX RDF
43	Amir Shpilka, Ilya Volkovich	Read-once polynomial identity testing.	STOC	2008	DBLP DOI BibTeX RDF	bounded depth circuits, identity testing, read-once formulas, reconstruction, arithmetic circuits
43	Kevin Fu, M. Frans Kaashoek, David Mazières	Fast and secure distributed read-only file system.	ACM Trans. Comput. Syst.	2002	DBLP DOI BibTeX RDF	read-only, security, File systems
43	Mårten Björkman, Fredrik Dahlgren, Per Stenström	Using hints to reduce the read miss penalty for flat COMA protocols.	HICSS (1)	1995	DBLP DOI BibTeX RDF	read miss penalty, flat COMA protocols, flat cache-only memory architectures, attraction-memory miss, directory interrogation, network traversals, data copy holder identity tracking, benchmark applications, protocol complexity, performance evaluation, transaction processing, memory architecture, cache storage, performance improvement, hints, architectural simulations, memory protocols
43	Patrick M. Lenders	Distributed Computing with Single Read-Single Write Variables.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	single read-single write variables, free, wait state, SRSW variables, regular sequential language, SRSW data type, parallel programs, distributed computing, distributed processing, message passing, operational semantics, asynchronous communication, syntax, busy, synchronous communication
43	Wen-Tzeng Huang, C. T. Chen, Chin-Hsing Chen, C. C. Cheng	Energy-Efficient Buffer Architecture for Flash Memory.	MUE	2008	DBLP DOI BibTeX RDF	FAB, Grey decision, read/write buffer architecture, optimal-read only-write buffer architecture, flash memory, LRU
43	Chung-Kuan Tsai, Malgorzata Marek-Sadowska	Analysis of Process Variation's Effect on SRAM's Read Stability.	ISQED	2006	DBLP DOI BibTeX RDF
42	Sandeep S. Kulkarni, Umamaheswaran Arumugam	Transformations for Write-All-with-Collision Model.	OPODIS	2003	DBLP DOI BibTeX RDF	Model conversions, Preserving stabilization, Atomicity refinement, Write-all-with-collision model, Read/Write model
42	M. Simpson	Users invoked: How documents help readers assume user roles.	SIGDOC	1989	DBLP DOI BibTeX RDF
42	Meichun Hsu, Stuart E. Madnick	Hierarchical Database Decomposition - A Technique for Database Concurrency Control.	PODS	1983	DBLP DOI BibTeX RDF
41		Learning by Reading and Learning to Read, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-07, Stanford, California, USA, March 23-25, 2009	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Tim Finin, Zareen Syed, James Mayfield, Paul McNamee, Christine D. Piatko	Using Wikitology for Cross-Document Entity Coreference Resolution.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Sergei Nirenburg, Tim Oates 0001	Preface.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Alan Ritter, Stephen Soderland, Oren Etzioni	What Is This, Anyway: Automatic Hypernym Discovery.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	David D. McDonald	Lexical Inference and the Problem of the Long Tail.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Justin Betteridge, Andrew Carlson, Sue Ann Hong, Estevam R. Hruschka Jr., Edith L. M. Law, Tom M. Mitchell, Sophie H. Wang	Toward Never Ending Language Learning.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Lenhart K. Schubert	Language Understanding as Recognition and Transduction of Numerous Overlaid Patterns.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Zornitsa Kozareva, Eduard H. Hovy, Ellen Riloff	Learning and Evaluating the Content and Structure of a Term Taxonomy.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Sergei Nirenburg, Tim Oates 0001	Organizing Committee.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Kevin Livingston, Christopher Riesbeck	Resolving References and Identifying Existing Knowledge in a Memory Based Parser.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	James Mayfield, David Alexander, Bonnie J. Dorr, Jason Eisner, Tamer Elsayed, Tim Finin, Clayton Fink, Marjorie Freedman, Nikesh Garera, Paul McNamee, Saif M. Mohammad, Douglas W. Oard, Christine D. Piatko, Asad B. Sayeed, Zareen Syed, Ralph M. Weischedel, Tan Xu, David Yarowsky	Cross-Document Coreference Resolution: A Key Technology for Learning by Reading.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Jon Curtis, David Baxter, Peter Wagner, John Cabral, Dave Schneider, Michael Witbrock	Methods of Rule Acquisition in the TextLearner System.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Kenneth D. Forbus, Kate Lockwood, Abhishek B. Sharma, Emmett Tomai	Steps Towards a Second Generation Learning by Reading System.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Rutu Mulkar-Mehta, Jerry R. Hobbs, Chun-Chi Liu, Xianghong Jasmine Zhou	Discovering Causal and Temporal Relations in Biomedical Texts.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Peter Clark, John A. Thompson	A Study of Machine Reading from Multiple Texts.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Martha Palmer, Jena D. Hwang, Susan Windisch Brown, Karin Kipper Schuler, Arrick Lanfranchi	Leveraging Lexical Resources for the Detection of Event Relations.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Daniel G. Bobrow, Cleo Condoravdi, Lauri Karttunen, Annie Zaenen	Learning by Reading: Normalizing Complex Linguistic Structures onto a Knowledge Representation.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Andrew Carlson, Scott Gaffney, Flavian Vasile	Learning a Named Entity Tagger from Gazetteers with the Partial Perceptron.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
41	Doo Soon Kim, Bruce W. Porter	Kleo: A Bootstrapping Learning-by-Reading System.	AAAI Spring Symposium: Learning by Reading and Learning to Read	2009	DBLP BibTeX RDF
39	Ingo Wegener	The Size of Reduced OBDD's and Optimal Read-Once Branching Programs for Almost All Boolean Functions.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	optimal read-once branching programs, minimal read-once branching program size, reduction rules, size complexity, computational complexity, Boolean functions, Boolean functions, directed graphs, programming theory, ordered binary-decision diagrams, variable ordering
39	Michel Raynal, Matthieu Roy, Ciprian Tutu	A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations.	AINA	2005	DBLP DOI BibTeX RDF
39	Guohui Li, Hongya Wang, Yunsheng Liu, Jixiong Chen	Mobile real-time read-only transaction processing in data broadcast environments.	SAC	2005	DBLP DOI BibTeX RDF	hybrid data broadcast, mobile real-time read-only transaction processing, updates dissemination
39	André Seifert, Marc H. Scholl	Processing Read-Only Transactions in Hybrid Data Delivery Environments with Consistency and Currency Guarantees.	Mob. Networks Appl.	2003	DBLP DOI BibTeX RDF	data currency, broadcasting, data consistency, unicasting, read-only transactions
38	James H. Anderson, Philip Holman	Efficient pure-buffer algorithms for real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	efficient pure-buffer algorithms, multiprocessor real-time systems, multi-writer read/write pure-buffers, overwritten data, client processes, handshaking mechanisms, concurrent read/write operations safety, quantum-scheduled systems, priority-scheduled systems, buffer word length, real-time systems, computational complexity, distributed algorithms, safety, multiprocessing systems, time complexity, processor scheduling, optimized algorithms, buffer storage, space complexity, wait-free algorithms, shared buffers, processor number
38	Paul Beame, Dang-Trinh Huynh-Ngoc	On the Value of Multiple Read/Write Streams for Approximating Frequency Moments.	FOCS	2008	DBLP DOI BibTeX RDF
38	Zhiying Jiang, Jin He, Jizhong Han, Xigui Wang, Yonghao Zhou, Xubin He	An SRP Target Mode to Improve Read Performance of SRP-Based IB-SANs.	ISPA	2007	DBLP DOI BibTeX RDF
38	Juan Bicarregui	Do Not Read This.	FME	2002	DBLP DOI BibTeX RDF
38	Jeff Bogda	Detecting Read-Only Methods in Java.	LCR	2000	DBLP DOI BibTeX RDF
38	Martin Sauerhoff	Lower Bounds for Randomized Read-k-Times Branching Programs (Extended Abstract).	STACS	1998	DBLP DOI BibTeX RDF
38	Nader H. Bshouty, Thomas R. Hancock, Lisa Hellerstein	Learning Boolean Read-Once Formulas with Arbitrary Symmetric and Constant Fan-in Gates.	COLT	1992	DBLP DOI BibTeX RDF
38	R. C. Hansdah, Lalit M. Patnaik	Weak Consistency Of Read-only Transactions: A Tool to Improve Concurrency in Heterogeneous Locking Protocols.	FSTTCS	1987	DBLP DOI BibTeX RDF
38	Bogdan S. Chlebus, Dariusz R. Kowalski	Cooperative asynchronous update of shared memory.	STOC	2005	DBLP DOI BibTeX RDF	problem Write-All, read and write register, work efficiency, distributed algorithm, expander, asynchrony, disperser
37	James Aspnes, Hagit Attiya, Keren Censor	Max registers, counters, and monotone circuits.	PODC	2009	DBLP DOI BibTeX RDF	max registers, distributed computing, shared memory, counters, monotone circuits
37	Chryssis Georgiou, Nicolas C. Nicolaou, Alexander A. Shvartsman	On the Robustness of (Semi) Fast Quorum-Based Implementations of Atomic Shared Memory.	DISC	2008	DBLP DOI BibTeX RDF
37	Prasad Jayanti	A Complete and Constant Time Wait-Free Implementation of CAS from LL/SC and Vice Versa.	DISC	1998	DBLP DOI BibTeX RDF
37	E. M. Boehm, Thomas B. Steel Jr.	The Share 709 System: Machine Implementation of Symbolic Programming.	J. ACM	1959	DBLP DOI BibTeX RDF
34	Ivo Weevers, Wouter Sluis, Claudia van Schijndel, Siska Fitrianie, Lyuba Kolos-Mazuryk, Jean-Bernard Martens	Read-It: A Multi-modal Tangible Interface for Children Who Learn to Read.	ICEC	2004	DBLP DOI BibTeX RDF
34	Sheng Lin 0006, Yong-Bin Kim, Fabrizio Lombardi	Read-out schemes for a CNTFET-based crossbar memory.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	carbon nanotube field effect transistor, crossbar design, read-out circuit, noise margin
34	Damien Imbs, Michel Raynal	Help When Needed, But No More: Efficient Read/Write Partial Snapshot.	DISC	2009	DBLP DOI BibTeX RDF	LL/SC atomic registers, Partial snapshot, Read/Write atomic register, Concurrency, Locality, Efficiency, Atomicity, Adaptive algorithm, Asynchrony, Process crash, Linearizability, Wait-free algorithm, Asynchronous shared memory system
34	Thirumalaisamy Ragunathan, P. Krishna Reddy	Improving the performance of read-only transactions through asynchronous speculation.	SpringSim	2008	DBLP DOI BibTeX RDF	parallel processing, concurrency control, database systems, speculation, read-only transactions
34	Chryssis Georgiou, Nicolas C. Nicolaou, Alexander A. Shvartsman	Fault-tolerant semifast implementations of atomic read/write registers.	SPAA	2006	DBLP DOI BibTeX RDF	communication rounds, read/write registers, fault-tolerance, distributed algorithms, atomicity
34	Martin Sauerhoff	On the size of randomized OBDDs and read-once branching programs for k-stable functions.	Comput. Complex.	2001	DBLP DOI BibTeX RDF	read-once branching program, zero error, lower bounds, randomness, communication complexity, OBDD
34	Beate Bollig, Philipp Woelfel	A read-once branching program lower bound of Omega(2n/4) for integer multiplication using universal.	STOC	2001	DBLP DOI BibTeX RDF	read-once branching programs, computational complexity, lower bounds, integer multiplication
34	Kwok-Wa Lam, Victor C. S. Lee, Sheung-lun Hung	Scheduling real-time read-only transactions.	RTCSA	1997	DBLP DOI BibTeX RDF	consistency requirements, multiversion database system, reactive actions, scheduling, real-time systems, read-only transactions, update transactions
33	David Dice, Nir Shavit	TLRW: return of the read-write lock.	SPAA	2010	DBLP DOI BibTeX RDF	multicore processors, concurrent data structures
33	Hyotaek Shim, Jaegeuk Kim, Dawoon Jung 0001, Jin-Soo Kim 0001, Seungryoul Maeng	RMA: A Read Miss-Based Spin-Down Algorithm using an NV cache.	ICCD	2008	DBLP DOI BibTeX RDF
33	Zhiyu Liu, Volkan Kursun	High Read Stability and Low Leakage Cache Memory Cell.	ISCAS	2007	DBLP DOI BibTeX RDF
33	Eli Gafni	Read-Write Reductions.	ICDCN	2006	DBLP DOI BibTeX RDF
33	Gunjae Koo, Woochul Jung, Heesub Lee	A robust PRML read channel with digital timing recovery for multi-format optical disc.	ISCAS	2006	DBLP DOI BibTeX RDF
33	André Seznec, Eric Toullec, Olivier Rochecouste	Register write specialization register read specialization: a path to complexity-effective wide-issue superscalar processors.	MICRO	2002	DBLP DOI BibTeX RDF
33	Konstantinos Kalpakis, Koustuv Dasgupta, Ouri Wolfson	Optimal Placement of Replicas in Trees with Read, Write, and Storage Costs.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	multicasting, Data replication, facility location, tree networks, p-medians, file allocation
33	Martin Sauerhoff	On the Size of Randomized OBDDs and Read-Once Branching Programs for k-Stable Functions.	STACS	1999	DBLP DOI BibTeX RDF
33	Dan Liu, Xinsong Liu, Zhijie Qiu, Gongjun Yan	A High Efficiency Distributed Mutual Exclusion Algorithm.	APPT	2003	DBLP DOI BibTeX RDF	read/write clock stamp, self-stability, distributed mutual exclusion
32	Rida A. Bazzi, Yin Ding	Bounded Wait-Free f-Resilient Atomic Byzantine Data Storage Systems for an Unbounded Number of Clients.	DISC	2006	DBLP DOI BibTeX RDF	Fault Tolerance, Replication, Atomic, Timestamps, Wait-Free, Byzantine
32	Farid M. Ablayev, Aida Gainutdinova, Marek Karpinski	On Computational Power of Quantum Branching Programs.	FCT	2001	DBLP DOI BibTeX RDF
31	Lei Jiang 0001, Wujie Wen, Danghui Wang, Lide Duan	Improving read performance of STT-MRAM based main memories through Smash Read and Flexible Read.	ASP-DAC	2016	DBLP DOI BibTeX RDF
31	Atsuro Kobayashi, Tsukasa Tokutomi, Ken Takeuchi	Versatile TLC NAND flash memory control to reduce read disturb errors by 85% and extend read cycles by 6.7-times of Read-Hot and Cold data for cloud data centers.	VLSI Circuits	2016	DBLP DOI BibTeX RDF
31	Prashant J. Nair, Chia-Chen Chou, Bipin Rajendran, Moinuddin K. Qureshi	Reducing read latency of phase change memory via early read and Turbo Read.	HPCA	2015	DBLP DOI BibTeX RDF
31	Meng-Fan Chang, Ming-Bin Chen, Lai-Fu Chen, Shu-Meng Yang, Yao-Jen Kuo, Jui-Jen Wu, Hsiu-Yun Su, Yuan-Hua Chu, Wen-Chin Wu, Tzu-Yi Yang, Hiroyuki Yamauchi	A Sub-0.3 V Area-Efficient L-Shaped 7T SRAM With Read Bitline Swing Expansion Schemes Based on Boosted Read-Bitline, Asymmetric-VTH Read-Port, and Offset Cell VDD Biasing Techniques.	IEEE J. Solid State Circuits	2013	DBLP DOI BibTeX RDF
30	Ting-Lu Huang	Fast Mutual Exclusion Algorithms Using Read-Modify-Write and Atomic Read/Write Registers.	ICPADS	1998	DBLP DOI BibTeX RDF
30	James Hogan, Peter Holland, Alex Holloway, Robert Petit, Timothy Read	Read classification for next generation sequencing.	ESANN	2013	DBLP BibTeX RDF
30	Anna Wright, Pauline Read, Mike Anderson	Contrasting computer input devices for teaching children with severe learning difficulties to read.	Br. J. Educ. Technol.	1992	DBLP DOI BibTeX RDF
30	James D. Read	The Read Codes and National and International Medical Data Interchange.	MIE	1991	DBLP DOI BibTeX RDF
29	Pietro Maris Ferreira, José Gabriel Rodríguez Carneiro Gomes, Antonio Petraglia	Current mode read-out circuit for infrared photodiode applications in 0.35 mum cmos.	SBCCI	2008	DBLP DOI BibTeX RDF	infra-red, read-out, image sensor, current-mode
29	Thirumalaisamy Ragunathan, P. Krishna Reddy	Improving the Performance of Read-Only Transactions Through Speculation.	DNIS	2007	DBLP DOI BibTeX RDF	Transaction processing, Serializability, Speculation, Read-Only Transactions
29	Heejun Han, Seog Park, Chanjung Park	A concurrency control protocol for read-only transactions in real-time secure database systems.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time secure database systems, data conflict resolution, ROT-FREEZE, freezing method, legacy protocols, serializability guarantee, performance evaluations, real-time systems, query processing, concurrency control, database management systems, queries, transaction processing, security of data, software performance evaluation, deadline, access protocols, security requirements, transaction scheduling, read-only transactions, real-time requirements, concurrency control protocol, update transactions
29	Nabil R. Adam	A New Dynamic Voting Algorithm for Distributed Database Systems.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	dynamic voting algorithm, communication link failure, dynamic-voting-consistency algorithm, algorithm correctness, read requests, read quorum, user requests, data object updating, majority partition, update rate, simple partitioning, data integrity, fault tolerant computing, distributed databases, software reliability, network topology, database theory, recovery, system recovery, data consistency, distributed database systems
29	Ian Parberry	A Note on Nondeterminism in Small, Fast Parallel Computers.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	nondeterministic analogues, fast parallel computers, language classes, SC, NNC, NSC, deterministic Turing machine, polylog tape-head reversals, POLYLOGSPACE, simultaneous polynomial time, read-only input tape, read-write work tape, computational complexity, parallel computation, parallel machines, formal languages, nondeterminism, Turing machines, subset, NC
29	Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink	Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime.	Haskell	2008	DBLP DOI BibTeX RDF	left-corner transform, typed abstract syntax, typed transformations, type systems, haskell, meta programming, gadt, parser combinators
29	Sibsankar Haldar, K. Vidyasankar	On specification of Read/Write shared variables.	J. ACM	2007	DBLP DOI BibTeX RDF	defining condition, defining relation, illegality, nonatomic operation execution, system execution, framework, multiprocessor, consistency, Atomicity, causality, partial order, linearization, axiom, shared variable, linear extension
29	Franz Kollmann	Realizing fine-granular Read andWrite Rights on Tree Structured Documents.	ARES	2007	DBLP DOI BibTeX RDF
29	Luigi Dilillo, Patrick Girard 0001, Serge Pravossoudovitch, Arnaud Virazel, Simone Borri, Magali Hage-Hassan	Efficient March Test Procedure for Dynamic Read Destructive Fault Detection in SRAM Memories.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	SRAM core-cell, resistive open defects, memory testing, March test, dynamic faults
29	Jens Palsberg, Tian Zhao 0002, Trevor Jim	Automatic discovery of covariant read-only fields.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	constraints, Types
29	Yulin Wang, Guangjun Li, Xiaojun Wu, Shuisheng Lin	An Efficient Cache Replacement Policy with Distinguishing Write Blocks from Read Blocks in Disk Arrays.	ISPA Workshops	2005	DBLP DOI BibTeX RDF
29	Itai Benjamini, Oded Schramm, David Bruce Wilson	Balanced boolean functions that can be evaluated so that every input bit is unlikely to be read.	STOC	2005	DBLP DOI BibTeX RDF	boolean function, percolation, randomized decision tree, butterfly network
29	Panagiota Fatourou, Maurice Herlihy	Read-modify-write networks.	Distributed Comput.	2004	DBLP DOI BibTeX RDF
29	Alan D. Fekete, Elizabeth J. O'Neil, Patrick E. O'Neil	A Read-Only Transaction Anomaly Under Snapshot Isolation.	SIGMOD Rec.	2004	DBLP DOI BibTeX RDF