|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rodolfo Pellizzoni, Emiliano Betti, Stanley Bak, Gang Yao, John Criswell, Marco Caccamo, Russell Kegley |
A Predictable Execution Model for COTS-Based Embedded Systems.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarup Kumar Sahoo, John Criswell, Vikram S. Adve |
An empirical study of reported bugs in server software with implications for automated bug diagnosis. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
bug characteristics, testing, network servers, bug reports |
| 1 | John Criswell, Nicolas Geoffray, Vikram S. Adve |
Memory Safety for Low-Level Software/Hardware Interactions. |
USENIX Security Symposium |
2009 |
DBLP BibTeX RDF |
|
| 1 | John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve |
Secure virtual architecture: a safe execution environment for commodity operating systems. |
SOSP |
2007 |
DBLP DOI BibTeX RDF |
security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language |
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")