Search results for "stack"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Kensaku Fujii, Jun Shimamura, Kenichi Arakawa, Tomohiko Arikawa	Tangible search for stacked objects.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	catadioptric stereo, real-time 3D analysis, tangible interface
12	Nina S. T. Hirata, Roberto Hirata Jr.	Design of Order Statistic Filters from Examples.	SIBGRAPI	2003	DBLP DOI BibTeX RDF
12	Yasuhiko Minamide	Selective Tail Call Elimination.	SAS	2003	DBLP DOI BibTeX RDF
12	Sumesh Udayakumaran, Rajeev Barua	Compiler-decided dynamic memory allocation for scratch-pad based embedded systems.	CASES	2003	DBLP DOI BibTeX RDF	embedded systems, compiler, memory allocation, scratch-pad
12	Ravishankar K. Iyer, Shuo Chen 0001, Jun Xu 0003, Zbigniew Kalbarczyk	Security Vulnerabilities - From Data Analysis to Protection Mechanisms.	WORDS Fall	2003	DBLP DOI BibTeX RDF
12	Michael X. Wang, Katsuharu Suzuki, Wayne Wei-Ming Dai	Electrical and Thermal Analysis for System-in-a-Package (SiP) Implementation Platform.	ISQED	2003	DBLP DOI BibTeX RDF
12	Zili Shao, Qingfeng Zhuge, Yi He 0001, Edwin Hsing-Mean Sha	Defending Embedded Systems Against Buffer Overflow via Hardware/Software.	ACSAC	2003	DBLP DOI BibTeX RDF
12	Dongwoo Lee, Wesley Kwong, David T. Blaauw, Dennis Sylvester	Analysis and minimization techniques for total leakage considering gate oxide leakage.	DAC	2003	DBLP DOI BibTeX RDF
12	M. Josie Ammer, Michael Sheets, Tufan C. Karalar, Mika Kuulusa, Jan M. Rabaey	A low-energy chip-set for wireless intercom.	DAC	2003	DBLP DOI BibTeX RDF	low power, wireless communication, design methodology
12	R. Gregory Taylor	LL parsing, LR parsing, complexity, and automata.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
12	Ray Giguette	The Crawfish and the Aztec treasure maze: adventures in data structures.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
12	Kevin Hammond, Greg Michaelson	Predictable Space Behaviour in FSM-Hume.	IFL	2002	DBLP DOI BibTeX RDF
12	Philip C. Roth, Barton P. Miller	Deep Start: A Hybrid Strategy for Automated Performance Problem Searches.	Euro-Par	2002	DBLP DOI BibTeX RDF
12	Markus Pizka, Christian Rehn	Heaps and Stacks in Distributed Shared Memory.	IPDPS	2002	DBLP DOI BibTeX RDF
12	Luc Brun, Walter G. Kropatsch	Receptive Fields within the Combinatorial Pyramid Framework.	DGCI	2002	DBLP DOI BibTeX RDF
12	Jens Palsberg, Di Ma	A Typed Interrupt Calculus.	FTRTFT	2002	DBLP DOI BibTeX RDF
12	Ik-Soon Kim, Kwang-Moo Choe	Error repair with validation in LR-based parsing.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	LR, least cost, Complexity, error recovery
12	João Ventura 0001, João Rodrigues, Luís E. T. Rodrigues	Response Time Analysis of Composable Micro-Protocols.	ISORC	2001	DBLP DOI BibTeX RDF
12	Martin Kutrib	Efficient Universal Pushdown Cellular Automata and Their Application to Complexity.	MCU	2001	DBLP DOI BibTeX RDF
12	Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer	Past Pushdown Timed Automata.	CIAA	2001	DBLP DOI BibTeX RDF
12	Oren Avissar, Rajeev Barua, Dave Stewart	Heterogeneous memory management for embedded systems.	CASES	2001	DBLP DOI BibTeX RDF	embedded, memory, heterogeneous, storage
12	Heikki Helin, Mikko Laukkanen	Towards Efficient and Reliable Agent Communication in Wireless Environments.	CIA	2001	DBLP DOI BibTeX RDF
12	Axel Dold, Vincent Vialard	A Mechanically Verified Compiling Specification for a Lisp Compiler.	FSTTCS	2001	DBLP DOI BibTeX RDF
12	Giuseppe Bianchi 0001, Nicola Blefari-Melazzi, Mauro Femminella, F. Pugini	Performance Evaluation of a Measurement- Based Algorithm for Distributed Admission Control in a DiffServ Framework.	IWDC	2001	DBLP DOI BibTeX RDF
12	Luc Brun, Walter G. Kropatsch	Introduction to Combinatorial Pyramids.	Digital and Image Geometry	2000	DBLP DOI BibTeX RDF
12	Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam 0001, Patrice Pominville, Vijay Sundaresan	Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?	CC	2000	DBLP DOI BibTeX RDF
12	Jacques Farré, José Fortes Gálvez	A Basis for Looping Extensions to Discriminating-Reverse Parsing.	CIAA	2000	DBLP DOI BibTeX RDF
12	Austin Kim, J. Morris Chang	An Advanced Instruction Folding Mechanism for a Stackless Java Processor.	ICCD	2000	DBLP DOI BibTeX RDF
12	Christian Kurmann, Michael Müller, Felix Rauch, Thomas Stricker	Speculative Defragmentation - A Technique to Improve the Communication Software Efficiency for Gigabit Ethernet.	HPDC	2000	DBLP DOI BibTeX RDF
12	Ralf Grosse Borger, Roger Butenuth, Hans-Ulrich Heiss	IP over SCI.	CLUSTER	2000	DBLP DOI BibTeX RDF	TCP/IP, Linux, SCI
12	John Whaley, Martin C. Rinard	Compositional Pointer and Escape Analysis for Java Programs.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java
12	Jong-Deok Choi, Manish Gupta 0002, Mauricio J. Serrano, Vugranam C. Sreedhar, Samuel P. Midkiff	Escape Analysis for Java.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java
12	Bruno Blanchet	Escape Analysis for Object-Oriented Languages: Application to Java.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java
12	Loe M. G. Feijs	Modelling Microsoft COM Using pi-Calculus.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
12	David Detlefs, Ole Agesen	Inlining of Virtual Methods.	ECOOP	1999	DBLP DOI BibTeX RDF
12	C. John Glossner, Stamatis Vassiliadis	Delft-Java Dynamic Translation.	EUROMICRO	1999	DBLP DOI BibTeX RDF
12	Hugo Miranda, Luís E. T. Rodrigues	Flexible Communication Support for CSCW Applications.	SPIRE/CRIWG	1999	DBLP DOI BibTeX RDF	quality-of-service, communication protocols, protocol composition, Distribution support
12	John Waldron	Dynamic Bytecode Usage by Object Oriented Java Programs.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	Object Oriented Platform Design, Java, Java Virtual Machine, bytecode
12	Frank Matthijs, Peter Kenens, Wouter Joosen, Pierre Verbaeten	Networking and Reflection: A Strong Combination.	Reflection	1999	DBLP DOI BibTeX RDF
12	Holger Petersen 0001	The Head Hierarchy for Oblivious Finite Automata with Polynomial Advice Collapses.	MFCS	1998	DBLP DOI BibTeX RDF
12	Narayanan Vijaykrishnan, N. Ranganathan, Ravi Gadekarla	Object-Oriented Architectural Support for a Java Processor.	ECOOP	1998	DBLP DOI BibTeX RDF
12	Uta Ziegler	Extending an iterator model for binary trees to backtracking problems.	SIGCSE	1998	DBLP DOI BibTeX RDF
12	Yvonne Kalinke, Helko Lehmann	Computation in Recurrent Neural Networks: From Counters to Iterated Function Systems.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF
12	Ralph Frisbie, Richard Hendrickson, Michael Metcalf	The F Programming Language.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	FCL
12	Pil Joong Kim, Yeon Lee, Woon-Sik Kim, Kwangil Lee, Sang-Ha Kim 0001	A simulation study of interoperative methods for congestion control over TCP/AT.	ICPADS	1997	DBLP DOI BibTeX RDF	interoperative methods, TCP/ATM, ATM rate-based flow controls, interoperative method, SIMNET, performance, congestion control, resource management, transport protocols, ATM switches, simulation study, buffer requirement, NIST, cell losses
12	David Cronk, Matthew Haines, Piyush Mehrotra	Thread Migration in the Presence of Pointers.	HICSS (1)	1997	DBLP DOI BibTeX RDF
12	Martin P. Ward	Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	transformational development, graph marking, Schorr-Waite, ghost variables, recursion removal, pointer switching, refinement, transformation, Program development, data refinement
12	Henry Hanek, Nirwan Ansari	Speeding up the generalized adaptive neural filters.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
12	Manuel Serrano, Marc Feeley	Storage Use Analysis and its Applications.	ICFP	1996	DBLP DOI BibTeX RDF
12	Sreeranga P. Rajan, Jeffrey J. Joyce, Carl-Johan H. Seger	From Abstract Data Types to Shift Registers: A Case Study in Formal Specification and Verification at Differing Levels of Abstraction using Theorem Proving and Symbolic Simulation.	HUG	1993	DBLP DOI BibTeX RDF
12	David B. Wagner, Brad Calder	Leapfrogging: A Portable Technique for Implementing Efficient Futures.	PPoPP	1993	DBLP DOI BibTeX RDF
12	Mitchell Wand, Dino Oliva	Proving the Correctness of Storage Representations.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
12	Koen Langendoen, Pieter H. Hartel	FCG: A Code Generator for Lazy Functional Languages.	CC	1992	DBLP DOI BibTeX RDF
12	Peter Thiemann 0001	Optimizing structural recursion in functional programs.	ICCL	1992	DBLP DOI BibTeX RDF
12	R. Nigel Horspool, Jan Vitek	Static analysis of PostScript code.	ICCL	1992	DBLP DOI BibTeX RDF
12	Chad L. Mitchell, Michael J. Flynn	The Effects of Processor Architecture on Instruction Memory Traffic.	ACM Trans. Comput. Syst.	1990	DBLP DOI BibTeX RDF
12	Michael Hanus	Compiling Logic Programs with Equality.	PLILP	1990	DBLP DOI BibTeX RDF
12	Andrew P. Tolmach, Andrew W. Appel	Debugging Standard ML Without Reverse Engineering.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
12	Paul R. Wilson 0001	Opportunistic garbage collection.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF
12	Rand Methfessel	Implementing an Access and Object Oriented Paradigm in a Language That Supports Neither.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	C
12	Olivier Danvy	Memory allocation and higher-order functions.	PLDI	1987	DBLP DOI BibTeX RDF
12	Janalee O'Bagy, Ralph E. Griswold	A recursive interpreter for the Icon programming language.	PLDI	1987	DBLP DOI BibTeX RDF	ICON
12	Patrice Boizumault	A Classical Implementation for Prolog-II.	ESOP	1986	DBLP DOI BibTeX RDF
12	Mads Dam, Frank Jensen	Compiler Generation from Relational Semantics.	ESOP	1986	DBLP DOI BibTeX RDF
12	Donald E. Knuth, Richard H. Bigelow	Programming Language for Automata.	J. ACM	1967	DBLP DOI BibTeX RDF
12	Herbert Kanner, P. Kosinski, Charles L. Robinson	The structure of yet another ALGOL compiler.	Commun. ACM	1965	DBLP DOI BibTeX RDF	ALGOL
10	Arwinder Dhillon, Ashima Singh, Vinod Kumar Bhalla	HBS-STACK: hierarchical biomarker selection and stacked ensemble model for biomarker identification and cancer prediction on multi-omics.	Neural Comput. Appl.	2024	DBLP DOI BibTeX RDF
10	Valentin Stangaciu, Cristina Stangaciu, Daniel-Ioan Curiac, Mihai V. Micea	PARSECS_RT: A real-time PARSECS-based communication protocol stack for critical sensing applications.	Internet Things	2024	DBLP DOI BibTeX RDF
10	Xin Wang, Gaomin Xiong, Yong Zhang	Focal stack based light field salient object detection via 3D-2D convolution hybrid network.	Signal Image Video Process.	2024	DBLP DOI BibTeX RDF
10	Daniel C. Lawo, R. Frantz, Abraham Cano Aguilera, X. Arnal I Clemente, M. P. Podles, José Luis Imaña, Idelfonso Tafur Monroy, J. J. Vegas Olmos	Falcon/Kyber and Dilithium/Kyber Network Stack on Nvidia's Data Processing Unit Platform.	IEEE Access	2024	DBLP DOI BibTeX RDF
10	Jakub Sorocki, Ilona Piekarz, Nicolo Delmonte, Lorenzo Silvestri, Maurizio Bozzi	A Broadband Inline Transition From On-PCB Microstrip to Hybrid Stack-Up Integrated Additively Fabricated Air-Filled Waveguide.	IEEE Access	2024	DBLP DOI BibTeX RDF
10	Jiabin Shen, Jiacheng Wang 0003	A Linear Instrument for In Situ Stack-Level Fuel Cell Characterization Using Periodical EIS Perturbations.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
10	Jianguo Ma, Tieming Liu, Lijun Xu 0001	Stack-Layer Dual-Frequency Ultrasound Array With Ground Shielding for Super-Harmonic Imaging.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
10	Deeksha P. Rao, Shrutkirthi S. Godkhindi, Abhigna V. Kumar, T. V. Prabhakar 0001	Dy-MAC: Implementation of dynamic MAC stack for IEEE 802.15.4e-TSCH.	Ad Hoc Networks	2024	DBLP DOI BibTeX RDF
10	Yanqing Shi, Hongye Cao, Si Chen	Order and disorder in the evolution of online knowledge community: an investigation of the chaotic behavior in social tagging systems with evidence of stack overflow.	Aslib J. Inf. Manag.	2024	DBLP DOI BibTeX RDF
10	Vinay Gautam 0002, Ranjeet Kumar Ranjan, Priyanka Dahiya, Anil Kumar 0009	ESDNN: A novel ensembled stack deep neural network for mango leaf disease classification and detection.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
10	Yan Liang, Yan Hao, Jiacheng Liao, Zhuoran Deng, Xing Wen, Zefeng Zheng, Jiahui Pan	A spatiotemporal network using a local spatial difference stack block for facial micro-expression recognition.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
10	Jian Zuo, Catherine Cadet, Zhongliang Li, Christophe Bérenguer, Rachid Outbib	A deterioration-aware energy management strategy for the lifetime improvement of a multi-stack fuel cell system subject to a random dynamic load.	Reliab. Eng. Syst. Saf.	2024	DBLP DOI BibTeX RDF
10	Wei Shi, Weihong Wang, Ying Shi 0002, Siyuan Chen, Ning Wang, Bingyi Cao	Radon Transform Constrained Multitrace Pre-Stack Deconvolution Algorithm.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
10	Hao Li 0011, Yihan Dang, Guangda Sun, Changhao Wu, Peng Zhang 0011, Danfeng Shan, Tian Pan 0001, Chengchen Hu	Programming Network Stack for Physical Middleboxes and Virtualized Network Functions.	IEEE/ACM Trans. Netw.	2024	DBLP DOI BibTeX RDF
10	Aleksandar Dordevic, Miladin Stefanovic, Tijana Petrovic, Milan Eric, Yury Klochkov, Milan Misic	JavaScript MEAN stack application approach for real-time nonconformity management in SMEs as a quality control aspect within Industry 4.0 concept.	Int. J. Comput. Integr. Manuf.	2024	DBLP DOI BibTeX RDF
10	Matthew S. Smith, Ian S. Knight, Rian C. Kormos, Joseph G. Pepe, Peter Kunach, Marc I. Diamond, Sarah H. Shahmoradian, John J. Irwin, William F. Degrado, Brian K. Shoichet	Docking for Molecules That Bind in a Symmetric Stack with SymDOCK.	J. Chem. Inf. Model.	2024	DBLP DOI BibTeX RDF
10	Chun Zhao, Byeungwoo Jeon	Compact Representation of Light Field Data for Refocusing and Focal Stack Reconstruction Using Depth Adaptive Multi-CNN.	IEEE Trans. Computational Imaging	2024	DBLP DOI BibTeX RDF
10	Hyunsu Chae, Keren Zhu 0001, Bhyrav Mutnury, Douglas Wallace, Douglas Winterberg, Daniel De Araujo, Jay Reddy, Adam R. Klivans, David Z. Pan	ISOP+: Machine Learning-Assisted Inverse Stack-Up Optimization for Advanced Package Design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2024	DBLP DOI BibTeX RDF
10	Shamik Kundu, Suvadeep Banerjee, Arnab Raha, Suriyaprakash Natarajan, Kanad Basu	DiagNNose: Toward Error Localization in Deep Learning Hardware-Based on VTA-TVM Stack.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2024	DBLP DOI BibTeX RDF
10	Godwin Elo, Benjamin Ghansah, Ephrem Kwaa-Aidoo	Critical Review of Stack Ensemble Classifier for the Prediction of Young Adults' Voting Patterns Based on Parents' Political Affiliations.	Informing Sci. Int. J. an Emerg. Transdiscipl.	2024	DBLP DOI BibTeX RDF
10	Newsha Ardalani, Saptadeep Pal, Puneet Gupta 0001	DeepFlow: A Cross-Stack Pathfinding Framework for Distributed AI Systems.	ACM Trans. Design Autom. Electr. Syst.	2024	DBLP DOI BibTeX RDF
10	Leuson Da Silva, Jordan Samhi, Foutse Khomh	ChatGPT vs LLaMA: Impact, Reliability, and Challenges in Stack Overflow Discussions.	CoRR	2024	DBLP DOI BibTeX RDF
10	Saikat Mondal, Mohammad Masudur Rahman 0001, Chanchal K. Roy	Can We Identify Stack Overflow Questions Requiring Code Snippets? Investigating the Cause & Effect of Missing Code Snippets.	CoRR	2024	DBLP DOI BibTeX RDF
10	Arif Ali Khan, Davide Taibi 0001, Cécile M. Perrault, Asif Ali Khan	Advancing Quantum Software Engineering: A Vision of Hybrid Full-Stack Iterative Model.	CoRR	2024	DBLP DOI BibTeX RDF
10	Emeralda Sesari, Federica Sarro, Ayushi Rastogi	Understanding Fairness in Software Engineering: Insights from Stack Exchange.	CoRR	2024	DBLP DOI BibTeX RDF
10	Katie Lim, Matthew Giordano, Theano Stavrinos, Baris Kasikci, Tom Anderson 0003	Beehive: A Flexible Network Stack for Direct-Attached Accelerators.	CoRR	2024	DBLP DOI BibTeX RDF
10	João Paulo C. de Lima, Asif Ali Khan, Luigi Carro, Jerónimo Castrillón	Full-Stack Optimization for CAM-Only DNN Inference.	CoRR	2024	DBLP DOI BibTeX RDF
10	Shaoyu Yang, Xiang Chen, Ke Liu, Guang Yang, Chi Yu	Automatic Bi-modal Question Title Generation for Stack Overflow with Prompt Learning.	CoRR	2024	DBLP DOI BibTeX RDF
10	Samuel Pell, Andreas Willig	DCP and VarDis: An Ad-Hoc Protocol Stack for Dynamic Swarms and Formations of Drones - Extended Version.	CoRR	2024	DBLP DOI BibTeX RDF
10	Shahla Shaan Ahmed, Shaowei Wang 0002, Yuan Tian 0008, Tse-Hsun Chen, Haoxiang Zhang 0001	A First Look at Information Highlighting in Stack Overflow Answers.	CoRR	2024	DBLP DOI BibTeX RDF
10	Songyun Qu, Shixin Zhao, Bing Li, Yintao He, Xuyi Cai, Lei Zhang, Ying Wang 0001	CIM-MLC: A Multi-level Compilation Stack for Computing-In-Memory Accelerators.	CoRR	2024	DBLP DOI BibTeX RDF
10	Anton Lozhkov, Raymond Li, Loubna Ben Allal, Federico Cassano, Joel Lamy-Poirier, Nouamane Tazi, Ao Tang, Dmytro Pykhtar, Jiawei Liu 0004, Yuxiang Wei 0003, Tianyang Liu, Max Tian, Denis Kocetkov, Arthur Zucker, Younes Belkada, Zijian Wang, Qian Liu, Dmitry Abulkhanov, Indraneil Paul, Zhuang Li, Wen-Ding Li, Megan Risdal, Jia Li, Jian Zhu, Terry Yue Zhuo, Evgenii Zheltonozhskii, Nii Osae Osae Dade, Wenhao Yu 0002, Lucas Krauß, Naman Jain, Yixuan Su, Xuanli He, Manan Dey, Edoardo Abati, Yekun Chai, Niklas Muennighoff, Xiangru Tang, Muhtasham Oblokulov, Christopher Akiki, Marc Marone, Chenghao Mou, Mayank Mishra, Alex Gu, Binyuan Hui, Tri Dao, Armel Zebaze, Olivier Dehaene, Nicolas Patry, Canwen Xu, Julian J. McAuley, Han Hu, Torsten Scholak, Sébastien Paquet, Jennifer Robinson, Carolyn Jane Anderson, Nicolas Chapados, et al.	StarCoder 2 and The Stack v2: The Next Generation.	CoRR	2024	DBLP DOI BibTeX RDF
10	Run Huang, Souti Chattopadhyay	A Tale of Two Communities: Exploring Academic References on Stack Overflow.	CoRR	2024	DBLP DOI BibTeX RDF
10	Vlad Stirbu, Arianne Meijer-van de Griend, Jake Muff	Exposing the hidden layers and interplay in the quantum software stack.	CoRR	2024	DBLP DOI BibTeX RDF