Search results for "pointers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Asma Tafat	Preuves par raffinement de programmes avec pointeurs. (Proofs by refinement of programs with pointers).		2013	RDF
17	Robert Dockins, Aquinas Hobor	Time Bounds for General Function Pointers.	MFPS	2012	DBLP DOI BibTeX RDF
17	Zichao Xie, Dong Tong 0001, Mingkai Huang, Qinqing Shi, Xu Cheng 0001	SWIP Prediction: Complexity-Effective Indirect-Branch Prediction Using Pointers.	J. Comput. Sci. Technol.	2012	DBLP DOI BibTeX RDF
17	Lanfranco Lopriore	Encrypted Pointers in Protection System Design.	Comput. J.	2012	DBLP DOI BibTeX RDF
17	Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot	Bounded Model Checking of Recursive Programs with Pointers in K.	WADT	2012	DBLP DOI BibTeX RDF
17	Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth	The Location Linking Concept: A Basis for Verification of Code Using Pointers.	VSTTE	2012	DBLP DOI BibTeX RDF
17	Zehra Karapinar, Sultan Zavrak, Arafat Sentürk, Resul Kara, Pakize Erdogmus	A game to test pointers: Path finding.	ITHET	2012	DBLP DOI BibTeX RDF
17	Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot	Automated Verification of Recursive Programs with Pointers.	IJCAR	2012	DBLP DOI BibTeX RDF
17	Juan Caballero, Gustavo Grieco, Mark Marron, Antonio Nappa	Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities.	ISSTA	2012	DBLP DOI BibTeX RDF
17	Jason Cope, Kamil Iskra, Dries Kimpe, Robert B. Ross	Portable and Scalable MPI Shared File Pointers.	EuroMPI	2011	DBLP DOI BibTeX RDF
17	Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif	Formal Verification of a Lock-Free Stack with Hazard Pointers.	ICTAC	2011	DBLP DOI BibTeX RDF
17	Pascal Sotin, Bertrand Jeannet	Precise Interprocedural Analysis in the Presence of Pointers to the Stack.	ESOP	2011	DBLP DOI BibTeX RDF
17	Alexander Warg, Adam Lackorzynski	Rounding pointers: type safe capabilities with C++ meta programming.	PLOS@SOSP	2011	DBLP DOI BibTeX RDF
17	Zichao Xie, Dong Tong 0001, Mingkai Huang, Xiaoyin Wang, Qinqing Shi, Xu Cheng 0001	TAP prediction: Reusing conditional branch predictor for indirect branches with Target Address Pointers.	ICCD	2011	DBLP DOI BibTeX RDF
17	Wei Wang, Zhong Shao, Xinyu Jiang, Yu Guo	A Simple Model for Certifying Assembly Programs with First-Class Function Pointers.	TASE	2011	DBLP DOI BibTeX RDF
17	Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith, Hongseok Yang	Blaming the client: on data refinement in the presence of pointers.	Formal Aspects Comput.	2010	DBLP DOI BibTeX RDF
17	Yosi Ben-Asher, Jawad Haj-Yihia	Computing the correct Increment of Induction Pointers with application to loop unrolling.	J. Syst. Archit.	2010	DBLP DOI BibTeX RDF
17	Periklis Akritidis	Cling: A Memory Allocator to Mitigate Dangling Pointers.	USENIX Security Symposium	2010	DBLP BibTeX RDF
17	Javier de Dios, Manuel Montenegro, Ricardo Peña	Certified Absence of Dangling Pointers in a Language with Explicit Deallocation.	IFM	2010	DBLP DOI BibTeX RDF
17	Santosh Kumar Pani, Priya Arundhati, Mahamaya Mohanty	Refactoring Interprocedural Dynamic Slicing for Handling Pointers.	BAIP	2010	DBLP DOI BibTeX RDF
17	Matthew Might	Shape Analysis in the Absence of Pointers and Structure.	VMCAI	2010	DBLP DOI BibTeX RDF
17	Viorel Preoteasa	Frame rule for mutually recursive procedures manipulating pointers.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
17	Yasumasa Numata, Ichiro Yuyama, Hiroshi Hasegawa, Yu Watanabe	Study on Finger Pointers Using Gray Theory.	ICDS	2009	DBLP DOI BibTeX RDF
17	Sebastian Boring, Marko Jurmu, Andreas Butz	Scroll, tilt or move it: using mobile phones to continuously control pointers on large public displays.	OZCHI	2009	DBLP DOI BibTeX RDF	input techniques/mappings, optical flow, accelerometers, target acquisition, fatigue, cursor control
17	Hua Wang, Yao Guo 0001, Xiangqun Chen	FPValidator: Validating Type Equivalence of Function Pointers on the Fly.	ACSAC	2009	DBLP DOI BibTeX RDF
17	Isabel Oitavem	Characterizing PSPACE with pointers.	Math. Log. Q.	2008	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2008	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2008	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2008	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2008	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2008	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2008	DBLP DOI BibTeX RDF
17	James Laird	A game semantics of names and pointers.	Ann. Pure Appl. Log.	2008	DBLP DOI BibTeX RDF
17	Maria Prutkina, Andreas Windisch	Evolutionary Structural Testing of Software with Pointers.	ICST Workshops	2008	DBLP DOI BibTeX RDF
17	Young Sang Choi, Cressel D. Anderson, Jonathan D. Glass, Charles C. Kemp	Laser pointers and a touch screen: intuitive interfaces for autonomous mobile manipulation for the motor impaired.	ASSETS	2008	DBLP DOI BibTeX RDF	amyotrophic lateral sclerosis, laser pointer interface, human-robot interaction, mobile manipulation, assistive robot, ALS
17	Morgan McGuire	GUIs for real-time programs using universal pointers.	SIGGRAPH Posters	2008	DBLP DOI BibTeX RDF
17	Jeffrey W. Chastine, Kristine S. Nagel, Ying Zhu 0001, Mary Hudachek-Buswell	Studies on the Effectiveness of Virtual Pointers in Collaborative Augmented Reality.	3DUI	2008	DBLP DOI BibTeX RDF
17	Rachid Echahed, Nicolas Peltier	A Needed Rewriting Strategy for Data-Structures with Pointers.	RTA	2008	DBLP DOI BibTeX RDF
17	Robert Latham, Robert B. Ross, Rajeev Thakur	Implementing MPI-IO Atomic Mode and Shared File Pointers Using MPI One-Sided Communication.	Int. J. High Perform. Comput. Appl.	2007	DBLP DOI BibTeX RDF
17	Salah M. Ramadan, Ahmed El Sherbini, Mahmoud Marie, Mohamed Zaki	Location Management in PCS Networks by Caching Two-Level Forwarding-Pointers.	Wirel. Pers. Commun.	2007	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2007	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2007	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2007	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2007	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2007	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2007	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2007	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2007	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2007	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2007	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2007	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2007	DBLP DOI BibTeX RDF
17	Noritaka Osawa	Evaluation of 3D pointers and annotations on autostereoscopic displays for 3D video communications.	SMC	2007	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2006	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2006	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2006	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2006	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2006	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2006	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2006	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2006	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2006	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2006	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2006	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2006	DBLP DOI BibTeX RDF
17	Luc Moreau 0001	A Fault-Tolerant Directory Service for Mobile Agents based on Forwarding Pointers.	Scalable Comput. Pract. Exp.	2006	DBLP BibTeX RDF
17	Jacob Eisenstein	Semantic Back-Pointers from Gesture.	HLT-NAACL	2006	DBLP BibTeX RDF
17	Jonathan Arnowitz, Elizabeth Dykstra-Erickson	Heads-up!: pointers for prospects.	Interactions	2005	DBLP DOI BibTeX RDF
17	Giuseppe Della Penna	A type system for static and dynamic checking of C++ pointers.	Comput. Lang. Syst. Struct.	2005	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2005	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2005	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2005	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2005	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2005	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2005	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2005	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2005	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2005	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2005	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2005	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2005	DBLP DOI BibTeX RDF
17	Thomas Eisenbarth 0003, Rainer Koschke, Gunther Vogel	Static object trace extraction for programs with pointers.	J. Syst. Softw.	2005	DBLP DOI BibTeX RDF
17	Charles Abondo, Samuel Pierre	Dynamic location and forwarding pointers for mobility management.	Mob. Inf. Syst.	2005	DBLP DOI BibTeX RDF
17	Harvey Tuch, Gerwin Klein	A Unified Memory Model for Pointers.	LPAR	2005	DBLP DOI BibTeX RDF
17	Robert Latham, Robert B. Ross, Rajeev Thakur, Brian R. Toonen	Implementing MPI-IO Shared File Pointers Without File System Support.	PVM/MPI	2005	DBLP DOI BibTeX RDF
17	Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev	A specification-based approach to reasoning about pointers.	SAVCBS@ESEC/FSE	2005	DBLP DOI BibTeX RDF
17	Sing-Ling Lee, Hwa-Chuan Lin, Pei-Xian Kou	A Lazy Caching Location Strategy with Bypass Pointers in PCS.	J. Inf. Sci. Eng.	2004	DBLP BibTeX RDF
17	Matthias Meyer	A Novel Processor Architecture with Exact Tag-Free Pointers.	IEEE Micro	2004	DBLP DOI BibTeX RDF
17	Isabel Oitavem	Characterizing NC with tier 0 pointers.	Math. Log. Q.	2004	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2004	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2004	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2004	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2004	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2004	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2004	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2004	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2004	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2004	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2004	DBLP DOI BibTeX RDF
17	Diane Crawford	Editorial pointers.	Commun. ACM	2004	DBLP DOI BibTeX RDF