|
|
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 |
14 | Robert Brijder, Hendrik Jan Hoogeboom, Grzegorz Rozenberg |
From Micro to Macro: How the Overlap Graph Determines the Reduction Graph in Ciliates. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide |
Abstracting Pointers for a Verifying Compiler. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
A Reachability Predicate for Analyzing Low-Level Software. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Sung-Joon Jang, Moo-Kyoung Chung, Jaemoon Kim, Chong-Min Kyung |
Cache Miss-Aware Dynamic Stack Allocation. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Géry Casiez, Daniel Vogel 0001, Qing Pan, Christophe Chaillou |
RubberEdge: reducing clutching by combining position and rate control with elastic feedback. |
UIST |
2007 |
DBLP DOI BibTeX RDF |
clutching, mobile, hybrid, pointing, elastic |
14 | James A. Clause, Ioannis Doudalis, Alessandro Orso, Milos Prvulovic |
Effective memory protection using dynamic tainting. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
illegal memory accesses, hardware support, dynamic tainting |
14 | Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin |
Automated Verification of Shape and Size Properties Via Separation Logic. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Onur Mutlu, Hyesoon Kim, Yale N. Patt |
Address-Value Delta (AVD) Prediction: A Hardware Technique for Efficiently Parallelizing Dependent Cache Misses. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
value prediction, memory-level parallelism, runahead execution, Single data stream architectures |
14 | Armin Rigo, Samuele Pedroni |
PyPy's approach to virtual machine construction. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
metacircularity, retargettable code generation, virtual machine, type inference, Python |
14 | Takafumi Matsumaru, Takashi Kusada, Kazuya Iwase |
Mobile Robot with Preliminary-Announcement Function of Forthcoming Motion using Light-ray. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Zakarya A. Alzamil |
Application of Computational Redundancy in Dangling Pointers Detection. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
redundant computation, debugging, memory leaks, dangling pointers |
14 | Viorel Preoteasa |
Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Jack Liu, Youfeng Wu |
Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations' Perspective. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Teck Bok Tok, Samuel Z. Guyer, Calvin Lin |
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani |
A Logic of Reachable Patterns in Linked Data-Structures. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ashish Aggarwal, Pankaj Jalote |
Integrating Static and Dynamic Analysis for Detecting Vulnerabilities. |
COMPSAC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Igor Radusinovic, Zoran Veljovic |
Performance analysis of Exhaustive Limited Service Round Robin Matching Algorithm. |
ICN/ICONS/MCL |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Gaurav Gupta 0002, Josef Pieprzyk |
A Low-Cost Attack on Branch-Based Software Watermarking Schemes. |
IWDW |
2006 |
DBLP DOI BibTeX RDF |
unconditional branch, watermark, software, breakpoint |
14 | Peter W. O'Hearn |
Separation Logic and Program Analysis. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | David L. Heine, Monica S. Lam |
Static detection of leaks in polymorphic containers. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
program analysis, type systems, memory management, error detection, memory leaks |
14 | Boris Aronov, Prosenjit Bose, Erik D. Demaine, Joachim Gudmundsson, John Iacono, Stefan Langerman, Michiel H. M. Smid |
Data Structures for Halfplane Proximity Queries and Incremental Voronoi Diagrams. |
LATIN |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Björn Franke, Michael F. P. O'Boyle |
A Complete Compiler Approach to Auto-Parallelizing C Programs for Multi-DSP Systems. |
IEEE Trans. Parallel Distributed Syst. |
2005 |
DBLP DOI BibTeX RDF |
conversion from sequential to parallel forms, modeling, evaluation, compilers, measurement, performance measures, interprocessor communications, arrays, real-time and embedded systems, restructuring, Parallel processors, simulation of multiple-processor systems, reverse engineering and reengineering, signal processing systems |
14 | Dengping Zhu, Hongwei Xi |
Safe Programming with Pointers Through Stateful Views. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Lin Qiao, Weitong Huang, Zhizhong Tang |
A Dynamic Data Dependence Analysis Approach for Software Pipelining. |
NPC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Scott McPeak, George C. Necula |
Data Structure Specifications via Local Equality Axioms. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Huan Huo, Guoren Wang, Chuan Yang, Rui Zhou 0001 |
Signature-based Filtering Techniques for Structural Joins of XML Data. |
ICDE Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Veronika Ortner, Norbert Schirmer |
Verification of BDD Normalization. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Onur Mutlu, Hyesoon Kim, Yale N. Patt |
Address-Value Delta (AVD) Prediction: Increasing the Effectiveness of Runahead Execution by Exploiting Regular Memory Allocation Patterns. |
MICRO |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Antonio Camurri, Ginevra Castellano, Matteo Ricchetti, Gualtiero Volpe |
Subject Interfaces: Measuring Bodily Activation During an Emotional Experience of Music. |
Gesture Workshop |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Kuo-Yu Liu, Herng-Yow Chen |
Exploring media correlation and synchronization for navigated hypermedia documents. |
ACM Multimedia |
2005 |
DBLP DOI BibTeX RDF |
computed synchronization process, media correlation, semantic level correlation, syntactic level correlation, media synchronization |
14 | Xiang Cao, Eyal Ofek, David Vronay |
Evaluation of alternative presentation control techniques. |
CHI Extended Abstracts |
2005 |
DBLP DOI BibTeX RDF |
control techniques, user study, presentation |
14 | Mark Ashdown, Kenji Oka, Yoichi Sato |
Combining head tracking and mouse input for a GUI on multiple monitors. |
CHI Extended Abstracts |
2005 |
DBLP DOI BibTeX RDF |
head tracking, attentive user interface, multiple monitors, gaze-contingent display |
14 | Chris Lattner, Vikram S. Adve |
Automatic pool allocation: improving performance by controlling data structure layout in the heap. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
pool allocation, cache, static analysis, data layout, recursive data structure |
14 | Igor Radusinovic, Zoran Veljovic |
New Round-Robin Scheduling Algorithm for Combined Input-Crosspoint Buffered Switch. |
ICN (1) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Adrian Tineo, Francisco Corbera, Angeles G. Navarro, Rafael Asenjo, Emilio L. Zapata |
A Novel Approach for Detecting Heap-Based Loop-Carried Dependences. |
ICPP |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Miroslaw Korzeniowski, Christian Scheideler |
Transparent Data Structures, or How to Make Search Trees Robust in a Distributed Environmen. |
ISPAN |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Andrei Stoica, Csilla Farkas |
Ontology Guided XML Security Engine. |
J. Intell. Inf. Syst. |
2004 |
DBLP DOI BibTeX RDF |
ontology based inference attack, multi-level XML security, data aggregation, XML security |
14 | Anasua Bhowmik, Manoj Franklin |
A General Compiler Framework for Speculative Multithreaded Processors. |
IEEE Trans. Parallel Distributed Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Orso, Saurabh Sinha, Mary Jean Harrold |
Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging. |
ACM Trans. Softw. Eng. Methodol. |
2004 |
DBLP DOI BibTeX RDF |
incremental slicing, debugging, program comprehension, program slicing, Data dependences, pointers, data-flow testing |
14 | Sigeru Sato, Muneo Kitajima, Yukio Fukui |
A Concept of Grasping Information Interface for Remote Pointing Task. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Loukas Georgiadis, Robert Endre Tarjan |
Finding dominators revisited: extended abstract. |
SODA |
2004 |
DBLP BibTeX RDF |
|
14 | Darren C. Atkinson |
Accurate Call Graph Extraction of Programs with Function Pointers Using Type Signatures. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Michael Jung 0002, Sorin A. Huss |
Fast Points-to Analysis for Languages with Structured Types. |
SCOPES |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Ismail Kadayif, Partho Nath, Mahmut T. Kandemir, Anand Sivasubramaniam |
Compiler-directed physical address generation for reducing dTLB power. |
ISPASS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Kathryn S. McKinley |
Polar opposites: next generation languages and architectures. |
Memory System Performance |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Roman Manevich, Manu Sridharan, Stephen Adams 0001, Manuvir Das, Zhe Yang 0001 |
PSE: explaining program failures via postmortem static analysis. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
postmortem analysis, value flow, alias analysis, typestate |
14 | Robert A. van Engelen, Johnnie Birch, Yixin Shou, Burt Walsh, Kyle A. Gallivan |
A unified framework for nonlinear dependence testing and symbolic analysis. |
ICS |
2004 |
DBLP DOI BibTeX RDF |
compiler |
14 | Jun Park, Woohun Lee |
Augmented E-commerce: Making Augmented Reality Usable in Everyday E-commerce with Laser Projection Tracking. |
MIPS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Ramakrishnan Venkitaraman, Gopal Gupta 0001 |
Static program analysis of embedded executable assembly code. |
CASES |
2004 |
DBLP DOI BibTeX RDF |
embedded software components, executable code, static analysis, abstract interpretation, assembly code |
14 | Anand Viswanathan, Emad Boctor, Russell H. Taylor, Gregory D. Hager, Gabor Fichtinger |
Immediate Ultrasound Calibration with Three Poses and Minimal Image Processing. |
MICCAI (2) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Po-Jen Chuang, Shien-Da Chang, Tun-Hao Chao |
An Enhanced Caching Strategy for Location Tracking in PCS Networks. |
EUC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Dino Distefano, Joost-Pieter Katoen, Arend Rensink |
Who is Pointing When to Whom? |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Rodric M. Rabbah, Hariharan Sandanagobalane, Mongkol Ekpanyapong, Weng-Fai Wong |
Compiler orchestrated prefetching via speculation and predication. |
ASPLOS |
2004 |
DBLP DOI BibTeX RDF |
prefetching, speculation, precomputation, predicated execution |
14 | Y. Charlie Hu, Weimin Yu, Alan L. Cox, Dan S. Wallach, Willy Zwaenepoel |
Run-time support for distributed sharing in safe languages. |
ACM Trans. Comput. Syst. |
2003 |
DBLP DOI BibTeX RDF |
distributed sharing, safe programming languages, Communications, memory consistency |
14 | Kurt Mehlhorn, Peter Sanders 0001 |
Scanning Multiple Sequences Via Cache Memory. |
Algorithmica |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Paul Anderson, Thomas W. Reps, Tim Teitelbaum |
Design and Implementation of a Fine-Grained Software Inspection Tool. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
chopping, program understanding, slicing, Software inspection, software model checking, dependence graphs |
14 | Yigal Bejerano, Israel Cidon |
An Anchor Chain Scheme for IP Mobility Management. |
Wirel. Networks |
2003 |
DBLP DOI BibTeX RDF |
mobility management, mobile-IP, location management, wireless systems, cellular systems, personal communication system |
14 | Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner |
Memory safety without runtime checks or garbage collection. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
automatic pool allocation, security, embedded systems, compilers, static analysis, programming languages, region management |
14 | Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa |
The Interface Definition Language for Fail-Safe C. |
ISSS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jia-ju Mao, Qiu-lin Chen, Ruzhan Lu |
Analyzing V+Adj in Situation Semantics. |
CICLing |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Indra Geys, Luc Van Gool |
Virtual Post-its: Visual Label Extraction, Attachment, and Tracking for Teleconferencing. |
ICVS |
2003 |
DBLP DOI BibTeX RDF |
visual annotation, laser point detection, real-time and markerless tracking, affine invariant features, virtual and augmented reality |
14 | Jeffrey S. Steinman, Jennifer W. Wong |
The SPEEDES Persistence Framework and the Standard Simulation Architecture. |
PADS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Seunghyun Oh, Yangsun Lee 0002 |
The Bitmap Trie for Fast Prefix Lookup. |
Human.Society@Internet 2003 |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Yichen Xie 0001, Andy Chou, Dawson R. Engler |
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
memory access errors, security, static analysis, error detection, buffer overflow, buffer overrun |
14 | Eric Lecolinet |
Multiple pointers: a study and an implementation. |
IHM |
2003 |
DBLP DOI BibTeX RDF |
UDP/C notation, Ubit toolkit, bi-manual interaction, multiple pointers, multiple screen workspaces, single display groupware, synchronous groupware |
14 | Tatsushi Inagaki, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani |
Stride prefetching by dynamically inspecting objects. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
Java just-in-time compiler, object inspection, stride prefetching |
14 | Masamichi Takagi, Kei Hiraki |
Field Array Compression in Data Caches for Dynamically Allocated Recursive Data Structure. |
ISHPC |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Eve Bertucci, Maurizio Pilu, Majid Mirmehdi |
Text Selection by Structured Light Marking for Hand-held Cameras. |
ICDAR |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Gerth Stølting Brodal, Christos Makris, Spyros Sioutas, Athanasios K. Tsakalidis, Kostas Tsichlas |
Optimal Solutions for the Temporal Precedence Problem. |
Algorithmica |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Krishna V. Palem, Rodric M. Rabbah, Vincent John Mooney, Pinar Korkmaz, Kiran Puttaswamy |
Design space optimization of embedded memory systems via data remapping. |
LCTES-SCOPES |
2002 |
DBLP DOI BibTeX RDF |
data remapping, design space exploration, power aware |
14 | Yefim Shuf, Manish Gupta 0002, Hubertus Franke, Andrew W. Appel, Jaswinder Pal Singh |
Creating and preserving locality of java applications at allocation and garbage collection times. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
heap traversal, locality based graph traversal, object co-allocation, prolific types, Java, locality, garbage collection, memory management, JVM, memory allocation, run-time systems, object placement |
14 | Chris Lattner, Vikram S. Adve |
Automatic pool allocation for disjoint data structures. |
MSP/ISMM |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Rahul Jain 0001, Jaikumar Radhakrishnan, Pranab Sen |
Privacy and Interaction in Quantum Communication Complexity and a Theorem about the Relative Entropy of Quantum States. |
FOCS |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Yefim Shuf, Manish Gupta 0002, Rajesh Bordawekar, Jaswinder Pal Singh |
Exploiting prolific types for memory management and optimizations. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
14 | George C. Necula, Scott McPeak, Westley Weimer |
CCured: type-safe retrofitting of legacy code. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Trishul M. Chilimbi, Martin Hirzel |
Dynamic Hot Data Stream Prefetching for General-Purpose Programs. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
data reference profiling, memory performance optimization, temporal profiling, prefetching, dynamic optimization, dynamic profiling |
14 | Federico Fontana, Andrea Fusiello, Michele Gobbi, Vittorio Murino, Davide Rocchesso, Luca Sartor, Antonello Panuccio |
A Cross-Modal Electronic Travel Aid Device. |
Mobile HCI |
2002 |
DBLP DOI BibTeX RDF |
|
14 | D. A. F. Ei-Dib, Mohamed I. Elmasry |
Low-power register-exchange Viterbi decoder for high-speed wireless communications. |
ISCAS (5) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | David Ahlström, Martin Hitz, Gerhard Leitner |
Improving Mouse Navigation - A Walk through the "Hilly Screen Landscape". |
DSV-IS |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Birgit Zimmermann, Melanie Gnasa, Karin Harbusch |
Modeling a Corporate Information System to Improve Knowledge Management. |
EDBT Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Didier Galmiche, Daniel Méry, David J. Pym |
Resource Tableaux. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Robert Cooksey, Stéphan Jourdan, Dirk Grunwald |
A stateless, content-directed data prefetching mechanism. |
ASPLOS |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Brendon Cahoon, Kathryn S. McKinley |
Data Flow Analysis for Software Prefetching Linked Data Structures in Java. |
IEEE PACT |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Jan-Willem Maessen, Vivek Sarkar, David Grove |
Program analysis for safety guarantees in a Java virtual machine written in Java. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
Java |
14 | Artour Stoutchinin, José Nelson Amaral, Guang R. Gao, James C. Dehnert, Suneel Jain, Alban Douillet |
Speculative Prefetching of Induction Pointers. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Dawson R. Engler, David Yu Chen, Andy Chou |
Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. |
SOSP |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Martin C. Carlisle, Anne Rogers |
Supporting Dynamic Data Structures with Olden. |
Compiler Optimizations for Scalable Parallel Systems Languages |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Yuan-Shin Hwang, Peng-Sheng Chen, Jenq Kuen Lee, Roy Dz-Ching Ju |
Probabilistic Points-to Analysis. |
LCPC |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Mikkel Thorup |
Fully-dynamic min-cut. |
STOC |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Honghui Lu, Alan L. Cox, Willy Zwaenepoel |
Contention elimination by replication of sequential sections in distributed shared memory programs. |
PPoPP |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Theo Härder, Udo Nink, Norbert Ritter |
Generierte DB-Aufrufschnittstellen - Anwendungsspezifische Zugriffsoptimierung durch Bindungsflexibilität. |
Inform. Forsch. Entwickl. |
2000 |
DBLP DOI BibTeX RDF |
Bindungszeitpunkte, Anwendungsprogrammierschnittstelle, Generische Methoden, Objektorientierung, Datenbanksysteme |
14 | Stanley Y. W. Su, Sanjay Ranka, Xiang He |
Performance Analysis of Parallel Query Processing Algorithms for Object-Oriented Databases. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
parallel query processing algorithms, data partitioning strategies, database benchmark, performance analysis, Object-oriented databases |
14 | Thomas Kistler, Michael Franz |
Automated data-member layout of help objects to improve memory-hierarchy performance. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
dynmaic data structures, memory-hierarchy optimization, dynamic optimization |
14 | Robert Cooksey, Dennis Colarelli, Dirk Grunwald |
Content-Based Prefetching: Initial Results. |
Intelligent Memory Systems |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Magnus Karlsson 0002, Fredrik Dahlgren, Per Stenström |
A Prefetching Technique for Irregular Accesses to Linked Data Structures. |
HPCA |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Hanne Riis Nielson, Flemming Nielson |
Shape Analysis for Mobile Ambients. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Frederick Smith, David Walker 0001, J. Gregory Morrisett |
Alias Types. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While |
Non-stop Haskell. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Haskell |
14 | Donglin Liang, Mary Jean Harrold |
Light-weight context recovery for efficient and accurate program analyses. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
program analysis, slicing, aliasing |
14 | Michael Bekerman, Adi Yoaz, Freddy Gabbay, Stéphan Jourdan, Maxim Kalaev, Ronny Ronen |
Early load address resolution via register tracking. |
ISCA |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 2384 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|