Search results for "stack"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Bhuvan Middha, Matthew S. Simpson, Rajeev Barua	MTSS: Multitask stack sharing for embedded systems.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	Out-of-memory errors, cactus stack, meshed stack, reliability, data compression, reuse, virtual memory, runtime checks, heap overflow, stack overflow
5	Xudong Shi, 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
5	Bhuvan Middha, Matthew S. Simpson, Rajeev Barua	MTSS: multi task stack sharing for embedded systems.	CASES	2005	DBLP DOI BibTeX RDF	cactus stack, meshed stack, out-of-memory, reliability, reuse, runtime checks, heap overflow, stack overflow
4	Zoltan Somogyi, Peter J. Stuckey	Using the heap to eliminate stack accesses.	PPDP	2002	DBLP DOI BibTeX RDF	heap cells, stack accesses, stack frames, maximal matching
4	Chatschik Bisdikian	Throughput behavior of the n-ary stack algorithm in mobile networks with capture. (PDF / PS)	LCN	1995	DBLP DOI BibTeX RDF	n-ary stack algorithm, random access protocols, random access schemes, limited sensing, stack algorithms, performance evaluation, wireless LAN, mobile networks, access protocols, packet radio networks
3	Juan M. Huerta	A stack decoder approach to approximate string matching.	SIGIR	2010	DBLP DOI BibTeX RDF	stack decoder, string matching, A* search, string edit distance
3	J. Stanley Warford, Chris Dimpfl	The pep/8 memory tracer: visualizing activation records on the run-time stack.	SIGCSE	2010	DBLP DOI BibTeX RDF	activation record, pep/8, run-time stack, simulation, visualization, virtual machine, memory model, heap, assembly language
3	Dino Schweitzer, Jeff Boleng	A simple machine simulator for teaching stack frames.	SIGCSE	2010	DBLP DOI BibTeX RDF	stack frames, visualization, active learning, buffer overflow
3	Yu Liu, Wei Zhang 0002	Exploiting stack distance to estimate worst-case data cache performance.	SAC	2009	DBLP DOI BibTeX RDF	stack distance, cache, timing analysis, worst-case execution time
3	Gabriel Kliot, Erez Petrank, Bjarne Steensgaard	A lock-free, concurrent, and incremental stack scanning for garbage collectors.	VEE	2009	DBLP DOI BibTeX RDF	incremental and concurrent garbage collection, lock-free data structures, stack scanning
3	Peter Molnar, Andreas Krall, Florian Brandner	Stack allocation of objects in the CACAO virtual machine.	PPPJ	2009	DBLP DOI BibTeX RDF	object allocation on stack, just-in-time compiler, escape analysis
3	Krist Wongsuphasawat, Pornpat Artornsombudh, Bao Nguyen, Justin McCann	Network stack diagnosis and visualization tool.	CHIMIT	2009	DBLP DOI BibTeX RDF	Visty, network stack visualization
3	Tristan O. R. Allwood, Simon L. Peyton Jones, Susan Eisenbach	Finding the needle: stack traces for GHC.	Haskell	2009	DBLP DOI BibTeX RDF	stack trace, debugging
3	Ke Yang, Bingsheng He, Qiong Luo, Pedro V. Sander, Jiaoying Shi	Stack-based parallel recursion on graphics processors.	PPOPP	2009	DBLP DOI BibTeX RDF	parallel, recursion, stack, graphics processors
3	Xuejun Yang, Nathan Cooprider, John Regehr	Eliminating the call stack to save RAM.	LCTES	2009	DBLP DOI BibTeX RDF	stack liveness, sensor networks, compiler optimization, embedded software, memory allocation, memory optimizations
3	Andreas Hansson, Kees Goossens	An on-chip interconnect and protocol stack for multiple communication paradigms and programming models.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	system on chip, network on chip, programming model, protocol stack
3	Yunhe Shi, Kevin Casey, M. Anton Ertl, David Gregg	Virtual machine showdown: Stack versus registers.	TACO	2008	DBLP DOI BibTeX RDF	register architecture, stack architecture, virtual machine, Interpreter
3	Amith Kumar Nuggehalli Ramachandra, Avin Kumar Kannur	Analysis of CPU Utilisation and Stack Consumption of a Multimedia Embedded System.	DELTA	2008	DBLP DOI BibTeX RDF	CPU Utilisation, Stack Consumption
3	Janne Lindqvist, Juha-Matti Tapio	Protecting privacy with protocol stack virtualization.	WPES	2008	DBLP DOI BibTeX RDF	protocol stack virtualization, privacy, pseudonymity
3	Michael Dunlavey	Performance tuning with instruction-level cost derived from call-stack sampling.	SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	call stack sampling, optimization, performance analysis, software development, profiling, instrumentation, bottleneck
3	Jianfeng Zhan, Lei Wang 0004, Bibo Tu, Hui Wang, Zhihong Zhang, Yi Jin, Yu Wen, Yuansheng Chen, Peng Wang, Bizhu Qiu, Dan Meng, Ninghui Sun	The design methodology of Phoenix cluster system software stack.	China HPC	2007	DBLP DOI BibTeX RDF	cluster system software stack, design methodology, practice, evaluation criteria
3	Sangho Yi, Hong Min, Seungwoo Lee, Yeongkwun Kim, Injoo Jeong	SESAME: space-efficient stack allocation mechanism for multi-threaded sensor operating systems.	SAC	2007	DBLP DOI BibTeX RDF	multi-threaded model, thread stack management, operating system, process management
3	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
3	Stefan Schäckeler, Weijia Shang	Stack size reduction of recursive programs.	CASES	2007	DBLP DOI BibTeX RDF	stack size reduction, embedded systems, recursion
3	Edwin Steiner, Andreas Krall, Christian Thalinger	Adaptive inlining and on-stack replacement in the CACAO virtual machine.	PPPJ	2007	DBLP DOI BibTeX RDF	method inlining, on-stack replacement, virtual machines, just-in-time compiler
3	Róbert Busa-Fekete, András Kocsor, Csaba Bagyinka	A Multi-Stack Based Phylogenetic Tree Building Method.	ISBRA	2007	DBLP DOI BibTeX RDF	tree estimation, Multi-Stack, tree-joining operator, Phylogenetics
3	Yoonseo Choi, Hwansoo Han	Optimal register reassignment for register stack overflow minimization.	TACO	2006	DBLP DOI BibTeX RDF	register stack, sequence graph, register allocation, Register assignment
3	Byeong-Mo Chang	Static check analysis for Java stack inspection.	SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	security, Java, Java, static analysis, stack inspection
3	Yong-Joon Park, Zhao Zhang, Gyungho Lee	Microarchitectural Protection Against Stack-Based Buffer Overflow Attacks.	IEEE Micro	2006	DBLP DOI BibTeX RDF	Microarchitectural protection, stack-based, buffer overflow, RAS
3	Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni	Modular verification of assembly code with stack-based control abstractions.	PLDI	2006	DBLP DOI BibTeX RDF	assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
3	Antonio Carlos Schneider Beck, Mateus B. Rutzig, Luigi Carro	Cache performance impacts for stack machines in embedded systems.	SBCCI	2006	DBLP DOI BibTeX RDF	stack machines, Java, power consumption, cache memory, MIPS
3	Erik Corry	Optimistic stack allocation for java-like languages.	ISMM	2006	DBLP DOI BibTeX RDF	stack allocation, Java, garbage collection
3	John Regehr, Alastair Reid, Kirk Webb	Eliminating stack overflow by abstract interpretation.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	call stack, interrupt-driven, sensor network, abstract interpretation, Microcontroller, context sensitive, dataflow analysis
3	Lee Spector, Jon Klein, Maarten Keijzer	The Push3 execution stack and the evolution of control.	GECCO	2005	DBLP DOI BibTeX RDF	reversing a list, stack-based genetic programming, sorting, recursion, iteration, combinators, exponentiation, push, parity, Fibonacci sequence, factorial
3	Arnaud Gotlieb, Tristan Denmat, Bernard Botella	Constraint-based test data generation in the presence of stack-directed pointers.	ASE	2005	DBLP DOI BibTeX RDF	constraint-based test data generation, stack-directed pointers, constraint satisfaction
3	Yunhe Shi, David Gregg, Andrew Beatty, M. Anton Ertl	Virtual machine showdown: stack versus registers.	VEE	2005	DBLP DOI BibTeX RDF	register architecture, stack architecture, virtual machine, interpreter
3	Thorsten Schöler, Christian Müller-Schloer	First steps towards organic computing systems: monitoring an adaptive protocol stack with a fuzzy classifier system.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	fuzzy learning classifier system, observer/controller, agents, monitoring, organic computing, protocol stack
3	Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen	Continuations from generalized stack inspection.	ICFP	2005	DBLP DOI BibTeX RDF	A-normal form, scheme, continuations, web programming, continuation-passing style, stack inspection, defunctionalization
3	A. Madan, S. C. Bose, P. J. George, Chandra Shekhar	Evaluation of Device Parameters of HfO2/SiO2/Si Gate Dielectric Stack for MOSFETs.	VLSI Design	2005	DBLP DOI BibTeX RDF	Direct Tunneling, gate leakage current, high-K gate stack, MOSFETs
3	John Clements, Matthias Felleisen	A tail-recursive machine with stack inspection.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	tail call optimization, Stack inspection, tail recursion
3	Jonathan D. Pincus, Brandon Baker	Beyond Stack Smashing: Recent Advances in Exploiting Buffer Overruns.	IEEE Security & Privacy	2004	DBLP DOI BibTeX RDF	stack smashing, attacking systems, arc injection, pointer subterfuge, heap smashing, buffer overruns
3	Hans-Juergen Boehm	An almost non-blocking stack.	PODC	2004	DBLP DOI BibTeX RDF	interrupt handler, signal handler, stack, memory allocation, lock-free, compare-and-swap, non-blocking, linked list
3	Ira Acharya, Hemendra Kumar Singh	Testing of 3G 1xEV-DV Stack - A Case Study.	TestCom	2003	DBLP DOI BibTeX RDF	testing challenges, IUT, 1xEV-DV, EV-DV, DV, reference implementation, 3GPP2, LAC, RLP, L2, L3, packet data channel, PDCHCF, Message Integrity, simulation, Testing, MAC, queues, behavior, task, video conferencing, SDL, formalism, 3G, Signaling, logging, conformance, test automation, formal description techniques, MSC, timers, protocol stack, test scripts, TTCN
3	Gábor Gosztolya, András Kocsor	Improving the Multi-stack Decoding Algorithm in a Segment-Based Speech Recognizer.	IEA/AIE	2003	DBLP DOI BibTeX RDF	segmental speech model, multi-stack decoding, Viterbi beam search, speech recognition, search methods
3	Calin Cascaval, David A. Padua	Estimating cache misses and locality using stack distances.	ICS	2003	DBLP DOI BibTeX RDF	stack algorithms, cache modeling, compiler algorithms
3	Amal J. Ahmed, David Walker	The logical approach to stack typing.	TLDI	2003	DBLP DOI BibTeX RDF	bunched logic, ordered logic, type systems, memory management, linear logic, stack, typed assembly language
3	J. Robert von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric A. Brewer	Capriccio: scalable threads for internet services.	SOSP	2003	DBLP DOI BibTeX RDF	blocking graph, dynamic stack growth, linked stack management, resource-aware scheduling, user-level threads
3	Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen	Secure calling contexts for stack inspection.	PPDP	2002	DBLP DOI BibTeX RDF	constraints, language based security, linear temporal logic, static program analysis, stack inspection
3	Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata	Security verification of programs with stack inspection.	SACMAT	2001	DBLP DOI BibTeX RDF	Java, Java, access control, stack inspection, security verification
3	Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki	An efficient security verification method for programs with stack inspection.	ACM Conference on Computer and Communications Security	2001	DBLP DOI BibTeX RDF	Java, access control, stack inspection, security verification
3	M. Watheq El-Kharashi, Fayez El Guibaly, Kin F. Li	Adapting Tomasulo's algorithm for bytecode folding based Java processors.	SIGARCH Computer Architecture News	2001	DBLP DOI BibTeX RDF	instruction shelving, java bytecode folding, java stack folding, reservation stations, stack processors, tomasulo's algorithm, java, Java, java virtual machine, dynamic scheduling, java processors, register renaming
3	Úlfar Erlingsson, Fred B. Schneider	IRM Enforcement of Java Stack Inspection. (PDF / PS)	IEEE Symposium on Security and Privacy	2000	DBLP DOI BibTeX RDF	security, Java, language-based security, reference monitor, stack inspection
3	Nina S. T. Hirata, Junior Barrera, Edward R. Dougherty	Design of Statistically Optimal Stack Filters. (PDF / PS)	SIBGRAPI	1999	DBLP DOI BibTeX RDF	Stack filters, switching algorithm, Mathematical Morphology, automatic design, statistical optimization
3	Magatho A. Mello, Roberto H. Bamberger, Thomas R. Fischer	Orientation Selective Subband Decomposition and Stack-Run Coding. (PDF / PS)	ICIP	1997	DBLP DOI BibTeX RDF	directional filter banks, stack-run coding, orientation selective subband decomposition
3	Lowell L. Winger, Anastasios N. Venetsanopoulos	Stack-Run Coding with Space-Frequency Quantization. (PDF / PS)	ICIP	1997	DBLP DOI BibTeX RDF	stack-run coding, wavelet image compression, space-frequency scalar quantization, wavelet quantization, low addressing complexity, fast parallel decoding, dead-zone scalar quantizers, raster scan pattern selection, spatial optimization, quantization coefficients, nonrecursive optimal algorithms, lossy wavelet image coders, zero-trees, performance, data compression, system design, simulation results, PSNR, performance gains, local optimization, coding efficiency, run-length coding, subbands
3	Yuguang Wu, Richard R. Muntz	Stack Evaluation of Arbitrary Set-Associative Multiprocessor Caches.	IEEE Trans. Parallel Distrib. Syst.	1995	DBLP DOI BibTeX RDF	coherence by invalidation, stack evaluation, simulation, Cache memory, set-associative
3	Zhi-Ming Chen, Chin-Chuan Han, Kuo-Chin Fan	Finding of optimal stack filter by using graphic searching methods. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	optimal stack filter, graphic searching methods, graphic searching algorithm, root node, optimal node, error cone graph, graphic searching techniques, performance, graph theory, greedy algorithm, search problems, experimental results, adaptive filters, nonlinear filters, filtering theory, digital filters, circuit optimisation, adaptive signal processing, minimal path, A* algorithm
3	Branislav Durian	Quicksort Without a Stack.	MFCS	1986	DBLP DOI BibTeX RDF	O(1)-space, Algorithm, Searching, Sorting, Stack, Quicksort
2	Jinman Jung, Yookun Cho, Yeongkwun Kim, Yoojin Chung, Bongchan Gim, Jiyoung Kwak	Virtual protocol stack interface for multiple wireless sensor network simulators.	SAC	2010	DBLP DOI BibTeX RDF	simulation, wireless sensor networks
2	Dave Christie, Jae-Woong Chung, Stephan Diestelhorst, Michael Hohmuth, Martin Pohlack, Christof Fetzer, Martin Nowack, Torvald Riegel, Pascal Felber, Patrick Marlier, Etienne Riviere	Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack.	EuroSys	2010	DBLP DOI BibTeX RDF	transactional memory
2	Matei David, Periklis A. Papakonstantinou	Trade-Off Lower Bounds for Stack Machines.	IEEE Conference on Computational Complexity	2010	DBLP DOI BibTeX RDF	AuxPDA, lower bound, streaming, communication complexity, stack, reversals, space bound
2	Vassilios Gerousis	Physical design implementation for 3D IC: methodology and tools.	ISPD	2010	DBLP DOI BibTeX RDF	3D IC stack, micro-bump, physical design tools, silicon interposer, methodology, tsv
2	Isidoros Sideris, Nikos K. Moshopoulos, Kiamal Z. Pekmestzi	A hardware peripheral for Java bytecodes translation acceleration.	SAC	2010	DBLP DOI BibTeX RDF	stack folding, ASIC, RISC, Java processor
2	Lindsay Groves, Robert Colvin	Trace-based derivation of a scalable lock-free stack algorithm.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF
2	Keisuke Nakano	Composing Stack-Attributed Tree Transducers.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	XML stream transformation, Event-driven model, Descriptional composition, Attribute grammar, Deforestation
2	Andrzej Drygajlo, Weifeng Li, Kewei Zhu	Verification of Aging Faces Using Local Ternary Patterns and Q-Stack Classifier.	COST 2101/2102 Conference	2009	DBLP DOI BibTeX RDF
2	Elena Bernardis, Stella X. Yu	Robust Segmentation by Cutting across a Stack of Gamma Transformed Images.	EMMCVPR	2009	DBLP DOI BibTeX RDF
2	Chenyue Ma, Bo Li, Lining Zhang, Jin He, Xing Zhang, Xinnan Lin, Mansun Chan	A unified FinFET reliability model including high K gate stack dynamic threshold voltage, hot carrier injection, and negative bias temperature instability.	ISQED	2009	DBLP DOI BibTeX RDF
2	Brice Goglin	NIC-Assisted Cache-Efficient Receive Stack for Message Passing over Ethernet.	Euro-Par	2009	DBLP DOI BibTeX RDF
2	Sadaf R. Alam, Richard F. Barrett, Heike Jagode, Jeffery A. Kuehn, Stephen W. Poole, Ramanan Sankaran	Impact of Quad-Core Cray XT4 System and Software Stack on Scientific Computation.	Euro-Par	2009	DBLP DOI BibTeX RDF
2	Wen-Fu Kao, Shyhtsun Felix Wu	Lightweight Hardware Return Address and Stack Frame Tracking to Prevent Function Return Address Attack.	CSE	2009	DBLP DOI BibTeX RDF
2	Sebastian Hessel, David Szczesny, Shadi Traboulsi, Attila Bilgic, Josef Hausner	On the Design of a Suitable Hardware Platform for Protocol Stack Processing in LTE Terminals.	CSE	2009	DBLP DOI BibTeX RDF
2	Jingyu Hua, MingChu Li, Kouichi Sakurai, Yizhi Ren	Efficient Intrusion Detection Based on Static Analysis and Stack Walks.	IWSEC	2009	DBLP DOI BibTeX RDF
2	Anil Seth	Games on Multi-stack Pushdown Systems.	LFCS	2009	DBLP DOI BibTeX RDF
2	Nutan Limaye, Meena Mahajan	Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata.	LATA	2009	DBLP DOI BibTeX RDF
2	Sophie Toulouse, Roberto Wolfler Calvo	On the Complexity of the Multiple Stack TSP, kSTSP.	TAMC	2009	DBLP DOI BibTeX RDF
2	Sumeet S. Aphale, Antoine Ferreira, S. O. Reza Moheimani	Loop-shaping H INFINITY -control of a 2-DOF piezoelectric-stack actuated platform for nanoscale positioning.	ICRA	2009	DBLP DOI BibTeX RDF
2	Natalia Razinkov, Nir Mashkif, David Amid, Amit Fisher	A Holistic View of Industry Standards Across SOA Solution Stack.	IEEE SCC	2009	DBLP DOI BibTeX RDF
2	Jeonghoon Kang, Sukun Kim, Wonsik Ko, Taejoon Choi, Pilman Jeong, Jin-Yeop Chang	HONS (hybrid open networking stack) for diverse wireless sensor networks.	SenSys	2009	DBLP DOI BibTeX RDF	diverse wireless sensor, hybrid network protocol, open network
2	Anil Seth	Games on Higher Order Multi-stack Pushdown Systems.	RP	2009	DBLP DOI BibTeX RDF
2	Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski	Stack bounds analysis for microcontroller assembly code.	WESS	2009	DBLP DOI BibTeX RDF	model checking, verification, static analysis, embedded software, assembly code
2	Arun Kannan, Aviral Shrivastava, Amit Pabalkar, Jongeun Lee	A software solution for dynamic stack management on scratch pad memory.	ASP-DAC	2009	DBLP DOI BibTeX RDF
2	Sunay Tripathi, Nicolas Droux, Thirumalai Srinivasan, Kais Belgaied, Venu Iyer	Crossbow: a vertically integrated QoS stack.	WREN	2009	DBLP DOI BibTeX RDF	crossbow, ddos, QoS, performance, classification, networking, flows
2	Yangjun Chen, Donovan Cooke	XPath query evaluation based on the stack encoding.	C3S2E	2009	DBLP DOI BibTeX RDF	XML pattern matching, twig joins, trees, XML databases, paths
2	Reid B. Porter, G. Beate Zimmer, Don R. Hush	Stack Filter Classifiers.	ISMM	2009	DBLP DOI BibTeX RDF
2	Xinyu Jiang, Yu Guo, Yiyun Chen	The Logical Approach to Low-Level Stack Reasoning.	TASE	2009	DBLP DOI BibTeX RDF
2	Rodrígo González-Alberquilla, Fernando Castro, Luis Piñuel, Francisco Tirado	Stack oriented data cache filtering.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	power-performance efficient design, memory hierarchy, cache memory
2	David Szczesny, Sebastian Hessel, Felix Bruns, Attila Bilgic	On-the-fly hardware acceleration for protocol stack processing in next generation mobile devices.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	embedded systems, real-time, hardware acceleration, virtual prototyping, hardware/software co-design, LTE, DMA
2	Todd Mytkowicz, Devin Coughlin, Amer Diwan	Inferred call path profiling.	OOPSLA	2009	DBLP DOI BibTeX RDF	call path, profiling, stack, calling context, calling context tree
2	Marko Bertogna, Nathan Fisher, Sanjoy K. Baruah	Resource holding times: computation and optimization.	Real-Time Systems	2009	DBLP DOI BibTeX RDF	Resource-sharing systems, Stack Resource Policy, Resource holding times, Earliest Deadline First, Critical sections, Sporadic tasks
2	Scott McMaster, Atif M. Memon	Call-Stack Coverage for GUI Test Suite Reduction.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Test coverage of code, Testing tools, Testing strategies, Test management
2	Hans Vandierendonck, André Seznec	Speculative return address stack management revisited.	TACO	2008	DBLP DOI BibTeX RDF	Return address prediction, back-up predictor, corruption detection
2	John Keane, Hanyong Eom, Tae-Hyoung Kim, Sachin S. Sapatnekar, Chris H. Kim	Stack Sizing for Optimal Current Drivability in Subthreshold Circuits.	IEEE Trans. VLSI Syst.	2008	DBLP DOI BibTeX RDF
2	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.	FMOODS	2008	DBLP DOI BibTeX RDF	non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access
2	Sangho Yi, Seungwoo Lee, Yookun Cho, Jiman Hong	SESAME-P: Memory Pool-Based Dynamic Stack Management for Sensor Operating Systems.	DCOSS	2008	DBLP DOI BibTeX RDF
2	Zoran Rusinovic, Nikola Bogunovic	Self-Protecting Session Initiation Protocol Stack.	KES	2008	DBLP DOI BibTeX RDF	Cellular automata, SIP, Denial of Service, Self-protecting
2	Yuk-Nam Law, Man-Chiu Lai, Wee Lum Tan, Wing Cheong Lau	Empirical Performance of IPv6 vs. IPv4 under a Dual-Stack Environment.	ICC	2008	DBLP DOI BibTeX RDF
2	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
2	Boncheol Gu, Junyoung Heo, Yookun Cho, Younghwan Kim	Linked Stack Buffer Management for Shared-Stacks.	ICCSA	2008	DBLP DOI BibTeX RDF
2	Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers	Using AADL to Model a Protocol Stack.	ICECCS	2008	DBLP DOI BibTeX RDF