|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2532 occurrences of 1535 keywords
|
|
|
Results
Found 6310 publication records. Showing 6310 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
142 | Wai Yin Mok |
A Comparative Study of Various Nested Normal Forms. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
nested relation schemes, nested database schemes, nested databases, nested normal forms, conflict-free sets of MVDs, acyclic database schemes, nested database design, design flexibility, algorithms, object-relational databases, nested relations, data redundancy, object-relational database management systems, SQL:1999 |
88 | Mark Levene, George Loizou |
Semantics for Null Extended Nested Relations. |
ACM Trans. Database Syst. |
1993 |
DBLP DOI BibTeX RDF |
extended chase, null extended algebra, null extended data dependencies, nulls, nested relations |
85 | Jan Paredaens, Dirk Van Gucht |
Converting Nested Algebra Expressions into Flat Algebra Expressions. |
ACM Trans. Database Syst. |
1992 |
DBLP DOI BibTeX RDF |
algebraic query transformation, nested algebra, nested calculus, relational databases, nested relations |
83 | Rajeev Alur |
Marrying Words and Trees. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
83 | Rajeev Alur |
Marrying Words and Trees. |
CSR |
2007 |
DBLP DOI BibTeX RDF |
|
82 | Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
Making nested parallel transactions practical using lightweight hardware support. |
ICS |
2010 |
DBLP DOI BibTeX RDF |
parallel programming, transactional memory, nested parallelism |
82 | Albert Levi, M. Ufuk Çaglayan, Çetin Kaya Koç |
Use of nested certificates for efficient, dynamic, and trust preserving public key infrastructure. |
ACM Trans. Inf. Syst. Secur. |
2004 |
DBLP DOI BibTeX RDF |
nested certificates, key management, public key infrastructure, Digital certificates |
77 | P. Krishna Reddy, Masaru Kitsuregawa |
Speculation Based Nested Locking Protocol to Increase the Concurrency of Nested Transactions. |
IDEAS |
2000 |
DBLP DOI BibTeX RDF |
speculation based nested locking protocol, inter-transaction concurrency, nested locking protocol, SNL protocol, sub-transaction, after-image, multiple executions, main memory resources, concurrency control, speculative executions, nested transactions, data object, concurrency control protocol |
72 | Wai Yin Mok, Yiu-Kai Ng, David W. Embley |
A Normal Form for Precisely Characterizing Redundancy in Nested Relations. |
ACM Trans. Database Syst. |
1996 |
DBLP DOI BibTeX RDF |
functional and multivalued dependencies, nested normal form, normalization theory, scheme trees, database design, nested relations, data redundancy |
71 | Rajeev Alur, P. Madhusudan |
Adding nesting structure to words. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
software model checking, tree automata, Pushdown automata, XML processing |
71 | Tok Wang Ling, Ling-Ling Yan |
NF-NR: A practical normal form for nested relations. |
J. Syst. Integr. |
1994 |
DBLP DOI BibTeX RDF |
Entity-Relationship Approach, extended-functional dependency, normal forms, Nested relation |
66 | Nathaniel Nystrom, Xin Qi 0012, Andrew C. Myers |
J&: nested intersection for scalable software composition. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
nested inheritance, nested intersection, compilers |
65 | Bruce Martin |
Concurrent programming vs. concurrency control: shared events or shared data. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
65 | Kunal Agrawal, I-Ting Angelina Lee, Jim Sukha |
Safe open-nested transactions through ownership. |
PPoPP |
2009 |
DBLP DOI BibTeX RDF |
abstract serializability, open-nested transactions, ownership-aware transactions, safe nesting, semantic deadlock, serializability by modules, transactional memory semantics, xmodules, semantics, transactional memory, ownership types |
63 | Guo-Hui Lin, Zhi-Zhong Chen, Tao Jiang 0001, Jianjun Wen |
The Longest Common Subsequence Problem for Sequences with Nested Arc Annotations. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Rajeev Alur, P. Madhusudan |
Adding Nesting Structure to Words. |
Developments in Language Theory |
2006 |
DBLP DOI BibTeX RDF |
|
59 | Kunal Agrawal, I-Ting Angelina Lee, Jim Sukha |
Safe open-nested transactions through ownership. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
abstract serializability, open-nested transactions, ownership-aware transactions, serializability by levels, serializability by modules, xmodules, transactional memory, ownership types |
59 | Hong-Ren Chen, Yeh-Hao Chin |
Scheduling Value-Based Nested Transactions in Distributed Real-Time Database Systems. |
Real Time Syst. |
2004 |
DBLP DOI BibTeX RDF |
distributed real-time scheduling, distributed real-time database, two-phase locking mechanism, communication delay, nested transaction |
59 | Anne Doucet, Stéphane Gançarski, Claudia León, Marta Rukoz |
Nested Transactions with Integrity Constraints. |
FMLDO - Selected Papers |
1999 |
DBLP DOI BibTeX RDF |
partial abort, integrity constraints, nested transactions |
57 | Marcelo Arenas, Pablo Barceló, Leonid Libkin |
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Mauricio J. V. Silva, C. Robert Carlson |
Modeling Active Object-Oriented Database Application Using Multi-Level Diagrams. |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
active object-oriented database modeling, multilevel diagrams, event driven behavior, time critical reactions, A/OODBMT, Active Object-Oriented Database Modeling Technique, OMT method, nested object model, nested rule model, nested event model, data structures, object-oriented databases, systems analysis, deductive databases, diagrams, behavior model, active databases, object-oriented paradigm, event-condition-action rules, Object Modeling Technique |
53 | Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
Implementing and evaluating nested parallel transactions in software transactional memory. |
SPAA |
2010 |
DBLP DOI BibTeX RDF |
parallel programming, transactional memory, nested parallelism |
53 | 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 |
53 | Tao Yu, Zhizhong Tang, Chihong Zhang, Jun Luo |
Control Mechanism for Software Pipelining on Nested Loop. |
APDC |
1997 |
DBLP DOI BibTeX RDF |
ILSP, software pipelining, VLIW, dataflow, nested loop |
53 | Eser Sükan, Z. Meral Özsoyoglu |
Extended Set Operators for Nested Relations and Complex Objects |
DEXA |
1995 |
DBLP DOI BibTeX RDF |
Object-Oriented Databases, Complex Objects, Nested Relations, Set Operators |
51 | Thomas Linke, Hans Tompits, Stefan Woltran |
On Acyclic and Head-Cycle Free Nested Logic Programs. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Rajeev Alur |
Marrying words and trees. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
nested words, XML, query languages, tree automata, pushdown automata |
49 | Albert Levi, M. Ufuk Çaglayan |
An Efficient, Dynamic and Trust Preserving Public Key Infrastructure. |
S&P |
2000 |
DBLP DOI BibTeX RDF |
Nested Certificates, Performance Evaluation, Digital Certificates, Public Key Infrastructure (PKI), Certificate Path |
48 | W. B. Song, D. S. Park, B. S. Kim, Y.-H. Kong |
Extracting Parallelism in Nested Loops. |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
array index variables, data dependency relation, compile time parallelization methods, nested parallel DOALL loop, parallel algorithms, parallel programming, parallelization, processors, subroutines, nested loops, parallelising compilers, sequential programs, parallelism extraction |
48 | N. Th. Verbrugge |
Duplicates and Translation of Nested SQL Queries into XRA. |
PRISMA Workshop |
1990 |
DBLP DOI BibTeX RDF |
XRA, nested query evaluation, nested-iteration method, tuple identifiers, syntax-directed SQL translation, SQL, Duplicates |
47 | Jens Gramm, Jiong Guo, Rolf Niedermeier |
Pattern matching for arc-annotated sequences. |
ACM Trans. Algorithms |
2006 |
DBLP DOI BibTeX RDF |
Arc-annotated sequences, dynamic programming, pattern matching, RNA secondary structure |
47 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Nested interpolants. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
floyd-hoare logic, nested words, static analysis, interpolants, abstract interpretation, recursion, software model checking, abstraction refinement |
47 | Artem Chebotko, Mustafa Atay, Shiyong Lu, Farshad Fotouhi |
Relational Nested Optional Join for Efficient Semantic Web Query Processing. |
APWeb/WAIM |
2007 |
DBLP DOI BibTeX RDF |
Nested Optional Join, Semantic Web, Query Processing, RDF, SPARQL, RDBMS, Relational Operator, Relational Join |
47 | Nathaniel Nystrom, Stephen Chong, Andrew C. Myers |
Scalable extensibility via nested inheritance. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
nested classes, inheritance, object-oriented programming languages, virtual classes |
47 | Kian-Lee Tan, Cheng Hian Goh, Beng Chin Ooi |
Progressive evaluation of nested aggregate queries. |
VLDB J. |
2000 |
DBLP DOI BibTeX RDF |
Nested aggregate queries, Approximate answers, Progressive query processing, Multi-threading, Online aggregation |
47 | Lars Bækgaard, Leo Mark |
Incremental Computation of Nested Relational Query Expressions. |
ACM Trans. Database Syst. |
1995 |
DBLP DOI BibTeX RDF |
nested query expressions, unnesting, view pointer caches, incremental computation, set differences |
47 | Kenneth J. Goldman, Nancy A. Lynch |
Quorum Consensus in Nested Transaction Systems. |
ACM Trans. Database Syst. |
1994 |
DBLP DOI BibTeX RDF |
hierarchical proofs, concurrency control, data replication, I/O automata, nested transactions, quorum consensus |
47 | Marta Rukoz |
A Distributed Solution for Detecting Deadlock in Distributed Nested Transaction Systems. |
WDAG |
1989 |
DBLP DOI BibTeX RDF |
distributed computation, distributed databases, deadlocks, distributed transactions, nested transactions |
46 | Ho-sik Cho, Taekyoung Kwon 0001, Yanghee Choi |
Route Optimization Using Tree Information Option for Nested Mobile Networks. |
IEEE J. Sel. Areas Commun. |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Zhixin Liu, Samuel Cheng 0001, Angelos D. Liveris, Zixiang Xiong |
Slepian-Wolf Coded Nested Lattice Quantization for Wyner-Ziv Coding: High-Rate Performance Analysis and Code Design. |
IEEE Trans. Inf. Theory |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore, Luke Yen, Mark D. Hill, Ben Liblit, Michael M. Swift, David A. Wood 0001 |
Supporting nested transactional memory in logTM. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
logTM, transactional memory, nesting |
46 | Lin Dong, Eibe Frank, Stefan Kramer 0001 |
Ensembles of Balanced Nested Dichotomies for Multi-class Problems. |
PKDD |
2005 |
DBLP DOI BibTeX RDF |
|
46 | Carsten Schneider |
Symbolic summation with single-nested sum extensions. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
creative telescoping, difference field extensions, telescoping |
46 | Malik Saheb, Ramzi Karoui, Simone Sédillot |
Open Nested Transaction: A Support for Increasing Performance and Multi-tier Applications. |
FMLDO - Selected Papers |
1999 |
DBLP DOI BibTeX RDF |
|
46 | Ugur Halici, Ismailcem Budak Arpinar, Asuman Dogac |
Serializability of Nested Transactions in Multidatabases. |
ICDT |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Yin-he Jiang, Xiangning Liu, Bharat K. Bhargava |
Re-Evaluating Indexing Schemes for Nested Objects. |
CIKM |
1994 |
DBLP DOI BibTeX RDF |
|
46 | Elisa Bertino |
Optimization of Queries using Nested Indices. |
EDBT |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Nicola Onose, Alin Deutsch, Yannis Papakonstantinou, Emiran Curtmola |
Rewriting nested XML queries using nested views. |
SIGMOD Conference |
2006 |
DBLP DOI BibTeX RDF |
XML nested query, views, rewriting, reformulation |
44 | Alain Darte, Robert Schreiber |
A linear-time algorithm for optimal barrier placement. |
PPoPP |
2005 |
DBLP DOI BibTeX RDF |
SPMD code, nested circular interval graph, nested loops, barrier synchronization, circular arc graph |
44 | Tzung-Shi Chen, Jang-Ping Sheu |
Communication-Free Data Allocation Techniques for Parallelizing Compilers on Multicomputers. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
communication-free data allocation techniques, local memory accesses, array elements, interblock communication, communication-free criteria, duplicate data, partitioned array elements, fixed-size multicomputers, load balancing, parallel programming, program compilers, distributed memory systems, parallelizing compilers, matrix multiplication, multicomputers, interprocessor communication, storage allocation, communication overhead, nested loops, nested loop, parallel execution, heuristic method, distributed memory multicomputers, iteration space |
43 | Ravi Bhargava, Ben Serebrin, Francesco Spadini, Srilatha Manne |
Accelerating two-dimensional page walks for virtualized systems. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
AMD, nested paging, page walk caching, virtualization, memory management, virtual machine monitor, hypervisor, TLB |
42 | Rajeev Alur |
Model Checking: From Tools to Theory. |
25 Years of Model Checking |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Jens Gramm, Jiong Guo, Rolf Niedermeier |
Pattern Matching for Arc-Annotated Sequences. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Mauricio J. V. Silva, C. Robert Carlson |
Conceptual Design of Active Object-Oriented Database Applications Using Multi-level Diagrams. |
ECOOP |
1996 |
DBLP DOI BibTeX RDF |
|
42 | Ron Sass, Matt W. Mutka |
Enabling unimodular transformations. |
SC |
1994 |
DBLP DOI BibTeX RDF |
FORTRAN |
41 | Dieter an Mey, Samuel Sarholz, Christian Terboven |
Nested Parallelization with OpenMP. |
Int. J. Parallel Program. |
2007 |
DBLP DOI BibTeX RDF |
OpenMP, Nested parallelization, Shared memory parallelization, ccNUMA |
41 | Alan Morris, Allen D. Malony, Sameer Shende |
Supporting Nested OpenMP Parallelism in the TAU Performance System. |
Int. J. Parallel Program. |
2007 |
DBLP DOI BibTeX RDF |
TAU, OpenMP, Nested parallelism |
41 | Alejandro Duran, Marc González 0001, Julita Corbalán |
Automatic thread distribution for nested parallelism in OpenMP. |
ICS |
2005 |
DBLP DOI BibTeX RDF |
thread clustering, OpenMP, nested parallelism |
41 | Afshin Shiravi, Yoon G. Kim, Paul S. Min |
Proportional Nested Deficit Round Robin: Improving the Latency of Packet Scheduler with an O(1) Complexity. |
AAA-IDEA |
2005 |
DBLP DOI BibTeX RDF |
Nested- DRR, Quantum Size, Complexity, Packet switch, Fair queueing, Deficit Round Robin |
41 | Anne Doucet, Stéphane Gançarski, Claudia León, Marta Rukoz |
Checking Integrity Constraints in Multidatabase Systems with Nested Transactions. |
CoopIS |
2001 |
DBLP DOI BibTeX RDF |
Integrity constraints, Consistency checking, Distributed transactions, Multidatabase systems, Nested transactions |
41 | Hossam S. Hassanein, Mohamed E. El-Sharkawi |
Performance modeling of nested transactions in database systems. |
CASCON |
2000 |
DBLP BibTeX RDF |
simulation, performance evaluation, two-phase locking, nested transactions |
40 | Haris Volos 0001, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy |
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Christian Mathissen |
Weighted Logics for Nested Words and Algebraic Formal Power Series. |
ICALP (2) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin |
First-Order and Temporal Logics for Nested Words. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Laurent Perrussel, Jean-Marc Thévenin, Thomas Andreas Meyer |
Mutual enrichment through nested belief change. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
multi-agent systems, belief revision, reasoning about action |
40 | Majed Abdouli, Bruno Sadeg, Laurent Amanton, Adel M. Alimi |
A System Supporting Nested Transactions in DRTDBSs. |
HPCC |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Bin Cao, Antonio Badia |
A Nested Relational Approach to Processing SQL Subqueries. |
SIGMOD Conference |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Kewen Wang 0001, Yan Zhang 0003 |
Nested Epistemic Logic Programs. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Zhixin Liu, Samuel Cheng 0001, Angelos D. Liveris, Zixiang Xiong |
Slepian-Wolf Coded Nested Quantization (SWC-NQ) for Wyner-Ziv Coding: Performance Analysis and Code Design. |
Data Compression Conference |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Ho-sik Cho, Eun Kyoung Paik, Yanghee Choi |
RBU+: Recursive Binding Update for End-to-End Route Optimization in Nested Mobile Networks. |
HSNMC |
2004 |
DBLP DOI BibTeX RDF |
pinball routing, NEMO, network mobility, route optimization |
40 | Dongkeun Lee, Keecheon Kim, Moonhae Kim |
Hierarchical Route Optimization for Nested Mobile Network. |
AINA (1) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | David Pearce 0001, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran |
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Qi Yang 0011, Weining Zhang, Chengwen Liu, Jing Wu, Clement T. Yu, Hiroshi Nakajima, Naphtali Rishe |
Efficient Processing of Nested Fuzzy SQL Queries in a Fuzzy Database. |
IEEE Trans. Knowl. Data Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Yoshizumi Tanaka, Kenjiro Taura, Mitsuhisa Sato, Akinori Yonezawa |
Performance Evaluation of OpenMP Applications with Nested Parallelism. |
LCR |
2000 |
DBLP DOI BibTeX RDF |
|
40 | Erik M. Boertjes, Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Apers |
An Architecture for Nested Transaction Support on Standard Database Systems. |
DEXA |
1998 |
DBLP DOI BibTeX RDF |
|
40 | Sergio Greco, Nicola Leone, Francesco Scarcello |
DATALOG with Nested Rules. |
LPKR |
1997 |
DBLP DOI BibTeX RDF |
|
40 | Hennie J. Steenhagen, Peter M. G. Apers, Henk M. Blanken |
Optimization of Nested Queries in a Complex Object Model. |
EDBT |
1994 |
DBLP DOI BibTeX RDF |
|
40 | Abdullah Uz Tansel, Lucy Garnett |
Nested Historical Relations. |
SIGMOD Conference |
1989 |
DBLP DOI BibTeX RDF |
|
40 | Latha S. Colby |
A Recursive Algebra and Query Optimization for Nested Relations. |
SIGMOD Conference |
1989 |
DBLP DOI BibTeX RDF |
|
40 | Z. Meral Özsoyoglu, Li-Yan Yuan |
A New Normal Form for Nested Relations. |
ACM Trans. Database Syst. |
1987 |
DBLP DOI BibTeX RDF |
|
40 | Richard A. Ganski, Harry K. T. Wong |
Optimization of Nested SQL Queries Revisited. |
SIGMOD Conference |
1987 |
DBLP DOI BibTeX RDF |
SQL |
39 | Marco Cadoli, Thomas Eiter, Georg Gottlob |
Complexity of propositional nested circumscription and nested abnormality theories. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
Horn theories, nested abnormality theories, computational complexity, nonmonotonic reasoning, knowledge representation and reasoning, Circumscription |
38 | Atsushi Hori, Munenori Maeda, Yutaka Ishikawa, Takashi Tomokiyo, Hiroki Konaka |
A scalable time-sharing scheduling for partitionable distributed memory parallel machines. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
time-sharing systems, scalable time-sharing scheduling, partitionable distributed memory parallel machines, process scheduling queue system, distributed queue tree, dynamically partitionable parallel machines, dynamically nested partitioning, time-sharing scheduling, process scheduling queues, round-robin scheduling algorithm, task allocation policies, high-load situations, parallel machines, reconfigurable architectures, trees (mathematics), distributed memory systems, processor scheduling, simulation results, interactive environment, time-sharing, nested, batch scheduling, processor utilization |
37 | T. H. Merrett |
Attribute Metadata for Relational OLAP and Data Mining. |
DBPL |
2001 |
DBLP DOI BibTeX RDF |
data mining, classification, metadata, decision trees, relational algebra, association, nested relations, datacube |
37 | Bharat Kumar, P. Sadayappan, Chua-Huang Huang |
On sparse matrix reordering for parallel factorization. |
International Conference on Supercomputing |
1994 |
DBLP DOI BibTeX RDF |
matrix reordering, nested dissection, parallel sparse factorization, distributed memory machine, spectral partitioning |
36 | Bin Cao, Antonio Badia |
SQL query optimization through nested relational algebra. |
ACM Trans. Database Syst. |
2007 |
DBLP DOI BibTeX RDF |
nested relational algebra, nonrelational query processing, Nested queries |
36 | Sudipto Guha |
Nested Graph Dissection and Approximation Algorithms. |
FOCS |
2000 |
DBLP DOI BibTeX RDF |
nested graph dissection, nested dissection paradigm, chordal completion size, polynomial term, vertex ranking, approximation algorithms, computational geometry, graph theory, polynomials, upper bound, approximation theory, planar embedding |
36 | Gultekin Özsoyoglu, Aladdin Hafez |
Near-Optimum Storage Models for Nested Relations Based on Workload Information. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
near-optimum storage models, workload information, query cost, scheme tree, file organization types, nested relational algebra, dense index files, data structures, relational databases, storage management, trees (mathematics), relational algebra, database system, merges, nested relations |
36 | Gwoboa Horng, Ming-Deh A. Huang |
Simplifying Nested Radicals and Solving Polynomials by Radicals in Minimum Depth |
FOCS |
1990 |
DBLP DOI BibTeX RDF |
pure root extensions, nested radicals, minimum depth, pure nested radicals, polynomials |
36 | Andreas Oberweis, Peter Sander |
Information System Behavior Specification by High-Level Petri Nets. |
ACM Trans. Inf. Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
36 | Thanasis Hadzilacos, Vassos Hadzilacos |
Transaction Synchronisation in Object Bases. |
PODS |
1988 |
DBLP DOI BibTeX RDF |
|
35 | Albert Hartono, Muthu Manikandan Baskaran, Cédric Bastoul, Albert Cohen 0001, Sriram Krishnamoorthy, Boyana Norris, J. Ramanujam, P. Sadayappan |
Parametric multi-level tiling of imperfectly nested loops. |
ICS |
2009 |
DBLP DOI BibTeX RDF |
imperfectly nested loops, parametric tiling |
35 | Jiyoung Song, Sangjoon Park, Jongchan Lee, Hyun-Joo Moon, Byunggi Kim |
Explicit Routing Designation (ERD) Method the Cache Information in Nested Mobile Networks. |
ICCSA (2) |
2007 |
DBLP DOI BibTeX RDF |
MEMO, Nested Mobile Networks, Mobile Router, HMIPv6 |
35 | Uday Bondhugula, J. Ramanujam, P. Sadayappan |
Automatic mapping of nested loops to FPGAS. |
PPoPP |
2007 |
DBLP DOI BibTeX RDF |
FPGA compilation, control signals, regular processor arrays, scheduling, FPGA, resource constraints, nested loops, linear transformation |
35 | Hans Georg Schaathun, Gérard D. Cohen |
Nested Codes for Constrained Memory and for Dirty Paper. |
AAECC |
2006 |
DBLP DOI BibTeX RDF |
dirty paper, constrained memory, nested codes, covering codes |
35 | Krishnakumar Rajagopalan, Peter R. Eiseman |
Automatic nested refinement: a technique for the generation of high quality multi-block structured grids for multi-scale problems using GridPro. |
Eng. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Multi-scale problems, Multi-block grids, Nested refinement, Conformal adaptive hex meshing, GridPro, Fractals, Mesh generation |
35 | Chun Xue, Zili Shao, Meilin Liu, Edwin Hsing-Mean Sha |
Iterational retiming: maximize iteration-level parallelism for nested loops. |
CODES+ISSS |
2005 |
DBLP DOI BibTeX RDF |
optimization, partition, retiming, nested loops |
35 | Surin Kittitornkun, Yu Hen Hu |
Processor Array Synthesis from Shift-Variant Deep Nested Do Loops. |
J. Supercomput. |
2003 |
DBLP DOI BibTeX RDF |
systolic mapping, FPGA, motion estimation, reconfigurable computing, nested loop |
35 | Sung Ho Choi, Bara Kim, Khosrow Sohraby, Bong Dae Choi |
On Matrix-Geometric Solution of Nested QBD Chains. |
Queueing Syst. Theory Appl. |
2003 |
DBLP DOI BibTeX RDF |
nested QBD chains, level dependent QBD chains, matrix-geometric solution, fundamental matrix, overload control |
35 | Dragan Bosnacki |
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
state space reduction techniques, nested depth first search algorithm, multiple representatives, Model checking, symmetry reduction |
Displaying result #1 - #100 of 6310 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|