|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 10 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
Verification of STM on relaxed memory models.  |
Formal Methods in System Design  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey |
Scheduling large jobs by abstraction refinement. |
EuroSys |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raluca Halalai, Thomas A. Henzinger, Vasu Singh |
Quantitative Evaluation of BFT Protocols. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
BFT protocols, performance evaluation, model checking |
| 1 | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
Model checking transactional memories. |
Distributed Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasu Singh |
Runtime Verification for Software Transactional Memories. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey |
A marketplace for cloud resources. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh |
Transactions in the jungle. |
SPAA |
2010 |
DBLP DOI BibTeX RDF |
transactional memory, correctness, memory models |
| 1 | Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh |
Verifying Local Transformations on Relaxed Memory Models. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey |
FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. |
IEEE CLOUD |
2010 |
DBLP DOI BibTeX RDF |
Simulation, Cloud computing |
| 1 | Aleksandar Dragojevic, Rachid Guerraoui, Anmol V. Singh, Vasu Singh |
Preventing versus curing: avoiding conflicts in transactional memories. |
PODC |
2009 |
DBLP DOI BibTeX RDF |
scheduling, contention management, software transactional memory |
| 1 | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
Software Transactional Memory on Relaxed Memory Models. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
Completeness and Nondeterminism in Model Checking Transactional Memories. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh |
Model checking transactional memories. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
model checking, transactional memories |
| 1 | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
Permissiveness in Transactional Memories. |
DISC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Thomas A. Henzinger, Vasu Singh |
Algorithms for Interface Synthesis. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")