Search results for "stack"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
103	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
97	Wolfgang Golubski, Wolfram-Manfred Lippe	Tree-Stack Automata.	MFCS	1990	DBLP DOI BibTeX RDF
93	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
90	Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa	Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations.	APLAS	2003	DBLP DOI BibTeX RDF
87	Bhuvan Middha, Matthew S. Simpson, Rajeev Barua	MTSS: Multitask stack sharing for embedded systems.	ACM Trans. Embed. 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
82	Nina S. T. Hirata, Junior Barrera, Edward R. Dougherty	Design of Statistically Optimal Stack Filters.	SIBGRAPI	1999	DBLP DOI BibTeX RDF	Stack filters, switching algorithm, Mathematical Morphology, automatic design, statistical optimization
79	Chris Bailey 0002	Achieving Minimal and Deterministic Interrupt Execution in Stack-Based Processor Architectures.	EUROMICRO	2000	DBLP DOI BibTeX RDF
76	Yoonseo Choi, Hwansoo Han	Optimal register reassignment for register stack overflow minimization.	ACM Trans. Archit. Code Optim.	2006	DBLP DOI BibTeX RDF	register stack, sequence graph, register allocation, Register assignment
74	John Regehr, Alastair Reid 0001, Kirk Webb	Eliminating Stack Overflow by Abstract Interpretation.	EMSOFT	2003	DBLP DOI BibTeX RDF
73	Hsien-Hsin S. Lee, Mikhail Smelyanskiy, Chris J. Newburn, Gary S. Tyson	Stack Value File: Custom Microarchitecture for the Stack.	HPCA	2001	DBLP DOI BibTeX RDF
69	Reuven Bar-Yehuda, Craig Gotsman	Time/Space Tradeoffs for Polygon Mesh Rendering.	ACM Trans. Graph.	1996	DBLP DOI BibTeX RDF	rendering, polygons, graphics pipeline
65	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
62	Bing Zeng, Yrjö Neuvo	Optimal parallel stack filtering under the mean absolute error criterion.	IEEE Trans. Image Process.	1994	DBLP DOI BibTeX RDF
59	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
59	Yunhe Shi, Kevin Casey, M. Anton Ertl, David Gregg	Virtual machine showdown: Stack versus registers.	ACM Trans. Archit. Code Optim.	2008	DBLP DOI BibTeX RDF	register architecture, stack architecture, virtual machine, Interpreter
59	Xinyu Feng 0001, 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
59	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
58	Vida Dujmovic, David R. Wood	Layouts of Graph Subdivisions.	GD	2004	DBLP DOI BibTeX RDF
56	Chun-lin Xiong, De-Gang Wang, Ji-Bo Wei	A near-ML sphere constraint stack detection algorithm with very low complexity in VBLAST systems.	PIMRC	2008	DBLP DOI BibTeX RDF
56	Jun-Cheol Park, Vincent John Mooney III, Philipp Pfeiffenberger	Sleepy Stack Reduction of Leakage Power.	PATMOS	2004	DBLP DOI BibTeX RDF
56	C. Emanuel Savin, M. Omair Ahmad, M. N. S. Swamy	Lp norm design of stack filters.	IEEE Trans. Image Process.	1999	DBLP DOI BibTeX RDF
56	Jisang Yoo, Kevin L. Fong, Jr-Jen Huang, Edward J. Coyle, George B. Adams III	A fast algorithm for designing stack filters.	IEEE Trans. Image Process.	1999	DBLP DOI BibTeX RDF
56	Martin Maierhofer, M. Anton Ertl	Local Stack Allocation.	CC	1998	DBLP DOI BibTeX RDF
56	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
55	Jamel Tayeb, Smaïl Niar	Adapting EPIC Architecture's Register Stack for Virtual Stack Machines.	DSD	2006	DBLP DOI BibTeX RDF
54	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
53	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
53	Janne Lindqvist, Juha-Matti Tapio	Protecting privacy with protocol stack virtualization.	WPES	2008	DBLP DOI BibTeX RDF	protocol stack virtualization, privacy, pseudonymity
53	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
53	Erik Corry	Optimistic stack allocation for java-like languages.	ISMM	2006	DBLP DOI BibTeX RDF	stack allocation, Java, garbage collection
53	John Regehr, Alastair Reid 0001, Kirk Webb	Eliminating stack overflow by abstract interpretation.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	call stack, interrupt-driven, sensor network, abstract interpretation, Microcontroller, context sensitive, dataflow analysis
52	Anupam Gupta 0001, Amit Kumar 0001, Mikkel Thorup	Tree based MPLS routing.	SPAA	2003	DBLP DOI BibTeX RDF	MPLS routing, networks, routing algorithms
51	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
51	Lindsay Groves, Robert Colvin	Trace-based derivation of a scalable lock-free stack algorithm.	Formal Aspects Comput.	2009	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
51	Sangho Yi, Seungwoo Lee, Yookun Cho, Jiman Hong	OTL: On-Demand Thread Stack Allocation Scheme for Real-Time Sensor Operating Systems.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF
51	Sung-Joon Jang, Moo-Kyoung Chung, Jaemoon Kim, Chong-Min Kyung	Cache Miss-Aware Dynamic Stack Allocation.	ISCAS	2007	DBLP DOI BibTeX RDF
51	Jo C. Ebergen, Daniel F. Finchelstein, Russell Kao, Jon K. Lexau, David Hopkins 0001	A Fast and Energy-Efficient Stack.	ASYNC	2004	DBLP DOI BibTeX RDF
51	Danny Hendler, Nir Shavit, Lena Yerushalmi	A scalable lock-free stack algorithm.	SPAA	2004	DBLP DOI BibTeX RDF
51	Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta 0001	Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems.	ICPP	2001	DBLP DOI BibTeX RDF
50	Chatschik Bisdikian	Throughput behavior of the n-ary stack algorithm in mobile networks with capture.	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
49	Arun Lakhotia, Eric Uday Kumar, Michael Venable	A Method for Detecting Obfuscated Calls in Malicious Binaries.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Invasive software (viruses, worms), abstract stack, validation, program analysis, obfuscation
49	Dan S. Wallach, Andrew W. Appel, Edward W. Felten	SAFKASI: a security mechanism for language-based systems.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	security-passing style, Java, Internet, WWW, access control, applets, stack inspection
48	Krist Wongsuphasawat, Pornpat Artornsombudh, Bao Nguyen, Justin McCann	Network stack diagnosis and visualization tool.	CHIMIT	2009	DBLP DOI BibTeX RDF	Visty, network stack visualization
48	Stefan Schäckeler, Weijia Shang	Stack size reduction of recursive programs.	CASES	2007	DBLP DOI BibTeX RDF	stack size reduction, embedded systems, recursion
48	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
48	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
48	Yuguang Wu, Richard R. Muntz	Stack Evaluation of Arbitrary Set-Associative Multiprocessor Caches.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	coherence by invalidation, stack evaluation, simulation, Cache memory, set-associative
47	Michael Fothe, Thomas Wilke (eds.)	Keller, Stack und automatisches Gedächtnis - eine Struktur mit Potenzial, Tagungsband zum Kolloquium, 14. November 2014 in Jena, Deutschland	Keller, Stack und automatisches Gedächtnis	2015	DBLP BibTeX RDF
47	Wolfgang Thomas	Die Analyse von Kellerstrukturen: Eine Reise durch 50 Jahre Forschung.	Keller, Stack und automatisches Gedächtnis	2014	DBLP BibTeX RDF
47	Michael Fothe, Denny Steigmeier	Wilhelm Kämmerers Ideen vom automatischen Gedächtnis.	Keller, Stack und automatisches Gedächtnis	2014	DBLP BibTeX RDF
47	Reinhard Wilhelm	Keller im Übersetzerbau.	Keller, Stack und automatisches Gedächtnis	2014	DBLP BibTeX RDF
47	Hans Langmaack	Friedrich L. Bauers und Klaus Samelsons Arbeiten in den 1950er-Jahren zur Einführung der Begriffe Kellerprinzip und Kellerautomat.	Keller, Stack und automatisches Gedächtnis	2014	DBLP BibTeX RDF
47	Martin Mundhenk	Der Keller - ein fundamentaler Baustein der Informatik.	Keller, Stack und automatisches Gedächtnis	2014	DBLP BibTeX RDF
46	Henry G. Baker	CONS should not CONS its arguments, or, a lazy alloc is a smart alloc.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
45	J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker 0001	Stack-Based Typed Assembly Language.	Types in Compilation	1998	DBLP DOI BibTeX RDF
45	Dan S. Wallach, Edward W. Felten	Understanding Java Stack Inspection.	S&P	1998	DBLP DOI BibTeX RDF
44	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
42	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
42	Andreas Hansson 0001, 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
42	Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach	Finding the needle: stack traces for GHC.	Haskell	2009	DBLP DOI BibTeX RDF	stack trace, debugging
42	Ke Yang, Bingsheng He, Qiong Luo 0001, Pedro V. Sander, Jiaoying Shi	Stack-based parallel recursion on graphics processors.	PPoPP	2009	DBLP DOI BibTeX RDF	parallel, recursion, stack, graphics processors
42	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
42	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
42	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
42	Byeong-Mo Chang	Static check analysis for Java stack inspection.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	security, Java, Java, static analysis, stack inspection
42	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
42	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
40	Walter Dosch, Gongzhu Hu	On Irregular Behaviours of Interactive Stacks.	ITNG	2007	DBLP DOI BibTeX RDF
40	Kevin F. Chen, Edwin Hsing-Mean Sha, Bin Xiao 0001	Universal Routing in Distributed Networks.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
40	Pramod Ramarao, Akhilesh Tyagi, Gyungho Lee	Run-Time Support for Detection of Memory Access Violations to Prevent Buffer Overflow Exploits.	ISC	2003	DBLP DOI BibTeX RDF
40	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
40	Michael G. Burke, Gerald A. Fisher	A Practical Method for Syntactic Error Diagnosis and Recovery.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
39	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
39	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
39	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
39	Jun-Cheol Park, Vincent John Mooney III	Sleepy Stack Leakage Reduction.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
39	Guangming Shi, Weisheng Dong, Li Zhang 0004, Jin Pan	A New Fast Algorithm for Training Large Window Stack Filters.	ICNC (2)	2006	DBLP DOI BibTeX RDF
39	Martin Schoeberl	Design and Implementation of an Efficient Stack Machine.	IPDPS	2005	DBLP DOI BibTeX RDF
39	Caixia Sun, Minxuan Zhang	Dual-Stack Return Address Predictor.	ICESS	2004	DBLP DOI BibTeX RDF
39	Arun Lakhotia, Eric Uday Kumar	Abstracting Stack to Detect Obfuscated Calls in Binaries.	SCAM	2004	DBLP DOI BibTeX RDF
39	Mahesh Mamidipaka, Nikil D. Dutt	On-chip Stack Based Memory Organization for Low Power Embedded Architectures.	DATE	2003	DBLP DOI BibTeX RDF
39	Alex Settle, Daniel A. Connors, Gerolf Hoflehner, Daniel M. Lavery	Optimization for the Intel® Itanium ®Architectur Register Stack.	CGO	2003	DBLP DOI BibTeX RDF
39	Nir Piterman, Moshe Y. Vardi	Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems.	LICS	2003	DBLP DOI BibTeX RDF
39	Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao 0002, Thomas A. Henzinger, Jens Palsberg	Stack Size Analysis for Interrupt-Driven Programs.	SAS	2003	DBLP DOI BibTeX RDF
39	Perry Cheng, Robert Harper 0001, Peter Lee 0001	Generational Stack Collection and Profile-Driven Pretenuring.	PLDI	1998	DBLP DOI BibTeX RDF
39	Wing K. Luk, Alvar A. Dean	Multi-Stack Optimization for Data-Path Chip (Microprocessor) Layout.	DAC	1989	DBLP DOI BibTeX RDF
39	Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison	Stack automata and compiling.	J. ACM	1967	DBLP DOI BibTeX RDF
37	Hilmi Ozdoganoglu, T. N. Vijaykumar, Carla E. Brodley, Benjamin A. Kuperman, Ankit Jalote	SmashGuard: A Hardware Solution to Prevent Security Attacks on the Function Return Address.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	function return address, hardware stack, Buffer overflow
37	Maria J. Avedillo, José M. Quintana, Hamid El Alami, Antonio Jiménez-Calderón	A Practical Parallel Architecture for Stacks Filters.	J. VLSI Signal Process.	2004	DBLP DOI BibTeX RDF	stack filters, threshold decomposition, threshold logic, non-linear filters
36	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
36	Michael Dunlavey	Performance tuning with instruction-level cost derived from call-stack sampling.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	call stack sampling, optimization, performance analysis, software development, profiling, instrumentation, bottleneck
36	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
36	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
36	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
36	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
36	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
36	Amal J. Ahmed 0001, David Walker 0001	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
36	Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki	An efficient security verification method for programs with stack inspection.	CCS	2001	DBLP DOI BibTeX RDF	Java, access control, stack inspection, security verification
36	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