|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7360 occurrences of 3222 keywords
|
|
|
|
|
Results
Found 5974 publication records. Showing 5974 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 5 | Paolo Ferragina, Giovanni Manzini |
Opportunistic Data Structures with Applications.  |
FOCS  |
2000 |
DBLP DOI BibTeX RDF |
opportunistic data structures, data indexing, succinct suffix array, suffix tree data structures, suffix array data structures, Glimpse tool, sublinear query time complexity, sublinear space complexity, computational complexity, data structures, search, data compression, data compression, entropy, database theory, data set, database indexing, query performance |
| 5 | Laurie J. Hendren, Alexandru Nicolau |
Parallelizing Programs with Recursive Data Structures.  |
IEEE Trans. Parallel Distrib. Syst.  |
1990 |
DBLP DOI BibTeX RDF |
disambiguation techniques, interference analysis tools, parallelization techniques, dynamically updatable trees, regular-expression-like representation, accessible nodes, parallel programming, data structures, directed graphs, interference, program compilers, trees (mathematics), directed acyclic graphs, parallelizing compilers, automatic parallelization, dynamic data structures, parallel programming languages, recursive data structures, imperative programs, imperative language |
| 4 | Gennaro Cordasco, Vittorio Scarano, Arnold L. Rosenberg |
Bounded-Collision Memory-Mapping Schemes for Data Structures with Applications to Parallel Memories.  |
IEEE Trans. Parallel Distrib. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
data structures for parallel systems, bounded-conflict parallel memory access, data structures, parallel architectures, parallel systems, data mapping, graph labeling, Parallel memory systems |
| 4 | Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir |
Nonblocking memory management support for dynamic-sized data structures.  |
ACM Trans. Comput. Syst.  |
2005 |
DBLP DOI BibTeX RDF |
Multiprocessors, memory management, dynamic data structures, concurrent data structures, nonblocking synchronization |
| 4 | Philippe Chatalic, Laurent Simon |
Multi-resolution on compressed sets of clauses.  |
ICTAI  |
2000 |
DBLP DOI BibTeX RDF |
compressed sets, compressed clauses, propositional clauses, compression power, structured instances, specialized operator, clause sets, polynomial size data structures, ZREs system, Davis-Putnam procedure, hard problems, SAT provers, zero-suppressed binary decision diagrams, computational complexity, data structures, data structures, data compression, theorem proving, computability, encodings, directed graphs, binary decision diagrams, set theory, multi-resolution, cut eliminations, ZBDDs |
| 4 | I-Ling Yen, K. Karun |
Implementation and performance assessment of multilevel data structures. (PDF / PS)  |
COMPSAC  |
1997 |
DBLP DOI BibTeX RDF |
multilevel data structures, fault-intolerant implementations, simulation, fault tolerance, data structures, overhead, performance assessment |
| 4 | Yoon Ho Kim, Soo Hong Kim, Dae Woong Rhee, Heunghwan Kim, Juno Chang, Sang-Yong Han |
Exploiting the locality of data structures in multithreaded architecture.  |
ICPADS  |
1996 |
DBLP DOI BibTeX RDF |
locality exploitation, von Neumann computers, asynchronous parallel execution, IB-structure, I-structure, DAVRID, performance, data structures, data structures, parallel architectures, digital simulation, simulation results, multithreaded architecture, dataflow computers |
| 4 | Yonatan Aumann, Michael A. Bender |
Fault Tolerant Data Structures.  |
FOCS  |
1996 |
DBLP DOI BibTeX RDF |
fault tolerant data structures, memory faults, pointer-based data structures, dictionary tree, trees, stack, tree data structures, linked list |
| 4 | Joydeep Ghosh, Sajal K. Das, Ajita John |
Concurrent Processing of Linearly Ordered Data Structures on Hypercube Multicomputers.  |
IEEE Trans. Parallel Distrib. Syst.  |
1994 |
DBLP DOI BibTeX RDF |
concurrentprocessing, linearly ordered data structures, concurrentmanipulation, augmented binomial search tree, pruned binomial tree, arbitrary processor node, consecutive nodes, nonoverlappingprocessor lists, intermediate-levelimage processing algorithms, dictionary operations, low-level image processingalgorithms, Gray code embedding, distributed memorymulticomputers, parallel algorithms, parallel programming, broadcast, hypercube networks, trees (mathematics), distributed memory systems, search problems, merge, tree data structures, search trees, k-ary n-cubes, concurrent data structure, hypercube multicomputers, local information, fanout, hypercube systems |
| 4 | Jit Biswas, James C. Browne |
Data Structures for Parallel Resource Management.  |
IEEE Trans. Software Eng.  |
1993 |
DBLP DOI BibTeX RDF |
parallel resource management, system state, weakened specifications, multiple processes, concurrent heap, software banyan, simultaneous update, parallel algorithms, parallel algorithms, parallel programming, data structures, data structures, resource allocation, resource allocation, operating systems, priority queue, processor architectures |
| 4 | Ben Lee, Ali R. Hurson, Behrooz Shirazi |
A Hybrid Scheme for Processing Data Structures in a Dataflow Environment.  |
IEEE Trans. Parallel Distrib. Syst.  |
1992 |
DBLP DOI BibTeX RDF |
dataflow environment, maximum inherent parallelism, constant time access, processing overhead, data structures, data structures, asynchronous, storage, pointers, parallelprogramming |
| 4 | Jaroslaw Milewski |
Functional Data Structures as Updatable Objects.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
continuous data copying, functional data structures, updatable objects, incremental structures, associated storage, shared structures, source program analysis, nondeterministic applications, parallel programming, data structures, functional programming, data dependencies, applicative programming, system programming |
| 4 | Chung-Chi Jim Li, Paul Peichuan Chen, W. Kent Fuchs |
Local Concurrent Error Detection and Dorrection in Data Structures Using Virtual Backpointers.  |
IEEE Trans. Computers  |
1989 |
DBLP DOI BibTeX RDF |
virtual backpointers, linked data structures, virtual double-linked list, B-tree with virtual backpointers, multiple error conditions, local concurrent error detection, double errors, fixed-size checking window, single errors, fault tolerance, performance, data structures, data structures, fault tolerant computing, error detection, error correction, error correction, constant time, time overhead |
| 3 | Michael de Denus, John Eric Anderson, Jacky Baltes |
Flexible Multi-Robot Formation Control: Partial Formations as Physical Data Structures.  |
AAAI Spring Symposium: Multirobot Systems and Physical Data Structures  |
2011 |
DBLP BibTeX RDF |
|
| 3 | Harmen L. A. van der Spek, C. W. Mattias Holm, Harry A. G. Wijshoff |
How to unleash array optimizations on code using recursive data structures.  |
ICS  |
2010 |
DBLP DOI BibTeX RDF |
control flow optimization, pointer optimization, recursive data structures, restructuring compilers |
| 3 | Johannes Schneider, Roger Wattenhofer |
Brief announcement: tree decomposition for faster concurrent data structures.  |
PODC  |
2010 |
DBLP DOI BibTeX RDF |
graphs, concurrent data structures |
| 3 | Rafael del Vado Vírseda |
A visualization tool for tutoring the interactive learning of data structures and algorithmic schemes.  |
SIGCSE  |
2010 |
DBLP DOI BibTeX RDF |
algorithmic schemes, data structures, computer science education |
| 3 | Wolfgang Bangerth, O. Kayser-Herold |
Data structures and requirements for hp finite element software.  |
ACM Trans. Math. Softw.  |
2009 |
DBLP DOI BibTeX RDF |
hp finite element methods, finite element software, data structures, Object orientation, software design |
| 3 | Daniel J. Ernst, Daniel E. Stevenson, Paul J. Wagner |
Hybrid and custom data structures: evolution of the data structures course.  |
ITiCSE  |
2009 |
DBLP DOI BibTeX RDF |
data structures |
| 3 | Petr Krajca, Vilém Vychodil |
Comparison of Data Structures for Computing Formal Concepts.  |
MDAI  |
2009 |
DBLP DOI BibTeX RDF |
performance, algorithms, data structures, formal concept analysis, comparison |
| 3 | Ron Zucker, Albert Dieter Ritzhaupt |
Evolutionary, not revolutionary, programming exercises using design patterns in an OO data structures course.  |
ACM Southeast Regional Conference  |
2009 |
DBLP DOI BibTeX RDF |
education, data structures, design patterns |
| 3 | Robert Fischbach, Jens Lienig, Tilo Meister |
From 3D circuit technologies and data structures to interconnect prediction.  |
SLIP  |
2009 |
DBLP DOI BibTeX RDF |
3d floorplanning, three-dimensional circuits, data structures, 3d integration, interconnect prediction |
| 3 | Chih-Chiang Yu, Wing-Kai Hon, Biing-Feng Wang |
Efficient Data Structures for the Orthogonal Range Successor Problem.  |
COCOON  |
2009 |
DBLP DOI BibTeX RDF |
algorithms, data structures, indexes, range searching |
| 3 | Joel Adams |
Test-driven data structures: revitalizing CS2.  |
SIGCSE  |
2009 |
DBLP DOI BibTeX RDF |
data structures, pedagogy, unit testing, test-driven development, agile methods, cs2 |
| 3 | Judith Gal-Ezer, Tamar Vilner, Ela Zur |
Has the paradigm shift in CS1 a harmful effect on data structures courses: a case study.  |
SIGCSE  |
2009 |
DBLP DOI BibTeX RDF |
oop, prodedural programming, data structures, cs1 |
| 3 | Harmen L. A. van der Spek, Sven Groot, Erwin M. Bakker, Harry A. G. Wijshoff |
A Compile/Run-time Environment for the Automatic Transformation of Linked List Data Structures.  |
International Journal of Parallel Programming  |
2008 |
DBLP DOI BibTeX RDF |
Linked list data structures, Parallel processing, Optimizing compilers |
| 3 | Pankaj K. Agarwal, Haim Kaplan, Micha Sharir |
Kinetic and dynamic data structures for closest pair and all nearest neighbors.  |
ACM Transactions on Algorithms  |
2008 |
DBLP DOI BibTeX RDF |
computational geometry, nearest neighbors, Kinetic data structures, closest pair |
| 3 | Sarah Matzko, Timothy A. Davis |
A graphics-based approach to data structures.  |
ITiCSE  |
2008 |
DBLP DOI BibTeX RDF |
data structures, computer graphics, computer science education, problem-based learning (pbl), curriculum issues |
| 3 | Nils Anders Danielsson |
Lightweight semiformal time complexity analysis for purely functional data structures.  |
POPL  |
2008 |
DBLP DOI BibTeX RDF |
amortised time complexity, purely functional data structures, dependent types, lazy evaluation |
| 3 | Vincenzo De Florio, Chris Blondia |
Adaptive Data Integrity through Dynamically Redundant Data Structures.  |
ARES  |
2008 |
DBLP DOI BibTeX RDF |
data structures, data integrity, Redundancy |
| 3 | José R. Herrero |
New Data Structures for Matrices and Specialized Inner Kernels: Low Overhead for High Performance.  |
PPAM  |
2007 |
DBLP DOI BibTeX RDF |
Specialized inner kernels, new data structures, high performance, low overhead, dense linear algebra |
| 3 | Matt Calder, Robert F. Cohen, Jessica A. Lanzoni, Neal Landry, Joelle Skaff |
Teaching data structures to students who are blind.  |
ITiCSE  |
2007 |
DBLP DOI BibTeX RDF |
audio aisplay, data structures, accessibility, algorithm animation |
| 3 | John B. Bowles |
Cell phone games for a CS2 data structures course.  |
ACM Southeast Regional Conference  |
2007 |
DBLP DOI BibTeX RDF |
data structures, computer games, cell phone, CS2, J2ME |
| 3 | Avinash V. Varadarajan, Ramarathnam Venkatesan, C. Pandu Rangan |
Data structures for limited oblivious execution of programs while preserving locality of reference.  |
Digital Rights Management Workshop  |
2007 |
DBLP DOI BibTeX RDF |
oblivious data structures, oblivious execution, secure data structures, DRM, software protection, secure hardware |
| 3 | James H. Cross II, T. Dean Hendrix, Jhilmil Jain, Larry A. Barowski |
Dynamic object viewers for data structures.  |
SIGCSE  |
2007 |
DBLP DOI BibTeX RDF |
data structures, program visualization, algorithm animation |
| 3 | Yakov Nekrich |
Space Efficient Dynamic Orthogonal Range Reporting.  |
Algorithmica  |
2007 |
DBLP DOI BibTeX RDF |
Computational geometry, Dynamic data structures, Algorithms and data structures, Orthogonal range searching |
| 3 | Aaron E. Lefohn, Shubhabrata Sengupta, Joe Kniss, Robert Strzodka, John D. Owens |
Glift: Generic, efficient, random-access GPU data structures.  |
ACM Trans. Graph.  |
2006 |
DBLP DOI BibTeX RDF |
adaptive shadow maps, octree textures, Adaptive, parallel computation, data structures, GPU, graphics hardware, GPGPU, multiresolution |
| 3 | Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta |
Automatic Verification of Parameterized Data Structures.  |
TACAS  |
2006 |
DBLP DOI BibTeX RDF |
Parameterized correctness, Data structures |
| 3 | Cyril Gavoille |
Distributed Data Structures: A Survey on Informative Labeling Schemes.  |
MFCS  |
2006 |
DBLP DOI BibTeX RDF |
data-structures, distributed algorithm, graphs, labeling scheme |
| 3 | Lars Arge, Robert Sedgewick, Dorothea Wagner |
06091 Abstracts Collection -- Data Structures.  |
Data Structures  |
2006 |
DBLP BibTeX RDF |
|
| 3 | Lars Arge, Robert Sedgewick, Dorothea Wagner |
06091 Executive Summary -- Data Structures.  |
Data Structures  |
2006 |
DBLP BibTeX RDF |
|
| 3 | Luca Castelli Aleardi, Olivier Devillers, Gilles Schaeffer |
Optimal succinct representations of planar maps.  |
Symposium on Computational Geometry  |
2006 |
DBLP DOI BibTeX RDF |
graph encoding, planar maps, compression, mesh, succinct data structures, geometric data structures |
| 3 | Siu-Yeung Cho, Zheru Chi |
Genetic Evolution Processing of Data Structures for Image Classification.  |
IEEE Trans. Knowl. Data Eng.  |
2005 |
DBLP DOI BibTeX RDF |
Adaptive processing of data structures, image classification and neural networks, genetic algorithm |
| 3 | Jason D. Hartline, Edwin S. Hong, Alexander E. Mohr, William R. Pentney, Emily Rocke |
Characterizing History Independent Data Structures.  |
Algorithmica  |
2005 |
DBLP DOI BibTeX RDF |
History independence, Algorithms, Data structures, Markov chains |
| 3 | James H. Paterson, John Haddow, Miriam Birch, Alex Monaghan |
Using the BlueJ IDE in a data structures course.  |
ITiCSE  |
2005 |
DBLP DOI BibTeX RDF |
java, data structures, teaching |
| 3 | Lars Arge, David Eppstein, Michael T. Goodrich |
Skip-webs: efficient distributed data structures for multi-dimensional data sets.  |
PODC  |
2005 |
DBLP DOI BibTeX RDF |
trapezoidal maps, peer-to-peer networks, quadtrees, octrees, distributed data structures, tries, skip lists |
| 3 | Daniel Gruhl, Daniel N. Meredith, Jan Pieper |
A case study on alternate representations of data structures in XML.  |
ACM Symposium on Document Engineering  |
2005 |
DBLP DOI BibTeX RDF |
WebFountain, XML, data structures, compression, serialization |
| 3 | Tyler J. Alumbaugh, Xiangmin Jiao |
Compact Array-Based Mesh Data Structures.  |
IMR  |
2005 |
DBLP DOI BibTeX RDF |
mesh data structures, half-edge, half-face, parallel computing |
| 3 | Alejandro Almeida Ruiz, Fabrizio Luccio, Antonio Mesa Enriques, Linda Pagli |
k-Restricted Rotation with an Application to Search Tree Rebalancing.  |
WADS  |
2005 |
DBLP DOI BibTeX RDF |
Rotation distance, Rebalancing, Data structures, Rotation, Binary tree, Search tree, AVL tree, Design of algorithms |
| 3 | Yakov Nekrich |
Space efficient dynamic orthogonal range reporting.  |
Symposium on Computational Geometry  |
2005 |
DBLP DOI BibTeX RDF |
computational geometry, dynamic data structures, algorithms and data structures, orthogonal range searching |
| 3 | Charles U. Martel, Glen Nuckolls, Premkumar T. Devanbu, Michael Gertz, April Kwong, Stuart G. Stubblebine |
A General Model for Authenticated Data Structures.  |
Algorithmica  |
2004 |
DBLP DOI BibTeX RDF |
Authentic publication, Security, Data structures, Database integrity |
| 3 | Francisco Corbera, Rafael Asenjo, Emilio L. Zapata |
A Framework to Capture Dynamic Data Structures in Pointer-Based Codes.  |
IEEE Trans. Parallel Distrib. Syst.  |
2004 |
DBLP DOI BibTeX RDF |
shape graphs, irregular codes, Shape analysis, optimizing compiler, pointers, recursive data structures |
| 3 | Achuth Sankar S. Nair, T. Mahalakshmi |
Conceptualizing data structures: a pedagogic approach.  |
SIGCSE Bulletin  |
2004 |
DBLP DOI BibTeX RDF |
visual representation for RAM, data structures, pointers, memory structure |
| 3 | Farn Wang |
Efficient verification of timed automata with BDD-like data structures.  |
STTT  |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Data structures, Timed automata, BDD |
| 3 | Raymond Lister, Ilona Box, Briana B. Morrison, Josh D. Tenenberg, Suzanne Westbrook |
The dimensions of variation in the teaching of data structures.  |
ITiCSE  |
2004 |
DBLP DOI BibTeX RDF |
java collections framework, data structures, CS2, introductory programming, STL, phenomenography |
| 3 | Bo Kågström |
Management of Deep Memory Hierarchies - Recursive Blocked Algorithms and Hybrid Data Structures for Dense Matrix Computations.  |
PARA  |
2004 |
DBLP DOI BibTeX RDF |
automatic variable blocking, hybrid data structures, superscalar kernels, SMP parallelization, library software, ESSL, RECSY, periodic systems, factorizations, recursion, superscalar, LAPACK, level 3 BLAS, dense linear algebra, GEMM-based, SLICOT, matrix equations |
| 3 | Teresa Alsinet, Felip Manyà, Jordi Planes |
A Max-SAT Solver with Lazy Data Structures.  |
IBERAMIA  |
2004 |
DBLP DOI BibTeX RDF |
data structures, heuristics, lower bound, branch and bound, Max-SAT |
| 3 | Susanne Albers, Robert Sedgewick, Dorothea Wagner |
04091 Abstracts Collection - Data Structures.  |
Data Structures  |
2004 |
DBLP BibTeX RDF |
|
| 3 | Farn Wang |
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.  |
CAV  |
2004 |
DBLP DOI BibTeX RDF |
model-checking, verification, data-structures, BDD, hybrid automata |
| 3 | Clifford A. Shaffer |
Buffer pools and file processing projects for an undergraduate data structures course.  |
SIGCSE  |
2004 |
DBLP DOI BibTeX RDF |
buffer pools, file processing, data structures, object-oriented design, heaps |
| 3 | Qin Lv, Moses Charikar, Kai Li |
Image similarity search with compact data structures.  |
CIKM  |
2004 |
DBLP DOI BibTeX RDF |
search, image similarity, compact data structures |
| 3 | Lars Arge |
The Buffer Tree: A Technique for Designing Batched External Data Structures.  |
Algorithmica  |
2003 |
DBLP DOI BibTeX RDF |
Internal memory algorithms, Batched external data structures, Buffer tree, I/O efficiency |
| 3 | Farn Wang |
Efficient Verification of Timed Automata with BDD-Like Data-Structures.  |
VMCAI  |
2003 |
DBLP DOI BibTeX RDF |
model-checking, verification, data-structures, timed automata, BDD |
| 3 | Farn Wang, Karsten Schmidt 0004 |
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.  |
FORTE  |
2002 |
DBLP DOI BibTeX RDF |
data-structures, Symmetry, symbolic model-checking, pointers |
| 3 | Alban Gabillon, Manuel Munier, Jean-Jacques Bascou, Laurent Gallon, Emmanuel Bruno |
An Access Control Model for Tree Data Structures.  |
ISC  |
2002 |
DBLP DOI BibTeX RDF |
Access Control, Security Policy, Tree Data Structures, Permission, Authorization Rule |
| 3 | C. van Reeuwijk, Henk J. Sips |
Adding tuples to Java: a study in lightweight data structures.  |
Java Grande  |
2002 |
DBLP DOI BibTeX RDF |
lightweight data structures, Java, tuple |
| 3 | I-Ling Yen, Farokh B. Bastani, David J. Taylor |
Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems.  |
IEEE Trans. Software Eng.  |
2001 |
DBLP DOI BibTeX RDF |
Robust data structures, atomic transaction processing, fault-tolerant systems, real-time processing |
| 3 | Pankaj K. Agarwal, Lars Arge, Jan Vahrenhold |
Time Responsive External Data Structures for Moving Points.  |
WADS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 3 | Rajeev Raman, Venkatesh Raman, S. Srinivasa Rao |
Succinct Dynamic Data Structures.  |
WADS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 3 | Moni Naor, Vanessa Teague |
Anti-presistence: history independent data structures.  |
STOC  |
2001 |
DBLP DOI BibTeX RDF |
anti-persistence, history independence, security, privacy, algorithms, data structures, hash table |
| 3 | Stephen Alstrup, Gerth Stølting Brodal, Theis Rauhe |
New Data Structures for Orthogonal Range Searching.  |
FOCS  |
2000 |
DBLP DOI BibTeX RDF |
general range reporting problem, two-dimensional semi-group range sum problem, data structures, data structures, search problems, orthogonal range searching |
| 3 | Jens Palsberg, S. Krishnaswamy, Minseok Kwon, Di Ma, Qiuyun Shao, Y. Zhang |
Experience with Software Watermarking.  |
ACSAC  |
2000 |
DBLP DOI BibTeX RDF |
program-transformation attacks, heap-space usage, watermark retrieval time, protection technique, tamperproofing, Java, Java, data structures, security of data, execution times, obfuscation, dynamic data structures, code size, software watermarking, copy protection |
| 3 | Anthony Cox, Charles L. A. Clarke |
A comparative evaluation of techniques for syntactic level source code analysis.  |
APSEC  |
2000 |
DBLP DOI BibTeX RDF |
syntactic level source code analysis, program maintenance tools, grep, hierarchical lexical analysis, source file, data structures, data structures, software maintenance, software tools, experiments, program compilers, parsing, abstract syntax |
| 3 | Sukhamay Kundu |
The concept of path-closed subsets and its use in software functional design.  |
APSEC  |
2000 |
DBLP DOI BibTeX RDF |
path-closed subsets, software functional design, software engineering, data structures, data structures, data flow analysis, diagrams, partial order, functional decomposition, equivalence relation, function blocks, dataflow diagram |
| 3 | Bradley Stuart, Yiannis Aloimonos |
Ray Carving with Gradients and Motion. (PDF / PS)  |
Workshop on Human Motion  |
2000 |
DBLP DOI BibTeX RDF |
ray carving, 3D model generation, 3D effects generation, voxel coloring, silhouette intersection, multiple stereo reconstruction combination, image derivatives, visibility information, measurement subsets, image gradient measurements, 3D iso-brightness direction, normal flow measurements, projection centre, unbounded projective grid, scene point visibility updating, human motion reconstruction, data structures, consistency, image reconstruction, ray tracing, avatars, visibility, surveillance, cameras, stereo image processing, spatial data structures, image motion, brightness, image motion analysis, human activity, space carving, multiple-camera systems, image pixels, gradient directions |
| 3 | Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen |
On the verification of Wireless Transaction Protocol using SGM and RED.  |
RTCSA  |
2000 |
DBLP DOI BibTeX RDF |
Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques |
| 3 | Håkan Sundell, Philippas Tsigas |
Space efficient wait-free buffer sharing in multiprocessor real-time systems based on timing information.  |
RTCSA  |
2000 |
DBLP DOI BibTeX RDF |
space-efficient wait-free algorithm, real-time multiprocessor systems, deadline guarantees, nonblocking algorithms, unbounded time-stamps, time-stamp bounding, concurrent read/write operations, real-time systems, protocol, data structures, data structures, timing, multiprocessing systems, mutual exclusion, blocking, buffer storage, timing information, shared buffer, memory protocols |
| 3 | Aurora T. R. Pozo, Mozart Hasse |
A Genetic Classifier Tool.  |
SCCC  |
2000 |
DBLP DOI BibTeX RDF |
genetic classifier tool, intelligent tools, induction based learning systems, induction-based classifier tool, Michigan approach, phenotypic sharing, genetic algorithms, genetic algorithm, data mining, data mining, optimization, data structures, data structures, knowledge discovery, pattern classification, enterprise information system, very large databases, learning by example, large databases, genetic operators |
| 3 | Rémi Forax, Étienne Duris, Gilles Roussel |
Java Multi-Method Framework.  |
TOOLS  |
2000 |
DBLP DOI BibTeX RDF |
Java Multi-Method Framework, method resolution, multi-polymorphism, reflection mechanism, Java, algorithms, data structures, data structures, object-oriented programming, software reusability, object-oriented languages, late-binding |
| 3 | Birgit Reinert, Dirk Zeckzer |
MRC - Data Structures and Procedures for Computing in Monoid and Group Rings.  |
Appl. Algebra Eng. Commun. Comput.  |
1999 |
DBLP DOI BibTeX RDF |
Gröbner bases, Monoid rings, Group rings, Prefix reduction, Data structures |
| 3 | Sridhar Ramachandran, K. Rajasekar, C. Pandu Rangan |
Probabilistic Data Structures for Priority Queues (Extended Abstract).  |
SWAT  |
1998 |
DBLP DOI BibTeX RDF |
probabilistic data structures, decrease key, meld, bottom-up sampling, buffering technique, priority queue, skip list, amortization |
| 3 | Conrado Martínez, Salvador Roura |
Randomized Binary Search Trees.  |
J. ACM  |
1998 |
DBLP DOI BibTeX RDF |
probabilistic algebraic specification, randomized data structures, self-organizing data structures, search trees, balanced trees |
| 3 | Maged M. Michael, Michael L. Scott |
Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors. (PDF / PS)  |
IPPS  |
1997 |
DBLP DOI BibTeX RDF |
relative performance, preemption safe locking, non blocking synchronization, multiprogrammed shared memory multiprocessors, inopportune preemption, synchronized parallel applications, concurrent atomic update, non blocking lock free algorithms, kernel support, universal atomic primitive, 12 processor SGI Challenge multiprocessor, multiprogrammed machines, priority queues, multiprogramming, stacks, concurrent data structures, counters, FIFO queues, shared data structures |
| 3 | Kjetil Nørvåg, Kjell Bratbergsengen |
Write Optimized Object-Oriented Database Systems. (PDF / PS)  |
SCCC  |
1997 |
DBLP DOI BibTeX RDF |
write optimized object-oriented database systems, disk write operations, Vagabond, supercomputing applications, data structures, data structures, geographical information systems |
| 3 | Richard J. Anderson |
Tree Data Structures for N-Body Simulation.  |
FOCS  |
1996 |
DBLP DOI BibTeX RDF |
spatial decomposition tree, particle-cluster force evaluation algorithms, Barnes-Hut algorithm, spatially balanced tree, force evaluation, tree data structures, tree data structures, k-d tree, worst case complexity, N-body simulation |
| 3 | Petr Zemánek |
Parallel Set Operations with Visual Data.  |
EUROMICRO  |
1996 |
DBLP DOI BibTeX RDF |
parallel set operations, pixel form, spatial database queries, MasPar SIMD parallel computer, parallel algorithms, databases, data structures, image representation, spatial data structures, data retrieval, visual data, linear quadtrees |
| 3 | Vipin Chaudhary, Cheng-Zhong Xu, Sumit Roy, Jialin Ju, V. Sinha, Laiwu Luo |
Design and evaluation of an environment APE for automatic parallelization of programs.  |
ISPAN  |
1996 |
DBLP DOI BibTeX RDF |
compiler system, SUIF compiler, parallel distribution, unstructured data structures, parallel programming, data structures, programming environments, automatic parallelization, parallelizing loops, parallelising compilers, APE |
| 3 | Allan M. Stavely |
Verifying Definite Iteration Over Data Structures.  |
IEEE Trans. Software Eng.  |
1995 |
DBLP DOI BibTeX RDF |
programming language constructs, Data structures, program verification, structured programming, functional specifications |
| 3 | Anne Rogers, Martin C. Carlisle, John H. Reppy, Laurie J. Hendren |
Supporting Dynamic Data Structures on Distributed-Memory Machines.  |
ACM Trans. Program. Lang. Syst.  |
1995 |
DBLP DOI BibTeX RDF |
dynamic data structures |
| 3 | Rolf-Dieter Bippus, Volker Märgner |
Data structures and tools for document database generation: an experimental system. (PDF / PS)  |
ICDAR  |
1995 |
DBLP DOI BibTeX RDF |
document database generation, uniform document database, database creation, INSEGD, data structures, data structures, document analysis, labelling, document structure, interactive segmentation |
| 3 | E. J. Stuart, J. S. Weston |
PAVE: parallel algorithms visually explored, a prototype tool for the investigation of data structures in parallel numerical iterative algorithms.  |
PDP  |
1995 |
DBLP DOI BibTeX RDF |
PAVE, parallel algorithms visually explored, parallel numerical iterative algorithms, prototype algorithm, parallel algorithms, data structures, data structures, data visualisation, array processor, prototype tool |
| 3 | Peter S. Magnusson, Bengt Werner |
Efficient memory simulation in SimICS.  |
Annual Simulation Symposium  |
1995 |
DBLP DOI BibTeX RDF |
efficient memory simulation, SimICS, instruction level simulator, complex memory hierarchies, user level code, system level code, software caching mechanism, Simulator Translation Cache, STC, interpreted memory operations, complex memory simulation code, lazy storage allocation, well defined internal interface, generic memory simulation, user extensions, threaded code, runtime selection, statistics gathering, memory profiling, data structures, data structures, virtual machines, multiprocessors, storage management, storage allocation |
| 3 | Manjit Borah, Robert Michael Owens, Mary Jane Irwin |
Fast algorithm for performance-oriented Steiner routing.  |
Great Lakes Symposium on VLSI  |
1995 |
DBLP DOI BibTeX RDF |
performance-oriented Steiner routing, fast routing algorithm, Elmore delay minimisation, layout generators, computational complexity, VLSI, data structures, data structures, delays, iterative methods, network routing, circuit layout CAD, integrated circuit layout, iterative techniques |
| 3 | Thomas Scholz, Michael Schäfers |
An improved dynamic register array concept for high-performance RISC processors.  |
HICSS  |
1995 |
DBLP DOI BibTeX RDF |
dynamic register array concept, high-performance RISC processors, processor registers, Multi Windows, Threaded Windows, dynamic register array, dynamic register allocation, general purpose registers, fast context switches, short interrupt latency, exception routines, real time systems, data structures, data structures, interrupts, storage allocation, external memory, registers, reduced instruction set computing |
| 3 | Hongji Yang, Keith H. Bennett |
Acquisition of ERA models from data intensive code. (PDF / PS)  |
ICSM  |
1995 |
DBLP DOI BibTeX RDF |
entity relationship attribute diagram acquisition, data-intensive source code, data items, imperative code, formal transformations, imperative constructs, ERA models, industrial COBOL programs, code-embedded relations, designs, data structures, data structures, reverse engineering, reverse engineering, software maintenance, systems analysis, diagrams, entity-relationship modelling |
| 3 | Patrick Coscas, Gilles Fouquier, Agnes Lanusse |
Modelling actor programs using Predicate/Transition nets.  |
PDP  |
1995 |
DBLP DOI BibTeX RDF |
actor programs, translation scheme, PRAL-M, PTN, visualizing, parallel programming, Petri nets, data structures, data structures, debugging, parallel machines, formalism, high-level Petri nets, concurrent computation, Predicate/Transition nets |
| 3 | Martin Erwig, Bernd Meyer |
Heterogeneous Visual Languages-Integrating Visual and Textual Programming. (PDF / PS)  |
VL  |
1995 |
DBLP DOI BibTeX RDF |
heterogeneous visual languages, textual programming languages, practical software development requirements, visual expressions, domain-specific data structures, textual notations, abstract control structures, data structures, rapid prototyping, visual programming, visual languages, computer aided software engineering, functional languages, functional languages, software prototyping, logic programming languages, development systems, development system, logical languages, procedural languages |
| 3 | Edward Miller, Motoji Kado, Masahito Hirakawa, Tadao Ichikawa |
HI-VISUAL as a User-Customizable Visual Programming Environment. (PDF / PS)  |
VL  |
1995 |
DBLP DOI BibTeX RDF |
HI-VISUAL, user-customizable visual programming environment, iconic programming system, end-user tailorability, data structures, data structures, graphical user interfaces, programming environments, visual programming, visual languages, customization, visual programming languages |
| 3 | Jawahar Jain, Dinos Moundanos, James R. Bitner, Jacob A. Abraham, Donald S. Fussell, Don E. Ross |
Efficient variable ordering and partial representation algorithm.  |
VLSI Design  |
1995 |
DBLP DOI BibTeX RDF |
partial representation algorithm, ordered partial decision diagrams, information-theoretic criteria, CAD problems, VLSI, data structures, data structures, entropy, Boolean functions, Boolean function, logic CAD, BDDs, variable ordering, truth table |
| 3 | Ping Liang, Clifford H. Taubes |
Orientation-Based Differential Geometric Representations for Computer Vision Applications.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
1994 |
DBLP DOI BibTeX RDF |
orientation-based differential geometric representations, extended Gaussian image, support-function-based representation, generalized Gaussian image, global descriptors, linked data structures, computer vision, computer vision, data structures, image sequences, matching, vectors, uniqueness, invariant properties, storage requirement, smooth surfaces |
Displaying result #1 - #100 of 5974 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|