Search results for "shared-stack"

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: )