|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Xudong Shi 0003, Feiqi Su, Jih-Kwon Peir, Ye Xia 0001, Zhen Yang |
Modeling and Single-Pass Simulation of CMP Cache Capacity and Accessibility. |
ISPASS |
2007 |
DBLP DOI BibTeX RDF |
multiple cache organization, single-pass simulation, on-chip storage space, on-chip cache capacity, single-pass stack simulation, global stack, shared stack, per-core private stack, single simulation pass, average memory access time, chip-multiprocessor, data replication, data accessibility, abstract model, reuse distances |
62 | Boncheol Gu, Yongtae Kim, Junyoung Heo, Yookun Cho |
Shared-stack cooperative threads. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
cooperative task management, multithread system, sensor operating systems, shared-stack, operating systems |
53 | Kaj Hänninen, Jukka Mäki-Turja, Markus Bohlin, Jan Carlson, Mikael Nolin |
Determining Maximum Stack Usage in Preemptive Shared Stack Systems. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Boncheol Gu, Junyoung Heo, Yookun Cho, Younghwan Kim |
Linked Stack Buffer Management for Shared-Stacks. |
ICCSA (1) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Markus Bohlin, Kaj Hänninen, Jukka Mäki-Turja, Jan Carlson, Mikael Nolin |
Bounding Shared-Stack Usage in Systems with Offsets and Precedences. |
ECRTS |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Robert Colvin, Lindsay Groves |
A Scalable Lock-Free Stack Algorithm and its Verification. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn |
Modular verification of a non-blocking stack. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
concurrency, separation logic, non-blocking |
9 | Kaj Hänninen, Jukka Mäki-Turja, Staffan Sandberg, John Lundbäck, Mats Lindberg, Mikael Nolin, Kurt-Lennart Lundbäck |
Framework for real-time analysis in Rubus-ICE. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|