|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1316 occurrences of 845 keywords
|
|
|
Results
Found 1351 publication records. Showing 1351 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Byron Cook, Daniel Kroening, Natasha Sharygina |
Accurate Theorem Proving for Program Verification. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Bernhard Wess, Thomas Zeitlhofer |
On the Phase Coupling Problem Between Data Memory Layout Generation and Address Pointer Assignment. |
SCOPES |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Edya Ladan-Mozes, Nir Shavit |
An Optimistic Approach to Lock-Free FIFO Queues. |
DISC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Atul Singh, Miguel Castro 0001, Peter Druschel, Antony I. T. Rowstron |
Defending against eclipse attacks on overlay networks. |
ACM SIGOPS European Workshop |
2004 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Changwoo Pyo, Byungchul Bae, Taejin Kim, Gyungho Lee |
Run-time Detection of Buffer Overflow Attacks without Explicit Sensor Data Objects. |
ITCC (1) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Radu Rugina, Martin C. Rinard |
Pointer analysis for structured parallel programs. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
Pointer analysis |
15 | Uday S. Reddy, Hongseok Yang |
Correctness of Data Representations Involving Heap Data Structures. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Masamichi Takagi, Kei Hiraki |
Compression in Data Caches with Compressible Field Isolation for Recursive Data Structures. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Voicu Popescu, Elisha Sacks, Gleb Bahmutov |
The ModelCamera: a Hand-Held Device for Interactive Modeling. |
3DIM |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Suan Hsi Yong, Susan Horwitz |
Protecting C programs from attacks via invalid pointer dereferences. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
security, static analysis, instrumentation, buffer overrun |
15 | Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi |
Checking and inferring local non-aliasing. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
effect inference, constraints, types, locking, alias analysis, Linux kernel, type qualifiers, restrict, confine, flow-sensitivity |
15 | Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer |
CCured in the real world. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
compatibility with library code, run-time type information, C, type safety, memory safety |
15 | John Field, Deepak Goyal, G. Ramalingam, Eran Yahav |
Typestate Verification: Abstraction Techniques and Complexity Results. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Souradyuti Paul, Bart Preneel |
Analysis of Non-fortuitous Predictive States of the RC4 Keystream Generator. |
INDOCRYPT |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa |
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Panagiotis D. Michailidis, Konstantinos G. Margaritis |
A Performance Study of Load Balancing Strategies for Approximate String Matching on an MPI Heterogeneous System Environment. |
PVM/MPI |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Riccardo Pucella |
Towards a formalization for COM part i: the primitive calculus. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
components, interfaces, type system, formalism, calculus, COM |
15 | Tong Chen 0010, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew |
An Empirical Study on the Granularity of Pointer Analysis in C Programs. |
LCPC |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Brad A. Myers, Choon Hong Peck, Jeffrey Nichols 0001, Dave Kong, Robert C. Miller |
Interacting at a Distance Using Semantic Snarfing. |
UbiComp |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers |
Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
calpa, dynamic analysis, program understanding, program optimization, points-to analysis, alias analysis, program instrumentation |
15 | Kihong Kim, Sang Kyun Cha, Keunjoo Kwon |
Optimizing Multidimensional Index Trees for Main Memory Access. |
SIGMOD Conference |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Martin Hirzel, Amer Diwan, Antony L. Hosking |
On the Usefulness of Liveness for Garbage Collection and Leak Detection. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
|
15 | David Tarditi |
Compact Garbage Collection Tables. |
ISMM |
2000 |
DBLP DOI BibTeX RDF |
Java |
15 | Giuliano Antoniol, Gerardo Casazza, Ettore Merlo |
Identification of Lower-Level Artifacts. |
IWPC |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Jun Rao, Kenneth A. Ross |
Making B+-Trees Cache Conscious in Main Memory. |
SIGMOD Conference |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Eng Huat Ng, Stu Wade, Claude Ghaoui |
Web Page Reuse Techniques: A Dynamic Referential Navigational Guide. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Roch H. Glitho, Bertrand E. Lenou, Samuel Pierre |
Handling Subscription in a Mobile Agent-Based Service Environment for Internet Telephony: Swapping Agents. |
MATA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Michael Hind, Michael G. Burke, Paul R. Carini, Jong-Deok Choi |
Interprocedural pointer alias analysis. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
pointer aliasing, program analysis, interprocedural analysis |
15 | Jaakko Järvi |
C++ Function Object Binders Made Easy. |
GCSE |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Radu Rugina, Martin C. Rinard |
Pointer Analysis for Multithreaded Programs. |
PLDI |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Radu Rugina, Martin C. Rinard |
Automatic Parallelization of Divide and Conquer Algorithms. |
PPoPP |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Sébastien Lapierre, Ettore Merlo, Gilles Savard, Giuliano Antoniol, Roberto Fiutem, Paolo Tonella |
Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees. |
ICSM |
1999 |
DBLP DOI BibTeX RDF |
execution tree, extended path constraint (EPC), path infeasibility, symbolic execution, mixed-integer linear programming, Automatic test data generation |
15 | Bryan Black, Bohuslav Rychlik, John Paul Shen |
The Block-Based Trace Cache. |
ISCA |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Norbert Blum |
On Parsing LL-Languages. |
Workshop on Implementing Automata |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Joseph Gil, Alon Itai |
The Complexity of Type Analysis of Object Oriented Programs. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Anissa Zergaïnoh, Pierre Duhamel, Jean Pierre Vidal |
Efficient Implementation Methodology of Fast FIR Filtering Algorithms on DSP. |
J. VLSI Signal Process. |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Qiang Liu, Zhaoqing Zhang, Xiaomei Ji |
Eliminating two kinds of data flow inaccuracy in the presence of pointer aliasing. |
APDC |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Liuxi Yang, Josep Torrellas |
Speeding up the Memory Hierarchy in Flat COMA Multiprocessors. |
HPCA |
1997 |
DBLP DOI BibTeX RDF |
cache-only memory architectures, cache coherence protocols, cache hierarchies, scalable shared-memory multiprocessors |
15 | Manuel V. Hermenegildo |
Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
Pointer Aliasing Analysis, Task Granularity Control, Abstract Interpretation, Automatic Parallelization, Speculation, Global Analysis, Irregular Computations |
15 | Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Michael I. Schwartzbach |
Automatic Verification of Pointer Programs using Monadic Second-Order Logic. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
Pascal |
15 | Keith D. Cooper, John Lu |
Register Promotion in C Programs. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
C |
15 | Kenjiro Taura, Akinori Yonezawa |
An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines. |
PPoPP |
1997 |
DBLP DOI BibTeX RDF |
Concurrent C |
15 | Yunseok Rhee, Joonwon Lee |
A Scalable Cache Coherent Architecture for Large-Scale Mesh-Connected Multiprocessors. |
ISPAN |
1997 |
DBLP DOI BibTeX RDF |
mesh-interconnect, directory-based protocol, multiprocessor, wormhole routing, cache coherence, dimension ordered routing |
15 | Myles F. Barrett, Marshall E. Giguere |
A Note on Covariance and Contravariance Unification. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
C++ |
15 | Craig S. Freedman, Josef Burger, David J. DeWitt |
SPIFFI-A Scalable Parallel File System for the Intel Paragon. |
IEEE Trans. Parallel Distributed Syst. |
1996 |
DBLP DOI BibTeX RDF |
scalability, file system, high performance, Parallel I/O, massively parallel processor |
15 | James A. Hendler |
Intelligent Agents: Where AI Meets Information Technology. |
IEEE Expert |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Pascal Fradet, Ronan Caugne, Daniel Le Métayer |
Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Hans-Juergen Boehm |
Simple Garbage-Collector-Safety. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Nils Klarlund, Michael I. Schwartzbach |
Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract). |
CAAP |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Nils Klarlund, Michael I. Schwartzbach |
Graph Types. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Hans-Juergen Boehm |
Space efficient conservative garbage collection (with retrospective) |
Best of PLDI |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Hans-Juergen Boehm |
Space Efficient Conservative Garbage Collection. |
PLDI |
1993 |
DBLP DOI BibTeX RDF |
C, SPARC, Cedar |
15 | William Landi, Barbara G. Ryder |
A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) |
Best of PLDI |
1992 |
DBLP DOI BibTeX RDF |
|
15 | William Landi, Barbara G. Ryder |
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. |
PLDI |
1992 |
DBLP DOI BibTeX RDF |
C |
15 | Igor Durdanovic |
A Fast Garbage Collection Algorithm for WAM-Based Prolog. |
CSL |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Jiri Soukup |
Organized C: A Unified Method of Handling Data in CAD Algorithms and Databases. |
DAC |
1990 |
DBLP DOI BibTeX RDF |
C++ |
15 | Anita L. Chow, Andres Rudmik |
The Design of a Data Flow Analyzer. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Juraj Steiner |
Axiomatic Semantics of Indirect Addressing. |
MFCS |
1981 |
DBLP DOI BibTeX RDF |
|
15 | Norihisa Suzuki |
Analysis of Pointer Rotation. |
POPL |
1980 |
DBLP DOI BibTeX RDF |
|
15 | Daniel G. Bobrow, Douglas W. Clark |
Compact Encodings of List Structure. |
ACM Trans. Program. Lang. Syst. |
1979 |
DBLP DOI BibTeX RDF |
|
15 | Lee A. Hollaar |
Specialized Merge Processor Networks for Combined Sorted Lists. |
ACM Trans. Database Syst. |
1978 |
DBLP DOI BibTeX RDF |
backend processors, binary tree networks, computer system architecture, full text retrieval systems, inverted file databases, nonnumeric processing, pipelined networks, sorted list merging |
8 | Matthew Canton |
The presence table: a reactive surface for ambient connection. |
TEI |
2011 |
DBLP DOI BibTeX RDF |
|
8 | Fritz Henglein |
Optimizing relational algebra operations using generic equivalence discriminators and lazy products. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
cross-product, disriminator, optimization, optimize, optimizing, evaluation, generic, query, product, algebra, formal, relational, equivalence, join, discrimination, symbolic, lazy |
8 | Martin T. Vechev, Eran Yahav, Greta Yorsh |
PHALANX: parallel checking of expressive heap assertions. |
ISMM |
2010 |
DBLP DOI BibTeX RDF |
parallel garbage collector, virtual machine, ownership |
8 | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
Low-level liquid types. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
liquid types, c, type inference, dependent types |
8 | Aquinas Hobor, Robert Dockins, Andrew W. Appel |
A theory of indirection via approximation. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
indirection theory, step-indexed models |
8 | Christopher Foster, Liz Burd, Andrew Hatch |
Exploring concepts collaboratively: considering how Wii interact. |
AVI |
2010 |
DBLP DOI BibTeX RDF |
|
8 | Katherine Isbister, Mary Flanagan, Chelsea Hash |
Designing games for learning: insights from conversations with designers. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
appreciation system, games and education, games for learning, design patterns, game design, design practice |
8 | Chen Tian 0002, Min Feng 0001, Rajiv Gupta 0001 |
Supporting speculative parallelization in the presence of dynamic data structures. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
multicore processors, speculative parallelization |
8 | Pierre Fraigniaud |
Provenance for database transformations. |
ICDT |
2010 |
DBLP DOI BibTeX RDF |
|
8 | James A. Clause, Alessandro Orso |
LEAKPOINT: pinpointing the causes of memory leaks. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
leak detection, dynamic tainting |
8 | Dan Gibson, David A. Wood 0001 |
Forwardflow: a scalable core for power-constrained CMPs. |
ISCA |
2010 |
DBLP DOI BibTeX RDF |
scalable core, chip multiprocessor (cmp), power |
8 | Stuart E. Schechter, Gabriel H. Loh, Karin Strauss, Doug Burger |
Use ECP, not ECC, for hard failures in resistive memories. |
ISCA |
2010 |
DBLP DOI BibTeX RDF |
hard failures, resistive memories, memory, error correction, phase change memory |
8 | Ruirui C. Huang, Daniel Y. Deng, G. Edward Suh |
Orthrus: efficient software integrity protection on multi-cores. |
ASPLOS |
2010 |
DBLP DOI BibTeX RDF |
replication-aware architecture, software diversity and redundancy, software security, multi-core architecture, memory protection |
8 | Pentti Kanerva |
Hyperdimensional Computing: An Introduction to Computing in Distributed Representation with High-Dimensional Random Vectors. |
Cogn. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Holographic reduced representation, Holistic record, Holistic mapping, Random indexing, Cognitive code, von Neumann architecture |
8 | Tao Ju |
Fixing Geometric Errors on Polygonal Models: A Survey. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
model repair, intersections, gaps, polygonal models, holes |
8 | Peter G. Neumann |
Risks to the public. |
ACM SIGSOFT Softw. Eng. Notes |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Peter G. Neumann |
Risks to the public. |
ACM SIGSOFT Softw. Eng. Notes |
2009 |
DBLP DOI BibTeX RDF |
|
8 | 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 |
|
8 | Leonora Bianchi, Marco Dorigo, Luca Maria Gambardella, Walter J. Gutjahr |
A survey on metaheuristics for stochastic combinatorial optimization. |
Nat. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Optimization, Probability, Uncertainty, Approximations, Sampling, Noise, Metaheuristics, Stochasticity |
8 | Pranith D. Kumar, Anchal Nema, Rajeev Kumar |
Hybrid analysis of executables to detect security vulnerabilities: security vulnerabilities. |
ISEC |
2009 |
DBLP DOI BibTeX RDF |
hybrid analysis, instrumentation, slicing, security vulnerabilities, memory errors |
8 | Margarita Chli, Andrew J. Davison |
Automatically and efficiently inferring the hierarchical structure of visual maps. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Emilio J. González-Galván, Ambrocio Loredo-Flores, Luis A. Raygoza, J. Jesus Palos, Steven B. Skaar |
Precise and robust large-shape reproduction using uncalibrated vision. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Paolo Ferragina, Igor Nitto, Rossano Venturini |
On the bit-complexity of Lempel-Ziv compression. |
SODA |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Yinan Li, Bingsheng He, Qiong Luo 0001, Ke Yi 0001 |
Tree Indexing on Flash Disks. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Junko Ichino, Kazuhiro Takeuchi, Hitoshi Isahara |
Improvement of Member's Concentration during Discussion. |
HCI (8) |
2009 |
DBLP DOI BibTeX RDF |
face-to-face meeting support, concentration on discussion, awareness, single display groupware (SDG), pen-based |
8 | Dimitris Grammenos, Yannis Georgalis, Nikolaos Partarakis, Xenophon Zabulis, Thomas Sarmis, Sokratis Kartakis, Panagiotis Tourlakis, Antonis A. Argyros, Constantine Stephanidis |
Rapid Prototyping of an AmI-Augmented Office Environment Demonstrator. |
HCI (3) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Hans-Juergen Boehm, Mike Spertus |
Garbage collection in the next C++ standard. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
C++, garbage collection |
8 | Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt |
Precise garbage collection for C. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
garbage collection, precise, conservative, c programming language, accurate |
8 | Holger Gast |
Reasoning about Memory Layouts. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Li-Pin Chang, Chen-Hui Hsu |
Soft lists: a native index structure for NOR-flash-based embedded devices. |
ASP-DAC |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Yves Younan, Frank Piessens, Wouter Joosen |
Protecting Global and Static Variables from Buffer Overflow Attacks. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Samir Ammenouche, Sid Ahmed Ali Touati, William Jalby |
On Instruction-Level Method for Reducing Cache Penalties in Embedded VLIW Processors. |
HPCC |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Junghee Lim, Akash Lal, Thomas W. Reps |
Symbolic Analysis via Semantic Reinterpretation. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Francisco Elizalde, Luis Enrique Sucar, Julieta Noguez 0001, Alberto Reyes |
Generating Explanations Based on Markov Decision Processes. |
MICAI |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Marc Dacier, Van-Hau Pham, Olivier Thonnard |
The WOMBAT Attack Attribution Method: Some Results. |
ICISS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Tuukka Ahoniemi, Ville Karavirta |
Analyzing the use of a rubric-based grading tool. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
mass courses, programming, assessment, grading, rubrics |
8 | Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta |
Runtime Verification of C Memory Safety. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Anthony Allevato, Stephen H. Edwards, Manuel A. Pérez-Quiñones |
Dereferee: exploring pointer mismanagement in student code. |
SIGCSE |
2009 |
DBLP DOI BibTeX RDF |
null dereference, pointer checking, smart pointer, tdd, test-first coding, test-driven development, memory leak, dynamic memory management, programming assignment, dangling pointer |
Displaying result #601 - #700 of 1351 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|