|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2003 occurrences of 1097 keywords
|
|
|
Results
Found 2395 publication records. Showing 2384 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Lars Bækgaard, Leo Mark |
Incremental Computation of Nested Relational Query Expressions. |
ACM Trans. Database Syst. |
1995 |
DBLP DOI BibTeX RDF |
nested query expressions, unnesting, view pointer caches, incremental computation, set differences |
21 | Koenraad Audenaert, Luk Levrouw |
Space efficient data race detection for parallel programs with series-parallel task graphs. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
space efficient data race detection, series-parallel task graphs, access anomaly, program debugger, on-the-fly methods, pointer variables, series-parallel task graph, spawning types, parallel programming, parallel programs, parallelism, synchronisation, program debugging, shared resource, storage requirements, fork-join |
21 | Hemant D. Pande, William Landi, Barbara G. Ryder |
Interprocedural Def-Use Associations for C Systems with Single Level Pointers. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
interprocedural def-use associations, C software systems, single level pointers, value-setting statements, value-fetches, program-point-specific pointer-induced aliases, interprocedural reaching definitions problem, software engineering, computational complexity, data structures, static analysis, NP-hardness, program compilers, polynomial-time algorithm, program diagnostics, C language, indirection |
21 | Jong-Deok Choi, Ron Cytron, Jeanne Ferrante |
On the Efficient Engineering of Ambitious Program Analysis. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
efficient engineering, compile-time methods, pointer references, array accesses, optimization phase, information benefit, analysis information volume, data-flow chains, reaching definitions, demand-driven computation, software engineering, compilers, optimisation, program analysis, programming environments, program compilers, data-flow analysis, program diagnostics, compact representation, static single assignment, procedure calls |
21 | Pierre E. Sorel, Mariano G. Fernandez, Sumit Ghosh |
A Dynamic Debugger for Asynchronous Distributed Algorithms. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
dynamic debugger, asynchronous distributed algorithms, LPdbx, distributed runtime debugger, loosely coupled parallel processors, iconic interface, program suspension, pointer references, banking applications, transportation applications, shareware, data structures, data structures, distributed algorithms, graphical user interfaces, program debugging, transportation, breakpoints, bank data processing, global variables |
21 | Wei-lun Kao, Ravishankar K. Iyer, Dong Tang |
FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
FINE, fault injection and monitoring environment, UNIX system behavior, hardware-induced software errors, fault injector, analysis utilities, SunOS 4.1.2, transient Markov reward analysis, bus faults, CPU faults, pointer faults, software tools, Unix, program testing, system monitoring, software faults, software monitor, workload generator |
21 | J. Eliot B. Moss |
Working with Persistent Objects: To Swizzle or Not to Swizzle. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
pointer swizzling, database objects, object identifiers, direct memory pointers, database programming language implementations, memory resident data, Mneme persistent object store, software engineering, data structures, data structures, object-oriented databases, object-oriented databases, manipulation, persistent objects, quantitative data, persistent object stores |
21 | Jean-Loup Baer, Yi-Bing Lin |
Improving Quicksort Performance with a Codewort Data Structure. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
codeword data structure, long, alphanumeric sequences, bytes, codeword generator, character count, first nonequal byte, quicksort algorithm, architecture-dependent parameters, in-line expansion, data structures, caches, sorting, compiler optimizations, register allocation, performance improvement, ordering, pointer, records, keys, swaps, write policies |
21 | James J. Little, Guy E. Blelloch, Todd A. Cass |
Algorithmic Techniques for Computer Vision on a Fine-Grained Parallel Machine. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1989 |
DBLP DOI BibTeX RDF |
grid permutation, pointer jumping, fine-grained parallel machine, primitive operations, vector machine model, Gaussian convolution, computer vision, computer vision, parallel algorithm, parallel algorithms, parallel architectures, parallel architectures, edge detection, computerised picture processing, parallel machines, stereo, image structures |
21 | Javier Sánchez |
Recognizing shapes and gestures using sound as feedback. |
CHI Extended Abstracts |
2010 |
DBLP DOI BibTeX RDF |
auditory (non-speech) feedback, non-visual visualization, gestures, sonification, auditory display, parametric curves, proprioception |
21 | Kazunari Tomizawa, Akiko Yoshida, Kohzoh Nakamura, Yasuhiro Yoshida |
QuintPixel: multi-primary color display systems. |
SIGGRAPH Emerging Technologies |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
A low-level memory model and an accompanying reachability predicate. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Harvey Tuch |
Formal Verification of C Systems Code. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
C, Separation logic, Interactive theorem proving |
21 | Rupesh Nasre, Kaushik Rajan, Ramaswamy Govindarajan, Uday P. Khedker |
Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Hongseok Yang |
Automatic Verification of Heap-Manipulating Programs Using Separation Logic. |
CSR |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic |
SoftBound: highly compatible and complete spatial memory safety for c. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
spatial memory safety, c, buffer overflows |
21 | Giovanni Manzini |
Succinct Representations of Trees. |
IWOCA |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Heiko Drewes, Albrecht Schmidt 0001 |
The MAGIC Touch: Combining MAGIC-Pointing with a Touch-Sensitive Mouse. |
INTERACT (2) |
2009 |
DBLP DOI BibTeX RDF |
eye-gaze pointing, touch-sensitive mouse, MAGIC pointing, Eye-tracking |
21 | Fabian Angarita, Ma José Canet, T. Sansaloni, Javier Valls, Vicenc Almenar-Terre |
Architectures for the Implementation of a OFDM-WLAN Viterbi Decoder. |
J. Signal Process. Syst. |
2008 |
DBLP DOI BibTeX RDF |
wireless LAN, OFDM, viterbi |
21 | Peyman Afshani |
On Dominance Reporting in 3D. |
ESA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Sumit Gulwani, Ashish Tiwari 0001 |
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Rémi Brochenin, Stéphane Demri, Étienne Lozes |
Reasoning About Sequences of Memory States. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Minghe Sun |
A primogenitary linked quad tree data structure and its application to discrete multiple criteria optimization. |
Ann. Oper. Res. |
2006 |
DBLP DOI BibTeX RDF |
Primogenitary linked quad tree, Multiple criteria optimization, Data structures, Multiple criteria decision making, Quad tree |
21 | Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve |
SAFECode: enforcing alias analysis for weakly typed languages. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
automatic pool allocation, compilers, programming languages, alias analysis, region management |
21 | Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar |
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Constantino G. Ribeiro, Marcelo Cintra |
Quantifying Uncertainty in Points-To Relations. |
LCPC |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Shinichi Fukushige, Hiromasa Suzuki |
Interactive 3D pointing device using mirror reflections. |
GRAPHITE |
2006 |
DBLP DOI BibTeX RDF |
3D input, interactive pointing device, reflections, motion tracking |
21 | Wajeeha Akram, Laura Tiberii, Margrit Betke |
A Customizable Camera-Based Human Computer Interaction System Allowing People with Disabilities Autonomous Hands-Free Navigation of Multiple Computing Tasks. |
Universal Access in Ambient Intelligence Environments |
2006 |
DBLP DOI BibTeX RDF |
video-based human-computer interfaces, Computer-vision, assistive technology, autonomous navigation, alternative input devices |
21 | Takahiro Shinagawa |
SegmentShield: Exploiting Segmentation Hardware for Protecting against Buffer Overflow Attacks. |
SRDS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Arnaud Venet |
Towards the Integration of Symbolic and Numerical Static Analysis. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Ali Khamene, Frank Sauer |
A Novel Phantom-Less Spatial and Temporal Ultrasound Calibration Method. |
MICCAI (2) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Lilia Georgieva, Patrick Maier 0001 |
Description Logics for Shape Analysis. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Ge Zhu, Akhilesh Tyagi |
Protection against Indirect Overflow Attacks on Pointers. |
IWIA |
2004 |
DBLP DOI BibTeX RDF |
|
21 | JinHo Ahn |
An Adaptive Communication Mechanism for Highly Mobile Agents. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Malek Adjouadi, Anaelis Sesin, Melvin Ayala, Mercedes Cabrerizo |
Remote Eye Gaze Tracking System as a Computer Interface for Persons with Severe Motor Disability. |
ICCHP |
2004 |
DBLP DOI BibTeX RDF |
|
21 | David L. Heine, Monica S. Lam |
A practical flow-sensitive and context-sensitive C and C++ memory leak detector. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
program analysis, type systems, memory management, error detection, memory leaks |
21 | 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 |
|
21 | Hervé Brönnimann, Frédéric Cazals, Marianne Durand |
Randomized Jumplists: A Jump-and-Walk Dictionary Data Structure. |
STACS |
2003 |
DBLP DOI BibTeX RDF |
Dictionary data structures, Searching and sorting, Randomization, Asymptotic analysis |
21 | 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 |
|
21 | Jop F. Sibeyn |
One-by-One Cleaning for Practical Parallel List Ranking. |
Algorithmica |
2002 |
DBLP DOI BibTeX RDF |
Algorithms, Parallel computing, Implementation, List ranking |
21 | Donglin Liang, Mary Jean Harrold |
Equivalence analysis and its application in improving the efficiency of program slicing. |
ACM Trans. Softw. Eng. Methodol. |
2002 |
DBLP DOI BibTeX RDF |
program slicing, data-flow analysis, Alias analysis |
21 | Seth Pettie, Vijaya Ramachandran |
Computing shortest paths with comparisons and additions. |
SODA |
2002 |
DBLP BibTeX RDF |
|
21 | Stephen M. Blackburn, Kathryn S. McKinley |
In or out?: putting write barriers in their place. |
MSP/ISMM |
2002 |
DBLP DOI BibTeX RDF |
copying collection, generational collection, Java, write barriers |
21 | Suleyman Sair, Timothy Sherwood, Brad Calder |
Quantifying Load Stream Behavior. |
HPCA |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Hans-Juergen Boehm |
Bounding space usage of conservative garbage collectors. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Andrea Fusiello, Antonello Panuccio, Vittorio Murino, Federico Fontana, Davide Rocchesso |
A Multimodal Electronic Travel Aid Device. |
ICMI |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Chia-Lin Yang, Alvin R. Lebeck |
A Programmable Memory Hierarchy for Prefetching Linked Data Structures. |
ISHPC |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Brad Johanson, Greg Hutchins, Terry Winograd, Maureen C. Stone |
PointRight: experience with flexible input redirection in interactive workspaces. |
UIST |
2002 |
DBLP DOI BibTeX RDF |
input redirection, ubiquitous computing, multi-display environments |
21 | Amir M. Ben-Amram, Zvi Galil |
A Generalization of a Lower Bound Technique due to Fredman and Saks. |
Algorithmica |
2001 |
DBLP DOI BibTeX RDF |
Algorithms, Parallel computing, Implementation, List ranking |
21 | Kihong Kim, Sang Kyun Cha, Keunjoo Kwon |
Optimizing Multidimensional Index Trees for Main Memory Access. |
SIGMOD Conference |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Rakesh Ghiya, Daniel M. Lavery, David C. Sehr |
On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
C |
21 | David S. Munro, Katrina E. Falkner, Matthew C. Lowry, Francis Vaughan |
Mosaic: A Non-Intrusive Complete Garbage Collector for DSM System. |
CCGRID |
2001 |
DBLP DOI BibTeX RDF |
|
21 | David Tarditi |
Compact Garbage Collection Tables. |
ISMM |
2000 |
DBLP DOI BibTeX RDF |
Java |
21 | Martin Hirzel, Amer Diwan |
On the Type Accuracy of Garbage Collection. |
ISMM |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Sehyun Kim, Sung-ye Kim, Kyung-hyun Yoon |
A Study on the Ray-Tracing Acceleration Technique Based on the ZF-Buffer Algorithm. |
IV |
2000 |
DBLP DOI BibTeX RDF |
ZF-buffer, intersection test, ray-tracing |
21 | Gary M. Zoppetti, Gagan Agrawal, Lori L. Pollock, José Nelson Amaral, Xinan Tang, Guang R. Gao |
Automatic compiler techniques for thread coarsening for multithreaded architectures. |
ICS |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Chia-Lin Yang, Alvin R. Lebeck |
Push vs. pull: data movement for linked data structures. |
ICS |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Jong Hyuk Choi, Kyu Ho Park |
Segment Directory Enhancing the Limited Directory Cache Coherence Schemes. |
IPPS/SPDP |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm |
A Logic-Based Approach to Program Flow Analysis. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Christopher Lapkowski, Laurie J. Hendren |
Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Alain Deutsch |
Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting. |
PLDI |
1994 |
DBLP DOI BibTeX RDF |
|
21 | 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 |
21 | Asia Slowinska, Herbert Bos |
Pointer tainting still pointless: (but we all see the point of tainting). |
ACM SIGOPS Oper. Syst. Rev. |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Manuela Waldner, Christian Pirchheim, Ernst Kruijff, Dieter Schmalstieg |
Automatic configuration of spatially consistent mouse pointer navigation in multi-display environments. |
IUI |
2010 |
DBLP DOI BibTeX RDF |
cross-display mouse navigation, multi-display environment |
21 | Eric S. Missimer, Margrit Betke |
Blink and wink detection for mouse pointer control. |
PETRA |
2010 |
DBLP DOI BibTeX RDF |
eye image analysis, mouse replacement system, video based human computer interface, assistive technology |
21 | Luke Simon |
Optimizing Pointer Analysis Using Bisimilarity. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Nicholas J. A. Harvey |
Matroid intersection, pointer chasing, and Young's seminormal representation of Sn. |
SODA |
2008 |
DBLP BibTeX RDF |
|
21 | Valery A. Nepomniaschy |
Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Jian Zhou, Laxmi N. Bhuyan, Anirban Banerjee |
An effective pointer replication algorithm in P2P networks. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Prakash Prabhu, Priti Shankar |
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Rick Kjeldsen |
An On-Screen Keyboard for Users with Poor Pointer Control. |
HCI (7) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | JongSoo Park, Sung-Boem Park, James D. Balfour, David Black-Schaffer, Christos Kozyrakis, William J. Dally |
Register pointer architecture for efficient embedded processors. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
21 | L. Ian Lumb, J. I. Lederman, James R. Freemantle, Keith D. Aldridge |
Semantically Enabling the Global Geodynamics Project: Incorporating Feature-Based Annotations via XML Pointer Language (XPointer). |
HPCS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek |
Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
A Systematic Approach to Probabilistic Pointer Analysis. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Amir Kamil, Katherine A. Yelick |
Hierarchical Pointer Analysis for Distributed Programs. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Preußer, Martin Zabel, Rainer G. Spallek |
Bump-pointer method caching for embedded Java processors. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
method cache, Java |
21 | Margrit Betke, Oleg Gusyatin, Mikhail Urinson |
Symbol design: a user-centered method to design pen-based interfaces and extend the functionality of pointer input devices. |
Univers. Access Inf. Soc. |
2006 |
DBLP DOI BibTeX RDF |
Universal interfaces, Camera interfaces, Video-based human-computer interfaces, User interfaces, Assistive technology, Universal access, Pen-based interfaces, Dynamic neural networks |
21 | Susumu Nishimura |
Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Buntarou Shizuki, Takaomi Hisamatsu, Shin Takahashi, Jiro Tanaka |
Laser pointer interaction techniques using peripheral areas of screens. |
AVI |
2006 |
DBLP DOI BibTeX RDF |
computer-based presentation, goal crossing, interaction techniques, pointing, laser pointers |
21 | 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 |
21 | Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Dino Distefano, Joost-Pieter Katoen, Arend Rensink |
Safety and Liveness in Concurrent Pointer Programs. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Marco Antonio Ramírez, Adrián Cristal, Mateo Valero, Alexander V. Veidenbaum, Luis Villa |
A New Pointer-based Instruction Queue Design and Its Power-Performance Evaluation. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
Instruction Wakeup, Low Power, CAM, Issue Queue, Out-of-Order Processors |
21 | David J. Pearce 0001, Paul H. J. Kelly, Chris Hankin |
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. |
Softw. Qual. J. |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Nathan Tuck, Brad Calder, George Varghese |
Hardware and Binary Modification Support for Code Pointer Protection From Buffer Overflow. |
MICRO |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Shinji Sugawara, Tetsuya Miki |
A Remote Lecture System with Laser Pointer for the Internet and Broadband Networks. |
SAINT Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
21 | John Williamson 0001, Roderick Murray-Smith |
Pointing without a pointer. |
CHI Extended Abstracts |
2004 |
DBLP DOI BibTeX RDF |
selection, probabilistic |
21 | Arnaud Venet |
A Scalable Nonuniform Pointer Analysis for Embedded Programs. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Angeles G. Navarro, Francisco Corbera, Rafael Asenjo, Adrian Tineo, Oscar G. Plata, Emilio L. Zapata |
A New Dependence Test Based on Shape Analysis for Pointer-Based Codes. |
LCPC |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ihn-Han Bae, Sun-Jin Oh |
A Pointer Forwarding Scheme for Fault-Tolerant Location Management in Mobile Networks. |
ICCSA (1) |
2004 |
DBLP DOI BibTeX RDF |
PCS systems, fault-tolerant location management, mobility management |
21 | Jian Zhang 0001 |
Symbolic Execution of Program Paths Involving Pointer and Structure Variables. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Oleg Gusyatin, Mikhail Urinson, Margrit Betke |
A Method to Extend Functionality of Pointer Input Devices. |
User Interfaces for All |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Pedro C. Diniz, Joonseok Park |
Using FPGAs for data and reorganization engines: preliminary results for spatial pointer-based data structures. |
FPGA |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Adam Bakewell, Detlef Plump, Colin Runciman |
Specifying Pointer Structures by Graph Reduction. |
AGTIVE |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Jean-Raymond Abrial |
Event Based Sequential Program Development: Application to Constructing a Pointer Program. |
FME |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Jiyoung Park, Juneho Yi |
Efficient Fingertip Tracking and Mouse Pointer Control for a Human Mouse. |
ICVS |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Farhad Mehta, Tobias Nipkow |
Proving Pointer Programs in Higher-Order Logic. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Victor De La Luz, Mahmut T. Kandemir, Guangyu Chen, Ibrahim Kolcu |
Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Samuel Z. Guyer, Calvin Lin |
Client-Driven Pointer Analysis. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 2384 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|