|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
37 | Hongwei Liao, Jason Stanley, Yin Wang 0001, Stéphane Lafortune, Spyros A. Reveliotis, Scott A. Mahlke |
Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets. |
CDC/ECC |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang 0001, Scott A. Mahlke |
Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets. |
CDC |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Yin Wang 0001, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis |
Supervisory control of software execution for failure avoidance: Experience from the Gadara project. |
WODES |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Yin Wang 0001, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune |
Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. |
CDC |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Yin Wang 0001, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke |
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. |
OSDI |
2008 |
DBLP BibTeX RDF |
|
36 | Linda Dailey Paulson |
Caching Scheme Could Boost Developing World's Internet Access. |
Computer |
2009 |
DBLP DOI BibTeX RDF |
HashCache, Gadara, Computer freezes, A*STAR, Advertising technology, Parallel processing, Caching, Internet access, Gender recognition |
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|