Search results for "nested"

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