|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 10 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martín Abadi, Tim Harris, Katherine F. Moore |
A model of dynamic separation for transactional memory.  |
Inf. Comput.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Meliou, Wolfgang Gatterbauer, Joseph Y. Halpern, Christoph Koch, Katherine F. Moore, Dan Suciu |
Causality in Databases. |
IEEE Data Eng. Bull. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alexandra Meliou, Wolfgang Gatterbauer, Katherine F. Moore, Dan Suciu |
The Complexity of Causality and Responsibility for Query Answers and non-Answers |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alexandra Meliou, Wolfgang Gatterbauer, Katherine F. Moore, Dan Suciu |
The Complexity of Causality and Responsibility for Query Answers and non-Answers. |
PVLDB |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alexandra Meliou, Wolfgang Gatterbauer, Katherine F. Moore, Dan Suciu |
WHY SO? or WHY NO? Functional Causality for Explaining Query Answers. |
MUD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alexandra Meliou, Wolfgang Gatterbauer, Katherine F. Moore, Dan Suciu |
Why so? or Why no? Functional Causality for Explaining Query Answers |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Katherine F. Moore, Vibhor Rastogi, Christopher Ré, Dan Suciu |
Query Containment of Tier-2 Queries over a Probabilistic Database. |
MUD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Tim Harris, Katherine F. Moore |
A Model of Dynamic Separation for Transactional Memory. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Katherine F. Moore, Dan Grossman |
High-level small-step operational semantics for transactions. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
weak atomicity, parallelism, transactional memory, operational semantics, isolation, strong atomicity |
| 1 | Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha |
Enforcing isolation and ordering in STM. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
weak atomicity, virtual machines, code generation, transactional memory, compiler optimizations, isolation, ordering, escape analysis, strong atomicity |
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")