Search results for "peephole"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
258	Sumit Mehra, Peter J. Werkhoven, Marcel Worring	Navigating on handheld displays: Dynamic versus static peephole navigation.	ACM Trans. Comput. Hum. Interact.	2006	DBLP DOI BibTeX RDF	handheld displays, Human-computer interaction, navigation, visual perception
117	Xiang Cao, Jacky Jie Li, Ravin Balakrishnan	Peephole pointing: modeling acquisition of dynamically revealed targets.	CHI	2008	DBLP DOI BibTeX RDF	peephole, modeling, Fitts' law, pointing
117	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
107	Jay W. Warfield, Henry R. Bauer III	An expert system for a retargetable peephole optimizer.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF
100	Sorav Bansal, Alex Aiken	Automatic generation of peephole superoptimizers.	ASPLOS	2006	DBLP DOI BibTeX RDF	code selection, peephole optimization, superoptimization
76	Michael Rohs, Robert Schleicher, Johannes Schöning, Georg Essl, Anja Naumann, Antonio Krüger	Impact of item density on the utility of visual context in magic lens interactions.	Pers. Ubiquitous Comput.	2009	DBLP DOI BibTeX RDF	Dynamic peephole, Focus and context display, Pupil dilation, Mobile device, Eye tracking, Visual search, Camera phone, Saccades, Small display, Magic lens
76	Michael Rohs, Georg Essl, Johannes Schöning, Anja Naumann, Robert Schleicher, Antonio Krüger	Impact of item density on magic lens interactions.	Mobile HCI	2009	DBLP DOI BibTeX RDF	dynamic peephole, mobile devices, visual search, camera phones, small displays, magic lens
74	Andreas Butz, Antonio Krüger	Applying the Peephole Metaphor in a Mixed-Reality Room.	IEEE Computer Graphics and Applications	2006	DBLP DOI BibTeX RDF	human–computer interaction, instrumented environments, peepholes, ubiquitous computing, user interface metaphors
74	Ka-Ping Yee	Peephole displays: pen interaction on spatially aware handheld computers.	CHI	2003	DBLP DOI BibTeX RDF	3-D drag-and-drop, mobile computing, two-handed interaction, spatially aware displays, personal information spaces
74	Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß	Formal Verification of Transformations for Peephole Optimization.	FME	1997	DBLP DOI BibTeX RDF	reusability of specifications, formal verification, transformations, higher-order logic
74	Jack W. Davidson, Christopher W. Fraser	Automatic generation of peephole optimizations.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
74	Jack W. Davidson, Christopher W. Fraser	Automatic generation of peephole optimizations (with retrospective)	Best of PLDI	1984	DBLP DOI BibTeX RDF
67	Christian Dindler, Peter Gall Krogh, Sofie Beck, Liselott Stenfelt, Kaspar Rosengreen Nielsen, Kaj Grønbæk	Peephole experiences: field experiments with mixed reality hydroscopes in a marine center.	DUX	2007	DBLP DOI BibTeX RDF	hydroscope, peephole, interaction design, interactive spaces, aesthetics of interaction
60	Leonard Martin Ah Kun, Kuo-Hung Lee, Gary Marsden	Peepholes with no strings attached: using image processing as input in camera-phones.	SAICSIT	2007	DBLP DOI BibTeX RDF	map viewing, peephole, virtual window, HCI, mobile device, small screen, image correlation
57	Chao Wang 0001, Zijiang Yang 0006, Vineet Kahlon, Aarti Gupta	Peephole Partial Order Reduction.	TACAS	2008	DBLP DOI BibTeX RDF
57	Ka-Ping Yee	Interaction techniques and applications for peephole displays.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	3-D drag-and-drop, mobile computing, tangible user interfaces, two-handed interaction
57	Ganesh Gopalakrishnan, Prabhakar Kudva, Erik Brunvand	Peephole optimization of asynchronous macromodule networks.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
57	Jack W. Davidson, Christopher W. Fraser	The Design and Application of a Retargetable Peephole Optimizer.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
50	Michael Rohs, Johannes Schöning, Martin Raubal, Georg Essl, Antonio Krüger	Map navigation with mobile devices: virtual versus physical movement with and without visual context.	ICMI	2007	DBLP DOI BibTeX RDF	handheld displays, augmented reality, mobile devices, navigation, interaction techniques, maps, camera phones, spatially aware displays, camera-based interaction
41	Tiberiu Chelcea, Steven M. Nowick	Resynthesis and peephole transformations for the optimization of large-scale asynchronous systems.	DAC	2002	DBLP DOI BibTeX RDF
41	Vicki H. Allan	Peephole optimization as a targeting and coupling tool.	MICRO	1989	DBLP DOI BibTeX RDF
41	Robert R. Kessler	Peep: an architectural description driven peephole optimizer.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
41	Christopher W. Fraser	A Compact, Machine-Independent Peephole Optimizer.	POPL	1979	DBLP DOI BibTeX RDF
41	William M. McKeeman	Peephole optimization.	Commun. ACM	1965	DBLP DOI BibTeX RDF
33	Aditya K. Prasad, Vivek V. Shende, Igor L. Markov, John P. Hayes, Ketan N. Patel	Data structures and algorithms for simplifying reversible circuits.	ACM J. Emerg. Technol. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Circuit simplification, circuit libraries, optimal subcircuit
26	Johan Sanneblad, Lars Erik Holmquist	Ubiquitous graphics: combining hand-held and wall-size displays to interact with large images.	AVI	2006	DBLP DOI BibTeX RDF	peephole displays, position aware displays, mobile computing, ubiquitous computing, magic lenses
26	Rajeev Kumar 0004, Amit Gupta, B. S. Pankaj, Mrinmoy Ghosh, P. P. Chakrabarti 0001	Post-compilation optimization for multiple gains with pattern matching.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	instruction set FSM, peephole optimization, post-compilation optimization, pattern matching
24	Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric 0001	Pattern-Based Peephole Optimizations with Java JIT Tests.	CoRR	2024	DBLP DOI BibTeX RDF
24	Siang-Yun Lee, Giovanni De Micheli	Heuristic Logic Resynthesis Algorithms at the Core of Peephole Optimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
24	Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric 0001	Pattern-Based Peephole Optimizations with Java JIT Tests.	ISSTA	2023	DBLP DOI BibTeX RDF
24	Masashi Miyazaki, Takashi Komuro	AR Peephole Interface: Extending the workspace of a mobile device using real-space information.	Pervasive Mob. Comput.	2021	DBLP DOI BibTeX RDF
24	Chien-Hsiung Chen, Xiao Li	Visualizing Off-screen Targets: Effects of Response Time and Visual Cue Design on Users' Wayfinding Performance Using a Dynamic Peephole Interface.	Int. J. Hum. Comput. Interact.	2021	DBLP DOI BibTeX RDF
24	Funa Zhou, Zhiqiang Zhang, Danmin Chen	Real-time fault diagnosis using deep fusion of features extracted by parallel long short-term memory with peephole and convolutional neural network.	J. Syst. Control. Eng.	2021	DBLP DOI BibTeX RDF
24	Ji Liu 0007, Luciano Bello, Huiyang Zhou	Relaxed Peephole Optimization: A Novel Compiler Optimization for Quantum Circuits.	CGO	2021	DBLP DOI BibTeX RDF
24	Ji Liu 0007, Luciano Bello, Huiyang Zhou	Relaxed Peephole Optimization: A Novel Compiler Optimization for Quantum Circuits.	CoRR	2020	DBLP BibTeX RDF
24	Wentao Luo, Jianfu Zhang 0002, Pingfa Feng, Dingwen Yu, Zhijun Wu 0002	A concise peephole model based transfer learning method for small sample temporal feature-based data-driven quality analysis.	Knowl. Based Syst.	2020	DBLP DOI BibTeX RDF
24	Maria Anna Schett, Julian Nagele	Populating the Peephole Optimizer of a Smart Contract Compiler.	FMBC@CAV	2020	DBLP DOI BibTeX RDF
24	Lei Fu	Time Series-oriented Load Prediction Using Deep Peephole LSTM.	ICACI	2020	DBLP DOI BibTeX RDF
24	Shota Yamanaka, Hiroki Usuba, Haruki Takahashi, Homei Miyashita	Peephole Steering: Speed Limitation Models for Steering Performance in Restricted View Sizes.	Graphics Interface	2020	DBLP DOI BibTeX RDF
24	Daehwa Kim, Keun-Woo Park, Geehyuk Lee	OddEyeCam: A Sensing Technique for Body-Centric Peephole Interaction Using WFoV RGB and NFoV Depth Cameras.	UIST	2020	DBLP DOI BibTeX RDF
24	Xiao Li, Chien-Hsiung Chen	The Effect of Peephole Interaction Mode and User Experience on Wayfinding Performance.	AHFE (17)	2020	DBLP DOI BibTeX RDF
24	Md. Motiur Rahman, Fazlul Hasan Siddiqui	An Optimized Abstractive Text Summarization Model Using Peephole Convolutional LSTM.	Symmetry	2019	DBLP DOI BibTeX RDF
24	Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes	AliveInLean: A Verified LLVM Peephole Optimization Verifier.	CAV (2)	2019	DBLP DOI BibTeX RDF
24	Masashi Miyazaki, Takashi Komuro	Augmented Reality-Based Peephole Interaction using Real Space Information.	ISMAR Adjunct	2019	DBLP DOI BibTeX RDF
24	Tomohiro Araki, Takashi Komuro	On-mouse projector: Peephole interaction using a mouse with a mobile projector.	Pervasive Mob. Comput.	2018	DBLP DOI BibTeX RDF
24	Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr	Practical verification of peephole optimizations with Alive.	Commun. ACM	2018	DBLP DOI BibTeX RDF
24	Boyang Deng, Junjie Yan, Dahua Lin	Peephole: Predicting Network Performance Before Training.	CoRR	2017	DBLP BibTeX RDF
24	Tomohiro Araki, Takashi Komuro	On-mouse projector: peephole interaction using a mouse with a projector.	MUM	2017	DBLP DOI BibTeX RDF
24	Maria De Marsico, Eugenio Nemmi, Bardh Prenkaj, Gabriele Saturni	A Smart Peephole on the Cloud.	ICIAP Workshops	2017	DBLP DOI BibTeX RDF
24	David Menendez, Santosh Nagarakatte	Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM.	PLDI	2017	DBLP DOI BibTeX RDF
24	Ralf Teusner, Nicholas Wittstruck, Thomas Staubitz	Video conferencing as a peephole to MOOC participants: Understanding struggling students and uncovering content defects.	TALE	2017	DBLP DOI BibTeX RDF
24	David Menendez, Santosh Nagarakatte	Precondition Inference for Peephole Optimizations in LLVM.	CoRR	2016	DBLP BibTeX RDF
24	Klen Copic Pucihar, Matjaz Kljun, Paul Coulton	Using a Mobile Phone as a 2D Virtual Tracing Tool: Static Peephole vs. Magic Lens.	HCC	2016	DBLP DOI BibTeX RDF
24	Eric Mullen, Daryl Zuniga, Zachary Tatlock, Dan Grossman	Verified peephole optimizations for CompCert.	PLDI	2016	DBLP DOI BibTeX RDF
24	David Menendez, Santosh Nagarakatte, Aarti Gupta	Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM.	SAS	2016	DBLP DOI BibTeX RDF
24	David Menendez, Santosh Nagarakatte	Termination-checking for LLVM peephole optimizations.	ICSE	2016	DBLP DOI BibTeX RDF
24	Barrett Ens, David Ahlström, Pourang Irani	Moving Ahead with Peephole Pointing: Modelling Object Selection with Head-Worn Display Field of View Limitations.	SUI	2016	DBLP DOI BibTeX RDF
24	Jens Müller 0001, Roman Rädle, Hans-Christian Jetter, Harald Reiterer	An Experimental Comparison of Vertical and Horizontal Dynamic Peephole Navigation.	CHI	2015	DBLP DOI BibTeX RDF
24	Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr	Provably correct peephole optimizations with alive.	PLDI	2015	DBLP DOI BibTeX RDF
24	Khalad Hasan, David Ahlström, Pourang P. Irani	Comparing Direct Off-Screen Pointing, Peephole, and Flick & Pinch Interaction for Map Navigation.	SUI	2015	DBLP DOI BibTeX RDF
24	K. Shyamala, V. Kamakoti 0001	ReMap: A Novel Automated Peephole Optimization Based Approach for Logic, Delay and Power Minimization.	J. Low Power Electron.	2014	DBLP DOI BibTeX RDF
24	Brenna McNally, Mona Leigh Guha, Leyla Norooz, Emily Rhodes, Leah Findlater	Incorporating peephole interactions into children's second language learning activities on mobile devices.	IDC	2014	DBLP DOI BibTeX RDF
24	Roman Rädle, Hans-Christian Jetter, Jens Müller 0001, Harald Reiterer	Bigger is not always better: display size, performance, and task load during peephole map navigation.	CHI	2014	DBLP DOI BibTeX RDF
24	Frederic Kerber, Antonio Krüger, Markus Löchtefeld	Investigating the effectiveness of peephole interaction for smartwatches in a map navigation task.	Mobile HCI	2014	DBLP DOI BibTeX RDF
24	Jens Müller 0001	Exploiting Spatial Memory and Navigation Performance in Dynamic Peephole Environments.	ITS	2014	DBLP DOI BibTeX RDF
24	Dylan Hadfield-Menell, Leslie Pack Kaelbling, Tomás Lozano-Pérez	Optimization in the now: Dynamic peephole optimization for hierarchical planning.	ICRA	2013	DBLP DOI BibTeX RDF
24	Bonifaz Kaufmann, David Ahlström	Studying spatial memory and map navigation performance on projector phones with peephole interaction.	CHI	2013	DBLP DOI BibTeX RDF
24	Jens Grubert, Dieter Schmalstieg	Playing it real again: a repeated evaluation of magic lens and static peephole interfaces in public space.	Mobile HCI	2013	DBLP DOI BibTeX RDF
24	Bonifaz Kaufmann, Martin Hitz	X-large virtual workspaces for projector phones through peephole interaction.	ACM Multimedia	2012	DBLP DOI BibTeX RDF
24	Bonifaz Kaufmann, David Ahlström	Revisiting peephole pointing: a study of target acquisition with a handheld projector.	Mobile HCI	2012	DBLP DOI BibTeX RDF
24	Jens Grubert, Ann Morrison, Helmut Munz, Gerhard Reitmayr	Playing it real: magic lens and static peephole interfaces for games in a public space.	Mobile HCI	2012	DBLP DOI BibTeX RDF
24	Jochen Huber, Jürgen Steimle, Max Mühlhäuser	A model of embodied dynamic peephole pointing for hidden targets.	BCS HCI	2011	DBLP BibTeX RDF
24	Wolfgang Hürst, Tair Bilyalov	Dynamic versus static peephole navigation of VR panoramas on handheld devices.	MUM	2010	DBLP DOI BibTeX RDF
24	Niels Henze, Susanne Boll	Evaluation of an off-screen visualization for magic lens and dynamic peephole interfaces.	Mobile HCI	2010	DBLP DOI BibTeX RDF
24	Stoney Jackson, Premkumar T. Devanbu, Kwan-Liu Ma	Stable, flexible, peephole pretty-printing.	Sci. Comput. Program.	2008	DBLP DOI BibTeX RDF
24	Sorav Bansal, Alex Aiken	Binary Translation Using Peephole Superoptimizers.	OSDI	2008	DBLP BibTeX RDF
24	Matthias Jacob, Mariusz H. Jakubowski, Prasad Naldurg, Chit Wei Saw, Ramarathnam Venkatesan	The Superdiversifier: Peephole Individualization for Software Protection.	IWSEC	2008	DBLP DOI BibTeX RDF
24	Olivier Delerue, Etienne Corteel	LScanner: une interface de type « peephole » pour le contrôle de la spatialisation.	IHM	2007	DBLP DOI BibTeX RDF
24	Tiberiu Chelcea, Steven M. Nowick	Resynthesis and Peephole Transformations for the Optimization of Large-Scale Asynchronous Systems.	IWLS	2002	DBLP BibTeX RDF
24	Xiaohua Kong, Radu Negulescu	Formal Verification of Peephole Optimizations in Asynchronous Circuits.	FORTE	2001	DBLP BibTeX RDF
24	Diomidis Spinellis	Declarative Peephole Optimization Using String Pattern Matching.	ACM SIGPLAN Notices	1999	DBLP DOI BibTeX RDF
24	Ganesh Gopalakrishnan, Prabhakar Kudva, Erik Brunvand	Peephole Optimization of Asynchronous Macromodule Networks.	ICCD	1994	DBLP DOI BibTeX RDF
24	Andrew John Gill	A Novel Approach Towards Peephole Optimisations.	Functional Programming	1991	DBLP DOI BibTeX RDF
24	Jack W. Davidson, David B. Whalley	Quick Compilers Using Peephole Optimization.	Softw. Pract. Exp.	1989	DBLP DOI BibTeX RDF
24	Bruce J. McKenzie	Fast Peephole Optimization Techniques.	Softw. Pract. Exp.	1989	DBLP BibTeX RDF
24	Mahadevan Ganapathi, Charles N. Fischer	Integrating Code Generation and Peephole Optimization.	Acta Informatica	1988	DBLP DOI BibTeX RDF
24	Jack W. Davidson, Christopher W. Fraser	Automatic Inference and Fast Interpretation of Peephole Optimization Rules.	Softw. Pract. Exp.	1987	DBLP DOI BibTeX RDF
24	Marina Roesler, Walter A. Burkhard	Concurrency Control Scheme for Shared Objects: A Peephole Approach Based on Semantics (extended abstract).	ICDCS	1987	DBLP BibTeX RDF
24	Jack W. Davidson, Christopher W. Fraser	Register Allocation and Exhaustive Peephole Optimization.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
24	Andrew S. Tanenbaum, Hans van Staveren, Johan W. Stevenson	Using Peephole Optimization on Intermediate Code.	ACM Trans. Program. Lang. Syst.	1982	DBLP DOI BibTeX RDF
24	David Alex Lamb	Construction of a Peephole Optimizer.	Softw. Pract. Exp.	1981	DBLP DOI BibTeX RDF
17	Anderson Maciel, Luciana Porcher Nedel, Vitor A. M. Jorge, Juan M. T. Ibiapina, Luis F. M. S. Silva	Reality cues-based interaction using whole-body awareness.	SAC	2010	DBLP DOI BibTeX RDF
17	Jinku Li, Zhi Wang 0004, Xuxian Jiang, Michael C. Grace, Sina Bahram	Defeating return-oriented rootkits with "Return-Less" kernels.	EuroSys	2010	DBLP DOI BibTeX RDF	return-less kernel, return-oriented rootkits, defense
17	Xiaolong Li, Deen Zheng, Ruhui Ma, Alei Liang, Haibing Guan	MTCrossBit: A Dynamic Binary Translation System Using Multithreaded Optimization Framework.	ICA3PP	2009	DBLP DOI BibTeX RDF	hot trace, ASLC, optimization, concurrent, multithreaded
17	Michael Rohs, Antti Oulasvirta	Target acquisition with camera phones when used as magic lenses.	CHI	2008	DBLP DOI BibTeX RDF	magic lens pointing, augmented reality, Fitts' law, camera phone, target acquisition, human-performance modeling
17	Derek Hoiem, Alexei A. Efros, Martial Hebert	Recovering Surface Layout from an Image.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	surface layout, spatial layout, geometric context, model-driven segmentation, multiple segmentations, context, object recognition, object detection, image understanding, scene understanding
17	Peter A. Boncz, Torsten Grust, Maurice van Keulen, Stefan Manegold, Jan Rittinger, Jens Teubner	MonetDB/XQuery: a fast XQuery processor powered by a relational engine.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	relational XQuery systems, XML, performance, scalability, XQuery, RDBMS
17	Misook Sohn, Geehyuk Lee	ISeeU: camera-based user interface for a handheld computer.	Mobile HCI	2005	DBLP DOI BibTeX RDF	input devices and strategies, handheld devices, camera, interaction styles
17	K. Shiv, R. Iyer, C. Newburn, J. Dahlstedt, M. Lagergren, O. Lindholm	Impact of JIT/JVM Optimizations on Java Application Performance.	Interaction between Compilers and Computer Architectures	2003	DBLP DOI BibTeX RDF
17	Matthew C. Merten, Andrew R. Trick, Ronald D. Barnes, Erik M. Nystrom, Christopher N. George, John C. Gyllenhaal, Wen-mei W. Hwu	An Architectural Framework for Runtime Optimization.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Postlink optimization, hardware profiling, low-overhead profiling, program hot spot, partial function inlining, trace formation and optimization, dynamic optimization, runtime optimization, code layout