|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
96 | Fausto Spoto, Thomas P. Jensen |
Class analyses as abstract interpretations of trace semantics. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
Abstract interpretation, denotational semantics, class analysis |
85 | Fausto Spoto |
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
61 | Kazutaka Maruyama, Minoru Terada |
Debugging with Reverse Watchpoint. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Michael DeRosa, Jason Campbell, Padmanabhan Pillai, Seth Copen Goldstein, Peter Lee 0001, Todd C. Mowry |
Distributed Watchpoints: Debugging Large Multi-Robot Systems. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Marc L. Corliss, E. Christopher Lewis, Amir Roth |
Low-Overhead Interactive Debugging via Dynamic Instrumentation with DISE. |
HPCA |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Jinsoo Jang, Brent ByungHoon Kang |
In-process Memory Isolation Using Hardware Watchpoint. |
DAC |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Keiko Katsuragawa, Krzysztof Pietroszek, James R. Wallace, Edward Lank |
Watchpoint: Freehand Pointing with a Smartwatch in a Ubiquitous Display Environment. |
AVI |
2016 |
DBLP DOI BibTeX RDF |
|
37 | Vasileios Karakostas, Sasa Tomic, Osman S. Unsal, Mario Nemirovsky, Adrián Cristal |
Improving the energy efficiency of hardware-assisted watchpoint systems. |
DAC |
2013 |
DBLP DOI BibTeX RDF |
|
36 | Lee Chew, David Lie |
Kivati: fast detection and prevention of atomicity violations. |
EuroSys |
2010 |
DBLP DOI BibTeX RDF |
kivati, watchpoint, atomicity violation |
24 | Arrvindh Shriraman, Sandhya Dwarkadas |
Sentry: light-weight auxiliary memory access control. |
ISCA |
2010 |
DBLP DOI BibTeX RDF |
sentry, access control, multiprocessors, safety, cache coherence, memory protection, protection domains |
24 | Patricia M. Hill, Fausto Spoto |
A Foundation of Escape Analysis. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|