|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(2), pp. 369-385, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 18(3), pp. 414-459, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 17(1), pp. 65-93, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
algebraic query transformation, nested algebra, nested calculus, relational databases, nested relations |
83 | Rajeev Alur |
Marrying Words and Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings, pp. 1, 2008, Springer, 978-3-540-79979-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
83 | Rajeev Alur |
Marrying Words and Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings, pp. 5, 2007, Springer, 978-3-540-74509-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
82 | Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
Making nested parallel transactions practical using lightweight hardware support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 24th International Conference on Supercomputing, 2010, Tsukuba, Ibaraki, Japan, June 2-4, 2010, pp. 61-71, 2010, ACM, 978-1-4503-0018-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 7(1), pp. 21-59, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings, pp. 296-305, 2000, IEEE Computer Society, 0-7695-0789-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 21(1), pp. 77-106, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 56(3), pp. 16:1-16:43, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Integr. ![In: J. Syst. Integr. 4(4), pp. 309-340, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 21-36, 2006, ACM, 1-59593-348-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
nested inheritance, nested intersection, compilers |
65 | Bruce Martin |
Concurrent programming vs. concurrency control: shared events or shared data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 142-144, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
65 | Kunal Agrawal, I-Ting Angelina Lee, Jim Sukha |
Safe open-nested transactions through ownership. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009, pp. 151-162, 2009, ACM, 978-1-60558-397-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 444-455, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Rajeev Alur, P. Madhusudan |
Adding Nesting Structure to Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings, pp. 1-13, 2006, Springer, 3-540-35428-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
59 | Kunal Agrawal, I-Ting Angelina Lee, Jim Sukha |
Safe open-nested transactions through ownership. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Munich, Germany, June 14-16, 2008, pp. 110-112, 2008, ACM, 978-1-59593-973-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 27(3), pp. 237-269, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMLDO - Selected Papers ![In: Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers, pp. 130-149, 1999, Springer, 3-540-67201-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, pp. 888-900, 2007, Springer, 978-3-540-73419-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Mauricio J. V. Silva, C. Robert Carlson |
Modeling Active Object-Oriented Database Application Using Multi-Level Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 306-311, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, Thira, Santorini, Greece, June 13-15, 2010, pp. 253-262, 2010, ACM, 978-1-4503-0079-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
parallel programming, transactional memory, nested parallelism |
53 | Kunal Agrawal, Jeremy T. Fineman, Jim Sukha |
Nested parallelism in transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008, pp. 163-174, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APDC ![In: Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), March 19-21, 1997, Shanghai, China, pp. 345-350, 1997, IEEE Computer Society, 0-8186-7876-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 6th International Conference, DEXA'95, London, United Kingdom, September 4-8, 1995, Proceedings, pp. 479-489, 1995, Springer, 3-540-60303-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, pp. 225-239, 2004, Springer, 3-540-22671-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Rajeev Alur |
Marrying words and trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China, pp. 233-242, 2007, ACM, 978-1-59593-685-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 2000 IEEE Symposium on Security and Privacy, Berkeley, California, USA, May 14-17, 2000, pp. 203-214, 2000, IEEE Computer Society, 0-7695-0665-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 41-47, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRISMA Workshop ![In: Parallel Database Systems, PRISMA Workshop, Noordwijk, The Netherlands, September 24-26, 1990, Proceedings, pp. 354-364, 1990, Springer, 3-540-54132-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 2(1), pp. 44-65, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Arc-annotated sequences, dynamic programming, pattern matching, RNA secondary structure |
47 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Nested interpolants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 471-482, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM ![In: Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007, Proceedings, pp. 428-439, 2007, Springer, 978-3-540-72483-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 99-115, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 9(3), pp. 261-278, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 20(2), pp. 111-148, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 19(4), pp. 537-585, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings, pp. 195-206, 1989, Springer, 3-540-51687-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 24(9), pp. 1717-1724, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(10), pp. 4358-4379, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006, pp. 359-370, 2006, ACM, 1-59593-451-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Knowledge Discovery in Databases: PKDD 2005, 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005, Proceedings, pp. 84-95, 2005, Springer, 3-540-29244-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
46 | Carsten Schneider |
Symbolic summation with single-nested sum extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings, pp. 282-289, 2004, ACM, 1-58113-827-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMLDO - Selected Papers ![In: Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers, pp. 167-192, 1999, Springer, 3-540-67201-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
46 | Ugur Halici, Ismailcem Budak Arpinar, Asuman Dogac |
Serializability of Nested Transactions in Multidatabases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT '97, 6th International Conference, Delphi, Greece, January 8-10, 1997, Proceedings, pp. 321-335, 1997, Springer, 3-540-62222-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Yin-he Jiang, Xiangning Liu, Bharat K. Bhargava |
Re-Evaluating Indexing Schemes for Nested Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29 - December 2, 1994, pp. 439-446, 1994, ACM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
46 | Elisa Bertino |
Optimization of Queries using Nested Indices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'90. International Conference on Extending Database Technology, Venice, Italy, March 26-30, 1990, Proceedings, pp. 44-59, 1990, Springer, 3-540-52291-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Nicola Onose, Alin Deutsch, Yannis Papakonstantinou, Emiran Curtmola |
Rewriting nested XML queries using nested views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 27-29, 2006, pp. 443-454, 2006, ACM, 1-59593-256-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
XML nested query, views, rewriting, reformulation |
44 | Alain Darte, Robert Schreiber |
A linear-time algorithm for optimal barrier placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA, pp. 26-35, 2005, ACM, 1-59593-080-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(9), pp. 924-938, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2008, Seattle, WA, USA, March 1-5, 2008, pp. 26-35, 2008, ACM, 978-1-59593-958-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years of Model Checking ![In: 25 Years of Model Checking - History, Achievements, Perspectives, pp. 89-106, 2008, Springer, 978-3-540-69849-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Jens Gramm, Jiong Guo, Rolf Niedermeier |
Pattern Matching for Arc-Annotated Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 182-193, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'96 - Object-Oriented Programming, 10th European Conference, Linz, Austria, July 8-12, 1996, Proceedings, pp. 366-397, 1996, Springer, 3-540-61439-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
42 | Ron Sass, Matt W. Mutka |
Enabling unimodular transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '94, Washington, DC, USA, November 14-18, 1994, pp. 753-762, 1994, IEEE Computer Society, 0-8186-6605-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
FORTRAN |
41 | Dieter an Mey, Samuel Sarholz, Christian Terboven |
Nested Parallelization with OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 35(5), pp. 459-476, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 35(4), pp. 417-436, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 19th Annual International Conference on Supercomputing, ICS 2005, Cambridge, Massachusetts, USA, June 20-22, 2005, pp. 121-130, 2005, ACM, 1-59593-167-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAA-IDEA ![In: First International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2005, Orlando, Florida, USA, June 15, 2005, pp. 34-41, 2005, IEEE Computer Society, 0-7695-2525-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Cooperative Information Systems, 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001, Proceedings, pp. 316-328, 2001, Springer, 3-540-42524-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative Research, November 13-16, 2000, Mississauga, Ontario, Canada, pp. 4, 2000, IBM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 123-147, 2009, Springer, 978-3-642-03012-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Christian Mathissen |
Weighted Logics for Nested Words and Algebraic Formal Power Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, pp. 221-232, 2008, Springer, 978-3-540-70582-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 151-160, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Laurent Perrussel, Jean-Marc Thévenin, Thomas Andreas Meyer |
Mutual enrichment through nested belief change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 226-228, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: High Performance Computing and Communications, First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005, Proceedings, pp. 888-897, 2005, Springer, 3-540-29031-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Bin Cao, Antonio Badia |
A Nested Relational Approach to Processing SQL Subqueries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Baltimore, Maryland, USA, June 14-16, 2005, pp. 191-202, 2005, ACM, 1-59593-060-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Kewen Wang 0001, Yan Zhang 0003 |
Nested Epistemic Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, pp. 279-290, 2005, Springer, 3-540-28538-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: 2004 Data Compression Conference (DCC 2004), 23-25 March 2004, Snowbird, UT, USA, pp. 322-331, 2004, IEEE Computer Society, 0-7695-2082-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSNMC ![In: High Speed Networks and Multimedia Communications, 7th IEEE International Conference, HSNMC 2004, Toulouse, France, June 30 - July 2, 2004, Proceedings, pp. 468-478, 2004, Springer, 3-540-22262-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (1) ![In: 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 29-31 March 2004, Fukuoka, Japan, pp. 225-229, 2004, IEEE Computer Society, 0-7695-2051-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings, pp. 405-420, 2002, Springer, 3-540-43930-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 13(6), pp. 884-901, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Yoshizumi Tanaka, Kenjiro Taura, Mitsuhisa Sato, Akinori Yonezawa |
Performance Evaluation of OpenMP Applications with Nested Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCR ![In: Languages, Compilers, and Run-Time Systems for Scalable Computers, 5th International Workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000, Selected Papers, pp. 100-112, 2000, Springer, 3-540-41185-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 9th International Conference, DEXA '98, Vienna, Austria, August 24-28, 1998, Proceedings, pp. 448-459, 1998, Springer, 3-540-64950-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
40 | Sergio Greco, Nicola Leone, Francesco Scarcello |
DATALOG with Nested Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPKR ![In: Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers, pp. 52-65, 1997, Springer, 3-540-64958-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'94. 4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28-31, 1994, Proceedings, pp. 337-350, 1994, Springer, 3-540-57818-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
40 | Abdullah Uz Tansel, Lucy Garnett |
Nested Historical Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989., pp. 284-294, 1989, ACM Press, 978-0-89791-317-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
40 | Latha S. Colby |
A Recursive Algebra and Query Optimization for Nested Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989., pp. 273-283, 1989, ACM Press, 978-0-89791-317-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
40 | Z. Meral Özsoyoglu, Li-Yan Yuan |
A New Normal Form for Nested Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 12(1), pp. 111-136, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
40 | Richard A. Ganski, Harry K. T. Wong |
Optimization of Nested SQL Queries Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, San Francisco, CA, USA, May 27-29, 1987, pp. 23-33, 1987, ACM Press, 978-0-89791-236-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
SQL |
39 | Marco Cadoli, Thomas Eiter, Georg Gottlob |
Complexity of propositional nested circumscription and nested abnormality theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(2), pp. 232-272, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 173-182, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001, Revised Papers, pp. 97-118, 2001, Springer, 3-540-44080-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 8th international conference on Supercomputing, ICS 1994, Manchester, UK, July 11-15, 1994, pp. 431-438, 1994, ACM, 0-89791-665-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 32(3), pp. 18, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
nested relational algebra, nonrelational query processing, Nested queries |
36 | Sudipto Guha |
Nested Graph Dissection and Approximation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 41st Annual Symposium on Foundations of Computer Science, FOCS 2000, 12-14 November 2000, Redondo Beach, California, USA, pp. 126-135, 2000, IEEE Computer Society, 0-7695-0850-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(6), pp. 1018-1038, 1993. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 31st Annual Symposium on Foundations of Computer Science, St. Louis, Missouri, USA, October 22-24, 1990, Volume II, pp. 847-856, 1990, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 14(4), pp. 380-420, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
36 | Thanasis Hadzilacos, Vassos Hadzilacos |
Transaction Synchronisation in Object Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas, USA, pp. 193-200, 1988, ACM, 0-89791-263-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 23rd international conference on Supercomputing, 2009, Yorktown Heights, NY, USA, June 8-12, 2009, pp. 147-157, 2009, ACM, 978-1-60558-498-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II, pp. 764-777, 2007, Springer, 978-3-540-74475-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2007, San Jose, California, USA, March 14-17, 2007, pp. 101-111, 2007, ACM, 978-1-59593-602-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, Proceedings, pp. 307-316, 2006, Springer, 3-540-31423-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 21(1), pp. 29-35, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2005, Jersey City, NJ, USA, September 19-21, 2005, pp. 309-314, 2005, ACM, 1-59593-161-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 24(3), pp. 229-249, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 43(1-2), pp. 5-28, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings, pp. 65-80, 2002, Springer, 3-540-00141-7. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|