|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4957 occurrences of 2584 keywords
|
|
|
|
|
Results
Found 4257 publication records. Showing 4257 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 4 | Aart J. C. Bik, Harry A. G. Wijshoff |
Automatic Data Structure Selection and Transformation for Sparse Matrix Computations.  |
IEEE Trans. Parallel Distrib. Syst.  |
1996 |
DBLP DOI BibTeX RDF |
Data structure selection, data structure transformations, program transformations, sparse matrix computations, restructuring compilers |
| 4 | Sekhar R. Sarukkai, Jerry C. Yan, Melisa Schmidt |
Automated instrumentation and monitoring of data movement in parallel programs. (PDF / PS)  |
IPPS  |
1995 |
DBLP DOI BibTeX RDF |
data-structure alignments, inter-processor data-structure interactions, compiler front end tools, tracking data-structure movements, NAS benchmarks, parallel programming, parallel programs, data structures, message passing, data flow analysis, software performance evaluation, program diagnostics, performance tools, message passing programs, inter-processor communications, data movement |
| 3 | Ishtiaque Hussain, Christoph Csallner |
Dynamic symbolic data structure repair.  |
ICSE  |
2010 |
DBLP DOI BibTeX RDF |
data structure invariants, data structure repair, dynamic symbolic execution |
| 3 | Changhee Jung, Nathan Clark |
DDT: design and evaluation of a dynamic program analysis for optimizing data structure usage.  |
MICRO  |
2009 |
DBLP DOI BibTeX RDF |
data structure identification, interface functions, memory graphs |
| 3 | Thomas P. Hayes, Jared Saia, Amitabh Trehan |
The forgiving graph: a distributed data structure for low stretch under adversarial attack.  |
PODC  |
2009 |
DBLP DOI BibTeX RDF |
half-full tree, peer-to-peer, network, data structure, distributed, reconfigurable, self-healing, responsive, stretch, degree |
| 3 | Saeed Behzadi, Ali A. Alesheikh, Mohammad R. Malek |
A Novel Tree Graph Data Structure for Point Datasets.  |
ICCSA  |
2009 |
DBLP DOI BibTeX RDF |
Data Structure, GIS, Grid, TIN, DTM |
| 3 | Gu Yue-sheng, Zhu Ji-yi |
Teaching research and practice of data structure based on knowledge structure.  |
Summit on Computing Education in China  |
2008 |
DBLP DOI BibTeX RDF |
teaching research, data structure, practice, knowledge structure |
| 3 | Adityanand Pasumarthi |
Quota queue: a new queue data structure that provides prioritized, predictable, guaranteed and fair dequeue mechanism.  |
OOPSLA Companion  |
2008 |
DBLP DOI BibTeX RDF |
item queue, quota run, quota value, data structure, predictability, fairness, queue, priority, distribution model, guarantee |
| 3 | Leonid Zaslavsky, Tatiana A. Tatusova |
Accelerating the Neighbor-Joining Algorithm Using the Adaptive Bucket Data Structure.  |
ISBRA  |
2008 |
DBLP DOI BibTeX RDF |
neighbor-joining algorithm, bucket data structure, adaptive, cache-efficient |
| 3 | Valentina Ciriani, Paolo Ferragina, Fabrizio Luccio, S. Muthukrishnan |
A data structure for a sequence of string accesses in external memory.  |
ACM Transactions on Algorithms  |
2007 |
DBLP DOI BibTeX RDF |
sequence of string searches and updates, caching, Skip list, external-memory data structure |
| 3 | Ajeet Shankar, Rastislav Bodík |
DITTO: automatic incrementalization of data structure invariant checks (in Java).  |
PLDI  |
2007 |
DBLP DOI BibTeX RDF |
data structure invariants, optimistic memoization, program analysis, dynamic optimization, incrementalization, automatic |
| 3 | Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard |
Modular Pluggable Analyses for Data Structure Consistency.  |
IEEE Trans. Software Eng.  |
2006 |
DBLP DOI BibTeX RDF |
formal methods, data structure, program analysis, program verification, invariant, shape analysis, Typestate, programming language design |
| 3 | Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard |
Inference and enforcement of data structure consistency specifications.  |
ISSTA  |
2006 |
DBLP DOI BibTeX RDF |
data structure repair, dynamic invariant detection |
| 3 | 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 |
| 3 | David Eppstein, Michael T. Goodrich, Jonathan Z. Sun |
The skip quadtree: a simple dynamic data structure for multidimensional data.  |
Symposium on Computational Geometry  |
2005 |
DBLP DOI BibTeX RDF |
skip quadtree, approximation algorithm, nearest neighbor, quadtree, octree, range, dynamic data structure, point location |
| 3 | Jhilmil Jain, James H. Cross II, T. Dean Hendrix |
Qualitative comparison of systems facilitating data structure visualization.  |
ACM Southeast Regional Conference  |
2005 |
DBLP DOI BibTeX RDF |
data structure visualization systems, qualitative comparison, taxonomy |
| 3 | Le-Jeng Shiue, Jörg Peters |
A pattern-based data structure for manipulating meshes with regular regions.  |
Graphics Interface  |
2005 |
DBLP DOI BibTeX RDF |
mesh data structure, subdivision surfaces, mesh compression, mesh refinement |
| 3 | Brian Demsky, Martin C. Rinard |
Data structure repair using goal-directed reasoning.  |
ICSE  |
2005 |
DBLP DOI BibTeX RDF |
data structure invariants, data structure repair |
| 3 | Frank Losasso, Frédéric Gibou, Ronald Fedkiw |
Simulating water and smoke with an octree data structure.  |
ACM Trans. Graph.  |
2004 |
DBLP DOI BibTeX RDF |
octree data structure, level set, physics-based animation, adaptive mesh refinement, water, smoke, particles |
| 3 | Ryuhei Uehara |
Canonical Data Structure for Interval Probe Graphs.  |
ISAAC  |
2004 |
DBLP DOI BibTeX RDF |
interval probe graph, data structure, Bioinformatics, graph isomorphism |
| 3 | Adriano Di Pasquale, Enrico Nardelli |
A Very Efficient Order Preserving Scalable Distributed Data Structure.  |
DEXA  |
2001 |
DBLP DOI BibTeX RDF |
Scalable distributed data structure, message passing environment, multi-dimensional search |
| 3 | Adriano Di Pasquale, Enrico Nardelli |
ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs.  |
SOFSEM  |
2001 |
DBLP DOI BibTeX RDF |
scalable distributed data structure, message passing environment, multi-dimensional search |
| 3 | Clare Churcher, Alan McKinnon, Roger Jarquin |
Visualising the influence of data structure choice on the performance of a distributed database system.  |
APSEC  |
2000 |
DBLP DOI BibTeX RDF |
data structure choice, object oriented distributed database system performance, cache monitoring software, textual description, data structures, distributed databases, project management, object-oriented databases, visualisation, data visualisation, client-server systems, software development management, cache storage, system monitoring, software project |
| 3 | Miltos D. Grammatikakis, Stefan Liesche |
Priority Queues and Sorting Methods for Parallel Simulation.  |
IEEE Trans. Software Eng.  |
2000 |
DBLP DOI BibTeX RDF |
memory lock, parallel simulation, priority queue, data race, distributed data structure, Concurrent data structure, virtual shared memory, Cray-T3E |
| 3 | Paolo Ferragina, Roberto Grossi |
The String B-tree: A New Data Structure for String Search in External Memory and Its Applications.  |
J. ACM  |
1999 |
DBLP DOI BibTeX RDF |
Patricia trie, prefix and range search, string searching and sorting, text index, suffix tree, B-tree, suffix array, external-memory data structure |
| 3 | Konstantin Baumann, Jürgen Döllner, Klaus Hinrichs, Oliver Kersting |
A Hybrid, Hierarchical Data Structure for Real-Time Terrain Visualization. (PDF / PS)  |
Computer Graphics International  |
1999 |
DBLP DOI BibTeX RDF |
hybrid data structure, triangulated irregular network, multiresolution modeling, terrain visualization, real-time visualization, digital elevation model |
| 3 | Gerth Stølting Brodal, Jesper Larsson Träff, Christos D. Zaroliagis |
A Parallel Priority Data Structure with Applications. (PDF / PS)  |
IPPS  |
1997 |
DBLP DOI BibTeX RDF |
parallel priority data structure, algorithm running time, data structures, time complexity, iteration, parallel implementation, Dijkstra's algorithm, CREW PRAM |
| 3 | Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
Efficient verification of real-time systems: compact data structure and state-space reduction. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1997 |
DBLP DOI BibTeX RDF |
real-time systems verification, clock values, clock constraints, real-valued variables, static analysis, timed automata, termination, reachability analysis, reachability analysis, state-space reduction, compact data structure |
| 3 | Afonso Ferreira, Claire Kenyon, Andrew Rau-Chaplin, Stéphane Ubéda |
d-Dimensional Range Search on Multicomputers. (PDF / PS)  |
IPPS  |
1997 |
DBLP DOI BibTeX RDF |
d-dimensional range search, range tree, multidimensional point sets, geometric applications, parallel distributed memory setting, d-dimensional Cartesian space, distributed range tree, sequential data structure, associative-function, report modes, parallel construction algorithms, parallel search algorithms, sequential time, data structure, search problems, multicomputers, range queries, processors, computation time, running times, database applications, coarse grained multicomputer, h-relations |
| 3 | Michael Braun, Arno Formella |
AniGraph-a data structure for computer animation.  |
CA  |
1995 |
DBLP DOI BibTeX RDF |
AniGraph, rendering animations, annotated graph, data structures, data structure, computer animation, computer animation, rendering (computer graphics), artist |
| 3 | Ing-Ray Chen, Sayed Atef Banawan |
Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers.  |
IEEE Trans. Software Eng.  |
1993 |
DBLP DOI BibTeX RDF |
concurrent maintenance policies, state reduction method, two-dimensional Markov model, one-dimensional Markov model, concurrent data structure maintenance policies, service time per operation, priority allocation functions, binary tree data structure, 1D Markov model, 2D Markov model, performance evaluation, performance analysis, data structures, software maintenance, Markov processes, tree data structures, pointers, closed form expression |
| 3 | Chen Ding, Prabhaker Mateti |
A Framework for the Automated Drawing of Data Structure Diagrams.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
pictorial indication, automated drawing, data structure diagrams, two-dimensional figures, interrelationships, factors of aesthetics, computable objectives, numeric parameters, software engineering, data structures, computer graphics, rules, diagrams, lines |
| 3 | John A. Lehman |
An Empirical Comparison of Textual and Graphical Data Structure Documentation for Cobol Programs.  |
IEEE Trans. Software Eng.  |
1989 |
DBLP DOI BibTeX RDF |
textual data structure documentation, graphical data structure documentation, Cobol programs, textual tools, program understanding phase, Cobol program maintenance, word processinga, data structures, computer graphics, COBOL, system documentation, graphical tools |
| 3 | 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 |
| 3 | Jun-Ichi Aoe |
An Efficient Implementation of Static String Pattern Matching Machines.  |
IEEE Trans. Software Eng.  |
1989 |
DBLP DOI BibTeX RDF |
keyword location, static string pattern matching machines, transition table, triple arrays, Johnsons's data structure, retrieval program, reduced data structure, finite straight program, information retrieval, data structures, finite-state machine, subroutines, implementation technique |
| 3 | Steve Meyer |
A Data Structure for Circuit Net Lists.  |
DAC  |
1988 |
DBLP BibTeX RDF |
CAE tool building, data structure implementation, software engineering |
| 2 | Chunxia Xiao, Yongwei Nie, Feng Tang |
Efficient Edit Propagation Using Hierarchical Data Structure.  |
IEEE Trans. Vis. Comput. Graph.  |
2011 |
DBLP DOI BibTeX RDF |
Tone adjustment, Gaussian mixture model, tone mapping, high dynamic range imaging, hierarchical data structure |
| 2 | David M. Mount, Eunhui Park |
A dynamic data structure for approximate range searching.  |
Symposium on Computational Geometry  |
2010 |
DBLP DOI BibTeX RDF |
approximation algorithms, quadtrees, range searching, dynamic data structures, geometric data structures |
| 2 | Pedro Manuel Pinto Ribeiro, Fernando M. A. Silva |
g-tries: an efficient data structure for discovering network motifs.  |
SAC  |
2010 |
DBLP DOI BibTeX RDF |
algorithms, data structures, complex networks, graph mining, biological networks, tries, network motifs |
| 2 | Hui-Dong Zhu, Ye Li |
Constant Distance Prefetching for Linked Data Structure Based on CMP.  |
FCST  |
2010 |
DBLP DOI BibTeX RDF |
Linked data structure, multi-core and multi-threading, data prefetching, cache misses, memory wall |
| 2 | Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai |
Using data structure knowledge for efficient lock generation and strong atomicity.  |
PPOPP  |
2010 |
DBLP DOI BibTeX RDF |
automatic lock generation, parallel programming, transactional memory |
| 2 | Philippe Suter, Mirco Dotta, Viktor Kuncak |
Decision procedures for algebraic data types with abstractions.  |
POPL  |
2010 |
DBLP DOI BibTeX RDF |
data structure, decision procedure, algebraic data type, catamorphism |
| 2 | James Aspnes, David Eisenstat, Yitong Yin |
Low-contention data structures.  |
SPAA  |
2010 |
DBLP DOI BibTeX RDF |
data structure, memory contention, cell-probe model |
| 2 | Phong Chuong, Faith Ellen, Vijaya Ramachandran |
A universal construction for wait-free transaction friendly data structures.  |
SPAA  |
2010 |
DBLP DOI BibTeX RDF |
abortable data structure, transaction friendly, universal construction, wait-free, cache-efficiency |
| 2 | Alexander Klippel, Stefan Hansen, Kai-Florian Richter, Stephan Winter |
Urban granularities - a data structure for cognitively ergonomic route directions.  |
GeoInformatica  |
2009 |
DBLP DOI BibTeX RDF |
Spatial chunking, Granularity, Spatial structure, Route directions |
| 2 | |
Topological Data Structure.  |
Encyclopedia of Database Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | |
Graph Data Structure.  |
Encyclopedia of Database Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala |
Type-based data structure verification.  |
PLDI  |
2009 |
DBLP DOI BibTeX RDF |
hindley-milner, type inference, dependent types, predicate abstraction |
| 2 | Martin Aumüller, Martin Dietzfelbinger, Michael Rink |
Experimental Variations of a Theoretically Good Retrieval Data Structure.  |
ESA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Behzad Sajadi, Yan Huang, Pablo Diaz-Gutierrez, Sung-Eui Yoon, M. Gopi |
A novel page-based data structure for interactive walkthroughs.  |
SI3D  |
2009 |
DBLP DOI BibTeX RDF |
walkthrough systems, spatial data structures, out-of-core algorithms, data layouts |
| 2 | Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid |
A Case for Automated Debugging Using Data Structure Repair.  |
ASE  |
2009 |
DBLP DOI BibTeX RDF |
Juzi, Korat, Debugging, Data structure repair |
| 2 | Jennifer Parham, Donald Chinn, D. E. Stevenson |
Using Bloom's taxonomy to code verbal protocols of students solving a data structure problem.  |
ACM Southeast Regional Conference  |
2009 |
DBLP DOI BibTeX RDF |
computer science education, problem solving, Bloom's taxonomy |
| 2 | Chandrajit L. Bajaj, Rezaul Alam Chowdhury, Muhibur Rasheed |
A dynamic data structure for flexible molecular maintenance and informatics.  |
Symposium on Solid and Physical Modeling  |
2009 |
DBLP DOI BibTeX RDF |
de novo drug design, computer aided design, shape modeling, protein folding, molecular docking, interactive software |
| 2 | Andrzej Ehrenfeucht, Ross M. McConnell, Sung-Whan Woo |
Contracted Suffix Trees: A Simple and Dynamic Text Indexing Data Structure.  |
CPM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Zhiqiang Lin, Ryan Riley, Dongyan Xu |
Polymorphing Software by Randomizing Data Structure Layout.  |
DIMVA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Naoki Tanida, Mary Inaba, Kei Hiraki, Takeshi Yoshino |
Hardware Accelerator for Full-Text Search (HAFTS) with Succinct Data Structure.  |
ReConFig  |
2009 |
DBLP DOI BibTeX RDF |
compressed suffix array, FPGA, succinct data structure, full-text search |
| 2 | Rhys Owen, Hugh Anderson |
Data Structure Shape Inference and Verification for OO Programs.  |
TASE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Jieping Wang, Xiaoyong Du |
Skip List Based Authenticated Data Structure in DAS Paradigm.  |
GCC  |
2009 |
DBLP DOI BibTeX RDF |
query authentication, authenticated data structure, skip list |
| 2 | Martijn Meijers, Peter van Oosterom, Wilko Quak |
A Storage and Transfer Efficient Data Structure for Variable Scale Vector Data.  |
AGILE Conf.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Mashhood Ishaque, Bettina Speckmann, Csaba D. Tóth |
Shooting permanent rays among disjoint polygons in the plane.  |
Symposium on Computational Geometry  |
2009 |
DBLP DOI BibTeX RDF |
convex partition, segment insertion, dynamic data structure, binary space partition, ray shooting |
| 2 | Masaomi Kimura, Kazuhiro Okada, Keita Nabeta, Michiko Ohkura, Fumito Tsuchiya |
Analysis on Descriptions of Dosage Regimens in Package Inserts of Medicines.  |
HCI  |
2009 |
DBLP DOI BibTeX RDF |
data structure, text mining, medical safety |
| 2 | Costas S. Iliopoulos, M. Sohel Rahman |
Indexing Factors with Gaps.  |
Algorithmica  |
2009 |
DBLP DOI BibTeX RDF |
String index, Gapped-factor, Algorithms, Data structure, Suffix tree |
| 2 | Michael Mao Wang, Tyler Brown, Philip Fleming, Hua Xu |
Walsh code assignment and data structure for variable data rate communications.  |
IEEE Transactions on Communications  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Debmalya Biswas, Krishnamurthy Vidyasankar |
A Highly Flexible Data Structure for Multi-level Visibility of P2P Communities.  |
ICDCN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Karl Fürlinger, Daniel Terpstra, Haihang You, Philip Mucci, Shirley Moore |
Enabling Data Structure Oriented Performance Analysis with Hardware Performance Counter Support.  |
Euro-Par Workshops  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Yamini Kannan, Koushik Sen |
Universal symbolic execution and its application to likely data structure invariant generation.  |
ISSTA  |
2008 |
DBLP DOI BibTeX RDF |
dynamic analysis, symbolic execution, execution traces, logical inference, program invariants |
| 2 | Mostafa Elbidweihy, Jerry L. Trahan |
Maximal strips data structure to represent free space on partially reconfigurable FPGAs.  |
IPDPS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Lacey Montgomery, James H. Cross II, T. Dean Hendrix, Larry A. Barowski |
Testing the jGRASP structure identifier with data structure examples from textbooks.  |
ACM Southeast Regional Conference  |
2008 |
DBLP DOI BibTeX RDF |
testing, data structures, program visualization, algorithm animation |
| 2 | Arati Baliga, Vinod Ganapathy, Liviu Iftode |
Automatic Inference and Enforcement of Kernel Data Structure Invariants.  |
ACSAC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Chieh-Ming Wu, Yin-Fu Huang |
An Efficient Data Structure for Mining Generalized Association Rules.  |
FSKD  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller |
On the Data Structure Metrics of Quantum Multiple-Valued Decision Diagrams.  |
ISMVL  |
2008 |
DBLP DOI BibTeX RDF |
Quantum Logic Decision Diagrams, Quantum Computing, Multiple-valued Logic, Reversible Logic |
| 2 | Jiro Inoue, A. James Stewart |
Multiresolution sphere packing tree: a hierarchical multiresolution 3D data structure.  |
Symposium on Solid and Physical Modeling  |
2008 |
DBLP DOI BibTeX RDF |
MSP-tree, sphere packing, multiresolution, selective refinement |
| 2 | Gu Yue-sheng, Zhu Jia-yi |
Teaching Research on Data Structure Based on Knowledge Structure.  |
CSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Ding Xiao |
Research into Teaching Method Reform of Data Structure Curriculum.  |
CSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Alfredo Benso, Stefano Di Carlo, Gianfranco Politano, Luca Sterpone |
Differential gene expression graphs: A data structure for classification in DNA microarrays.  |
BIBE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Zhi Liu, Jian Lu, Xiaochun Dai |
Dynamic Demo System of Data Structure with C++/MFC.  |
ICYCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Zhi Liu, Huaguo Jia, Shanshan Han |
Research on the Teaching Method of Combining the Theory and Practice in Data Structure Course.  |
ICYCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Tarek M. Hamdani, Adel M. Alimi, Fakhri Karray |
Enhancing the structure and parameters of the centers for BBF Fuzzy Neural Network classifier construction based on data structure.  |
IJCNN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Lars Arge, Gerth Stølting Brodal, S. Srinivasa Rao |
External memory planar point location with logarithmic updates.  |
Symposium on Computational Geometry  |
2008 |
DBLP DOI BibTeX RDF |
dynamic data structure, external memory, point location, planar subdivisions |
| 2 | Bassem Elkarablieh, Sarfraz Khurshid |
Juzi: a tool for repairing complex data structures.  |
ICSE  |
2008 |
DBLP DOI BibTeX RDF |
systematic search, symbolic execution, assertions, error recovery, data structure repair |
| 2 | Karen Zee, Viktor Kuncak, Martin C. Rinard |
Full functional verification of linked data structures.  |
PLDI  |
2008 |
DBLP DOI BibTeX RDF |
java, verification, data structure, decision procedure, theorem prover |
| 2 | Kunal Agrawal, Jeremy T. Fineman, Jim Sukha |
Nested parallelism in transactional memory.  |
PPOPP  |
2008 |
DBLP DOI BibTeX RDF |
nested parallel computations, series-parallel computations, transaction conflict detection, data structure, multithreading, transactional memory, work stealing, cilk, fork-join |
| 2 | Wenyu Fu, Aike Qiao, Pengbin Fu |
Boundary Identification and Triangulation of STL Model.  |
BMEI  |
2008 |
DBLP DOI BibTeX RDF |
Topology reconstruction, Half edge data structure, Double linked list, Balanced binary tree, Delaunay triangulation |
| 2 | Ling Wang, Yang Koo Lee, Keun Ho Ryu |
Supporting Top-K Aggregate Queries over Unequal Synopsis on Internet Traffic Streams.  |
APWeb  |
2008 |
DBLP DOI BibTeX RDF |
synopsis data structure, DSW (Dynamic Sub-Window) algorithm, internet traffic streams, sliding window, Top-k query |
| 2 | Barbara André, Hervé Delingette |
Versatile Design of Changing Mesh Topologies for Surgery Simulation.  |
ISBMS  |
2008 |
DBLP DOI BibTeX RDF |
User-defined Data Structure, Real-Time Simulation, Topological Change, Mesh Topology |
| 2 | Bastian Degener, Joachim Gehweiler, Christiane Lammersen |
The Kinetic Facility Location Problem.  |
SWAT  |
2008 |
DBLP DOI BibTeX RDF |
approximation, facility location, kinetic data structure |
| 2 | Glaucio H. Paulino, Waldemar Celes Filho, Rodrigo Espinha, Zhengyu (Jenny) Zhang |
A general topology-based framework for adaptive insertion of cohesive elements in finite element meshes.  |
Eng. Comput. (Lond.)  |
2008 |
DBLP DOI BibTeX RDF |
Fragmentation simulation, Cohesive zone models (CZM), Intrinsic model, Extrinsic model, Topological data structure |
| 2 | Holger Bast, Christian Worm Mortensen, Ingmar Weber |
Output-sensitive autocompletion search.  |
Inf. Retr.  |
2008 |
DBLP DOI BibTeX RDF |
Index data structure, Prefix search, Output-sensitive, Autocompletion |
| 2 | Andrew Morton, Jeffrey Liu, Insop Song |
Efficient Priority-Queue Data Structure for Hardware Implementation.  |
FPL  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | K. M. Azharul Hasan, Tatsuo Tsuji, Ken Higuchi |
An Efficient Implementation for MOLAP Basic Data Structure and Its Evaluation.  |
DASFAA  |
2007 |
DBLP DOI BibTeX RDF |
MOLAP, Extendible Array, OLAP Operation, Data warehousing, Multidimensional Array |
| 2 | Andre Oboler, Charles Twardy, David W. Albrecht |
Super Iterator A design pattern for Algorithm and Data structure collections.  |
ITNG  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Juryon Paik, Junghyun Nam, Seung-Cheol Lee, Ung-Mo Kim |
A Framework for Data Structure-Guided Extraction of XML Association Rules.  |
International Conference on Computational Science  |
2007 |
DBLP DOI BibTeX RDF |
XML mining, XML association rule, Association rules, Tree structured data |
| 2 | Lazaros Papadopoulos, Christos Baloukas, Dimitrios Soudris, Konstantinos Potamianos, Nikolaos S. Voros |
Data Structure Exploration of Dynamic Applications.  |
PACT  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Marc Fournier, Jean-Michel Dischler, Dominique Bechmann |
A New Volumetric Implicit Surface Data Structure and Its Triangulation Algorithm Applied to Mesh Integration.  |
Pacific Conference on Computer Graphics and Applications  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Darka Mioc, Francois Anton, Christopher M. Gold, Bernard Moulin |
Reversibility of the Quad-Edge operations in the Voronoi data structure.  |
ISVD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Panagiotis Karras, Nikos Mamoulis |
The Haar+ Tree: A Refined Synopsis Data Structure.  |
ICDE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Takahiro Harada, Seiichi Koshizuka, Yoichiro Kawaguchi |
Sliced data structure for particle-based simulations on GPUs.  |
GRAPHITE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Yakov Nekrich |
A data structure for multi-dimensional range reporting.  |
Symposium on Computational Geometry  |
2007 |
DBLP DOI BibTeX RDF |
orthogonal range reporting, algorithms, data structures, computational geometry |
| 2 | Akram Shehadi Saynez, María Josefa Somodevilla García, Manuel Martín Ortiz, Ivo Humberto Pineda Torres |
H-Tree: A data structure for fast path-retrieval in rooted trees.  |
ENC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Sylvain Conchon, Jean-Christophe Filliâtre |
A persistent union-find data structure.  |
ML  |
2007 |
DBLP DOI BibTeX RDF |
formal verification, persistence, union-find |
Displaying result #1 - #100 of 4257 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|