Search results for "stack"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	David Johnson 0004, Tim Stack, Russ Fish, Daniel Montrallo Flickinger, Leigh Stoller, Robert Ricci, Jay Lepreau	Mobile Emulab: A Robotic Wireless and Sensor Network Testbed.	INFOCOM	2006	DBLP DOI BibTeX RDF
30	David Johnson 0004, Daniel Montrallo Flickinger, Tim Stack, Robert Ricci, Leigh Stoller, Russ Fish, Kirk Webb, Mark A. Minor, Jay Lepreau	Emulab's wireless sensor net testbed: true mobility, location precision, and remote access.	SenSys	2005	DBLP DOI BibTeX RDF	mobility, networks, localization, wireless, sensor, path planning, testbeds, obstacle avoidance, emulab
30	David Johnson 0004, Daniel Montrallo Flickinger, Tim Stack, Robert Ricci, Leigh Stoller, Russ Fish, Kirk Webb, Mark A. Minor, Jay Lepreau	Robot couriers: precise mobility in a wireless network testbed.	SenSys	2005	DBLP DOI BibTeX RDF	sensor networks, mobility, localization, wireless, path planning, testbeds, obstacle avoidance, emulab
30	Jason R. Stack, Ronald G. Harley, Thomas G. Habetler	An amplitude Modulation detector for fault diagnosis in rolling element bearings.	IEEE Trans. Ind. Electron.	2004	DBLP DOI BibTeX RDF
30	Eric Eide, Tim Stack, John Regehr, Jay Lepreau	Dynamic CPU Management for Real-Time, Middleware-Based Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
30	Parveen Patel, Andrew Whitaker, David Wetherall, Jay Lepreau, Tim Stack	Upgrading transport protocols using untrusted mobile code.	SOSP	2003	DBLP DOI BibTeX RDF	untrusted mobile code, implementation, transport protocols, deployment, TCP-friendliness
30	Brian M. Stack, Stephen F. Jenks	A Middleware Architecture to Facilitate Distributed Programming: DAROC: Data-Activated Replicated Object Communications.	PDPTA	2003	DBLP BibTeX RDF
30	Xiaoming Liu 0005, Kurt Maly, Mohammad Zubair, Rong Tang, Mohammed Imran Padshah, George Roncaglia, JoAnne Rocker, Michael L. Nelson, William von Ofenheim, Richard Luce, Jacqueline Stack, Frances Knudson, Beth Goldsmith, Irma Holtkamp, Miriam Blake, Jack Carter, Mariella Di Giacomo, Jerome Nutter, Susan Brown, Ron Montbrand, Sally Landenberger, Kathy Pierson, Vince Duran, Beth Moser	Technical Report Interchange through Synchronized OAI Caches.	ECDL	2002	DBLP DOI BibTeX RDF
30	Shawn O'Donnell, Hugh Carter Donahue, Josephine Ferrigno-Stack	Quality of service monitoring: Performance metrics across proprietary content domains	CoRR	2001	DBLP BibTeX RDF
30	Hugh Carter Donahue, Josephine Ferrigno-Stack	Quality of service monitoring: a timely idea.	SIIT	2001	DBLP DOI BibTeX RDF
30	Abdollah Homaifar, Yaxi Shen, Brian V. Stack	Vibration control of plate structures using PZT actuators and type II fuzzy logic.	ACC	2001	DBLP DOI BibTeX RDF
30	Thomas McElwain, Keith Kang, Jeffry S. Powell, Richard D. Stack, John A. Trezza	Detection and processing of hyperspectral imaging data with quantum-well devices.	Visual Information Processing	2000	DBLP DOI BibTeX RDF
30	Eric Eide, James L. Simister, Tim Stack, Jay Lepreau	Flexible IDL compilation for complex communication patterns.	Sci. Program.	1999	DBLP DOI BibTeX RDF
30	Amy J. Johnson, David C. Munson Jr., Ronald A. Stack, David J. Brady, Daniel L. Marks	Three-Dimensional Surface Reconstruction of Optical Lambertian Objects Using Cone-Beam Tomography.	ICIP (2)	1999	DBLP DOI BibTeX RDF
30	Janet Stack	Women into computing.	Interactions	1997	DBLP DOI BibTeX RDF
30	David Stack, Tom Phillip	Befriending the faculty.	SIGUCCS	1990	DBLP DOI BibTeX RDF
30	David Stack	All your consulting needs under one roof.	SIGUCCS	1987	DBLP DOI BibTeX RDF
30	David Stack, Neal Van Eck	The increasing demands of micro support.	SIGUCCS	1986	DBLP DOI BibTeX RDF
30	T. R. Stack, S. T. Walker	AIDS: advanced interactive display system.	AFIPS Spring Joint Computing Conference	1971	DBLP DOI BibTeX RDF
29	Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero	Context-sensitive analysis of obfuscated x86 executables.	PEPM	2010	DBLP DOI BibTeX RDF	analysis of bianries, deobfuscation, obfuscation, context-sensitive analysis
29	Dongkyun Ahn, Gyungho Lee	StackLock with simple FSM.	EIT	2009	DBLP DOI BibTeX RDF
29	Tony Bernardin, Brian Budge, Bernd Hamann	Stacked-widget visualization of scheduling-based algorithms.	SOFTVIS	2008	DBLP DOI BibTeX RDF	out-of-core management, information visualization, task scheduling, data visualization
29	Christine Jardak, Elena Meshkova, Janne Riihijärvi, Krisakorn Rerkrai, Petri Mähönen	Implementation and Performance Evaluation of nanoIP Protocols: Simplified Versions of TCP, UDP, HTTP and SLP for Wireless Sensor Networks.	WCNC	2008	DBLP DOI BibTeX RDF
29	Debabrata Nayak	An Adaptive and Optimized Security Policy Manager for Wireless Networks.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF	Network Element, Security Policy index, Security Policy Factor, SQoS, Policy optimizer
29	Michael Venable, Mohamed R. Chouchane, Md. Enamul Karim, Arun Lakhotia	Analyzing Memory Accesses in Obfuscated x86 Executables.	DIMVA	2005	DBLP DOI BibTeX RDF
29	James R. Ezick	Resolving and applying constraint queries on context-sensitive analyses.	PASTE	2004	DBLP DOI BibTeX RDF	static analysis, context-sensitive analysis
29	Henry Hanping Feng, Jonathon T. Giffin, Yong Huang, Somesh Jha, Wenke Lee, Barton P. Miller	Formalizing Sensitivity in Static Analysis for Intrusion Detection.	S&P	2004	DBLP DOI BibTeX RDF
29	Christopher Dahn, Spiros Mancoridis	Using Program Transformation to Secure C Programs Against Buffer Overflows.	WCRE	2003	DBLP DOI BibTeX RDF
29	Liu Yang, Sun Chan, Guang R. Gao, Roy Ju, Guei-Yuan Lueh, Zhaoqing Zhang	Inter-procedural stacked register allocation for itanium® like architecture.	ICS	2003	DBLP DOI BibTeX RDF	hot region, inter-procedural stacked register allocation, quota assignment, register allocation, hotspot
29	Oren Avissar, Rajeev Barua, Dave Stewart	An optimal memory allocation scheme for scratch-pad-based embedded systems.	ACM Trans. Embed. Comput. Syst.	2002	DBLP DOI BibTeX RDF	embedded, Memory, heterogeneous, storage, allocation
29	Mohamed M. Zahran, Manoj Franklin	Return-Address Prediction in Speculative Multithreaded Environments.	HiPC	2002	DBLP DOI BibTeX RDF
29	Samik Basu 0001, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan 0001	Resource-Constrained Model Checking of Recursive Programs.	TACAS	2002	DBLP DOI BibTeX RDF
29	Andrew D. Gordon 0001, Don Syme	Typing a multi-language intermediate code.	POPL	2001	DBLP DOI BibTeX RDF
29	Jian-Zhi Wu, Jenq Kuen Lee	A Bytecode Optimizer to Engineer Bytecodes for Performance.	LCPC	2000	DBLP DOI BibTeX RDF
29	Robert Hieb, R. Kent Dybvig, Carl Bruggeman	Representing Control in the Presence of First-Class Continuations.	PLDI	1990	DBLP DOI BibTeX RDF	SCHEME
29	Yesh C. Pendarkar	The porting of XINU to the system 370 VM/CMS environment (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	XINU, IBM System/370
29	Jean-Claude Raoult, Ravi Sethi	Properties of a Notation for Combining Functions.	ICALP	1982	DBLP DOI BibTeX RDF
28	Keisuke Nakano 0001	Composing Stack-Attributed Tree Transducers.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	XML stream transformation, Event-driven model, Descriptional composition, Attribute grammar, Deforestation
28	Brice Goglin	NIC-Assisted Cache-Efficient Receive Stack for Message Passing over Ethernet.	Euro-Par	2009	DBLP DOI BibTeX RDF
28	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
28	Anil Seth	Games on Multi-stack Pushdown Systems.	LFCS	2009	DBLP DOI BibTeX RDF
28	Xinyu Jiang, Yu Guo, Yiyun Chen	The Logical Approach to Low-Level Stack Reasoning.	TASE	2009	DBLP DOI BibTeX RDF
28	Elena Bernardis, Stella X. Yu	Robust Segmentation by Cutting across a Stack of Gamma Transformed Images.	EMMCVPR	2009	DBLP DOI BibTeX RDF
28	John Keane 0001, Hanyong Eom, Tony Tae-Hyoung Kim, Sachin S. Sapatnekar, Chris H. Kim	Stack Sizing for Optimal Current Drivability in Subthreshold Circuits.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
28	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
28	Krzysztof Kryszczuk, Andrzej Drygajlo	Improving Classification with Class-Independent Quality Measures: Q-stack in Face Verification.	ICB	2007	DBLP DOI BibTeX RDF	statistical pattern classification, stacking, quality measures, classifier ensembles, confidence measures
28	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
28	Dorian C. Arnold, Dong H. Ahn, Bronis R. de Supinski, Gregory L. Lee, Barton P. Miller, Martin Schulz 0001	Stack Trace Analysis for Large Scale Debugging.	IPDPS	2007	DBLP DOI BibTeX RDF
28	Robert Colvin, Lindsay Groves	A Scalable Lock-Free Stack Algorithm and its Verification.	SEFM	2007	DBLP DOI BibTeX RDF
28	Danny Nebenzahl, Shmuel Sagiv, Avishai Wool	Install-Time Vaccination of Windows Executables to Defend against Stack Smashing Attacks.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF	Computer security, instrumentation, buffer overflow
28	Carlo Cattani, Paolo Mercorelli, Francesco Villecco, Klaus Harbusch	A Theoretical Multiscale Analysis of Electrical Field for Fuel Cells Stack Structures.	ICCSA (1)	2006	DBLP DOI BibTeX RDF
28	Yongsu Park, Yong Ho Song, Eul-Gyu Im	Design of a Reliable Hardware Stack to Defend Against Frame Pointer Overwrite Attacks.	ISI	2006	DBLP DOI BibTeX RDF	computer architecture, computer security, buffer overflow attack
28	Fei Gao, Suleyman Sair	Exploiting Intra-function Correlation with the Global History Stack.	SAMOS	2005	DBLP DOI BibTeX RDF
28	Xiaoyuan Gu, Xiaoming Fu 0001, Hannes Tschofenig, Lars C. Wolf	Towards Self-optimizing Protocol Stack for Autonomic Communication: Initial Experience.	WAC	2005	DBLP DOI BibTeX RDF
28	E. A. Aksenova, A. A. Lazutina, Andrew V. Sokolov	Study of a Non-Markovian Stack Management Model in a Two-Level Memory.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
28	Hsiang-Chun Huang, Tihao Chiang	Stack robust fine granularity scalability.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
28	Mikael Millberg, Erland Nilsson, Rikard Thid, Shashi Kumar, Axel Jantsch	The Nostrum Backbone - a Communication Protocol Stack for Networks on Chip.	VLSI Design	2004	DBLP DOI BibTeX RDF
28	Masaki Nakanishi	On the Power of One-Sided Error Quantum Pushdown Automata with Classical Stack Operations.	COCOON	2004	DBLP DOI BibTeX RDF
28	Daniel Ortiz, Ismael García-Varea, Francisco Casacuberta	An Empirical Comparison of Stack-Based Decoding Algorithms for Statistical Machine Translation.	IbPRIA	2003	DBLP DOI BibTeX RDF
28	Rui Liu, Sheqin Dong, Xianlong Hong, Di Long, Jun Gu	Algorithms for analog VLSI 2D stack generation and block merging.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
28	R. David Weldon, Steven S. Chang, Hong Wang 0003, Gerolf Hoflehner, Perry H. Wang, Daniel M. Lavery, John Paul Shen	Quantitative Evaluation of the Register Stack Engine and Optimizations for Future Itanium Processors.	Interaction between Compilers and Computer Architectures	2002	DBLP DOI BibTeX RDF
28	Kris Popat, Daniel H. Greene, Tze-Lei Poo	Adaptive Stack Algorithm in Document Image Decoding.	ICPR (4)	2002	DBLP DOI BibTeX RDF
28	Manfred Stadler, Markus Thalmann, Thomas Röwer, Hubert Kaeslin, Norbert Felber, Wolfgang Fichtner	Design and Verification of a Stack Processor Virtual Component.	IEEE Micro	2001	DBLP DOI BibTeX RDF
28	Geert Goossens, Marnix Goossens	IP Stack Emulation over ATM.	ICN (2)	2001	DBLP DOI BibTeX RDF
28	Neil Woolfries, Patrick Lysaght, Stephen Marshall, Gordon Charles McGregor, David Robinson	Fast Adaptive Image Processing in FPGAs Using Stack Filters.	FPL	1998	DBLP DOI BibTeX RDF
28	Neng-Fa Zhou	Parameter Passing and Control Stack Management in Prolog Implementation Revisited.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	prolog, abstract machine
28	Ioan Tabus, Doina Petrescu, Moncef Gabbouj	A training framework for stack and Boolean filtering-fast optimal design procedures and robustness case study.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
28	M. Anton Ertl	Stack Caching for Interpreters.	PLDI	1995	DBLP DOI BibTeX RDF	C, FORTH
28	Benjamin Goldberg, Young Gil Park	Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations.	ESOP	1990	DBLP DOI BibTeX RDF
28	Raymond Greenlaw	The parallel complexity of queue versus stack breadth-first search.	SPDP	1990	DBLP DOI BibTeX RDF
28	James G. Thompson, Alan Jay Smith	Efficient (Stack) Algorithms for Analysis of Write-Back and Sector Machines.	ACM Trans. Comput. Syst.	1989	DBLP DOI BibTeX RDF
28	J. Eliot B. Moss	Managing stack frames in Smalltalk.	PLDI	1987	DBLP DOI BibTeX RDF	Smalltalk
28	Jeffrey D. Ullman	Halting Stack Automata.	J. ACM	1969	DBLP DOI BibTeX RDF
26	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
26	Tomoyuki Higuchi, Atsushi Ohori	A static type system for JVM access control.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	access control, type system, JVM, type inference, stack inspection
26	Thierry Gautier, Jean-Louis Roch, Frédéric Wagner	Fine Grain Distributed Implementation of a Dataflow Language with Provable Performances.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	distributed stack, work depth model, dataflow, work-stealing
26	Vinaitheerthan Sundaram, Sandip HomChaudhuri, Sachin Garg, Chandra M. R. Kintala, Saurabh Bagchi	Improving Dependability Using Shared Supplementary Memory and Opportunistic Micro Rejuvenation in Multi-tasking Embedded Systems.	PRDC	2007	DBLP DOI BibTeX RDF	resource constrained fault-tolerance, embedded systems, software rejuvenation, heap overflow, stack overflow
26	Klaus Indermark, Thomas Noll 0001	Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Stack implementation, Formal semantics, Functional languages, Evaluation strategies, Compiler correctness
26	Yehuda Afek, Eli Gafni, Adam Morrison 0001	Common2 extended to stacks and unbounded concurrency.	PODC	2006	DBLP DOI BibTeX RDF	common2, consensus number 2, immediate snapshot, unbounded concurrency, queue, stack, wait-free
26	Thomas Kotzmann, Hanspeter Mössenböck	Escape analysis in the context of dynamic compilation and deoptimization.	VEE	2005	DBLP DOI BibTeX RDF	deoptimization, scalar replacement, stack allocation, synchronization removal, Java, optimization, just-in-time compilation, escape analysis
26	Keun Soo Yim, Hojung Cha, Kern Koh	NIC-NET: A Host-Independent Network Solution for High-End Network Servers.	PDCAT	2004	DBLP DOI BibTeX RDF	High-end network server, network interface card, protocol stack
26	Bruno Blanchet	Escape analysis for JavaTM: Theory and practice.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	stack allocation, synchronization elimination, Java, optimization, static analysis
26	Tomoyuki Higuchi, Atsushi Ohori	A static type system for JVM access control.	ICFP	2003	DBLP DOI BibTeX RDF	access control, type system, JVM, type inference, stack inspection
26	Byung S. Yoo, Chita R. Das	A Fast and Efficient Processor Allocation Scheme for Mesh-Connected Multicomputers.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Allocation overhead, complete submesh recognition ability, stack-based allocation algorithm, processor allocation, mesh-connected multicomputers
26	Kazunori Ogata, Hideaki Komatsu, Toshio Nakatani	Bytecode fetch optimization for a Java interpreter.	ASPLOS	2002	DBLP DOI BibTeX RDF	pipelined interpreter, stack caching, Java, performance, superscalar processor, PowerPC, bytecode interpreter
26	Jinsuo Zhang	The predictability of load address.	SIGARCH Comput. Archit. News	2001	DBLP DOI BibTeX RDF	context predictor, global context predictor, last address predictor, load address prediction, stack coloring, stride predictor, program behavior, hybrid predictor
26	Byung S. Yoo, Chita R. Das	Good Processor Management = Fast Allocation + Efficient Scheduling.	ICPP	1997	DBLP DOI BibTeX RDF	Group scheduling policy, processor management, stack-based allocation algorithm, operating systems, mesh-connected multicomputers
25	Matei David, Periklis A. Papakonstantinou	Trade-Off Lower Bounds for Stack Machines.	CCC	2010	DBLP DOI BibTeX RDF	AuxPDA, lower bound, streaming, communication complexity, stack, reversals, space bound
25	Cédric Fournet, Andrew D. Gordon 0001	Stack inspection: Theory and variants.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Access control, operational semantics, stack inspection, equational reasoning, contextual equivalence
25	Ted Skolnick	Stack Search - A Graphical Search Model.	IUI	1999	DBLP DOI BibTeX RDF	Wall Street Journal Interactive Edition, model, search, graphical, stack, news, keyword, paper, Boolean
25	Ching-Farn Eric Wu, Yarsun Hsu, Yew-Huey Liu	Efficient Stack Simulation for Set-Associative Virtual Address Cache with Real Tags.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	Stack simulation, V/R-type cache, pseudonym, set-associative cache, synonym, miss ratio
23	Kenichi Asai, Arisa Kitani	Functional derivation of a virtual machine for delimited continuations.	PPDP	2010	DBLP DOI BibTeX RDF	cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization
23	William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang 0001	Precise calling context encoding.	ICSE (1)	2010	DBLP DOI BibTeX RDF	dynamic context sensitivity, profiling, calling context
23	David Meirion Hughes, Ik Soo Lim	Kd-Jump: a Path-Preserving Stackless Traversal for Faster Isosurface Raytracing on GPUs.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
23	Biao Zhang, Steven B. Skaar	Robotic de-palletizing using uncalibrated vision and 3D laser-assisted image analysis.	IROS	2009	DBLP DOI BibTeX RDF
23	Cees T. A. M. de Laat, Chris Develder, Admela Jukan, Joe Mambretti	Introduction.	Euro-Par	2009	DBLP DOI BibTeX RDF
23	Wei Hu 0001, Tianzhou Chen, Qingsong Shi, Feng Sha	Efficient Utilization of Scratch-Pad Memory for Embedded Systems.	PerCom Workshops	2009	DBLP DOI BibTeX RDF
23	Shiro Kawai	Efficient floating-point number handling for dynamically typed scripting languages.	DLS	2008	DBLP DOI BibTeX RDF
23	Amir Herzberg, Igal Yoffe	The Layered Games Framework for Specifications and Analysis of Security Protocols.	TCC	2008	DBLP DOI BibTeX RDF
23	Mohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl	Emptiness of Multi-pushdown Automata Is 2ETIME-Complete.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF