Search results for "nesting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
107	Peter A. Buhr, C. Robert Zarnke	Nesting in an Object-Oriented Language is NOT for the Birds.	ECOOP	1988	DBLP DOI BibTeX RDF	Object-Oriented, Nesting, Programming-in-the-Large, Block Structure
87	Grzegorz Chmaj, Iwona Pozniak-Koszalka, Andrzej Kasprzak	A Knowledge Based System for Minimum Rectangle Nesting.	KES (1)	2009	DBLP DOI BibTeX RDF	binary quantization, knowledge based system, nesting
69	G. Ramalingam	On loops, dominators, and dominance frontiers.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	irreducible graph, iterated dominance frontier, least common ancestor, loop nesting forest, sparse evaluation, graph transformation, Dominator, loop
68	Yang Ni, Vijay Menon 0002, Ali-Reza Adl-Tabatabai, Antony L. Hosking, Richard L. Hudson, J. Eliot B. Moss, Bratin Saha, Tatiana Shpeisman	Open nesting in software transactional memory.	PPoPP	2007	DBLP DOI BibTeX RDF	abstract locks, open nesting, transactional memory, nested transactions
68	Liu Hu Yao, He Yuan Jun	NFP-based nesting algorithm for irregular shapes.	SAC	2006	DBLP DOI BibTeX RDF	no fit polygon, genetic algorithm, packing, nesting, cutting stock
68	Alan Crispin, Paul Clay, Gaynor Taylor, Tom Bayes, David Reedman	Genetic Algorithm Coding Methods for Leather Nesting.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	computer-aided nesting, leather, genetic algorithms, image processing, optimisation, connectivity, encoding, packing
68	Jeffrey Horn	Shape nesting by coevolving species.	GECCO	2005	DBLP DOI BibTeX RDF	cooperative-competitive evolution, shape nesting, genetic algorithm, evolutionary computation, coevolution, resource sharing, niching, cooperative coevolution, speciation, fitness sharing
68	José Carlos Alves, João Canas Ferreira, C. Albuquerque, José Fernando Oliveira, José Soeiro Ferreira, José Silva Matos	FAFNER-Accelerating Nesting Problems with FPGAs.	FCCM	1999	DBLP DOI BibTeX RDF	Custom computing, nesting problems, FPGAs
68	Tae-Jung Lho, Dong Joong Kang, Am-suk Oh, Jang-Woo Kwon, Suk-Tae Bae, Kang-Hyuk Lee	An Implementation of the Vectorizing-Based Automatic Nesting Software NST .	ICCSA (2)	2006	DBLP DOI BibTeX RDF
59	Qi Ning, Vincent Van Dongen, Guang R. Gao	Automatic data and computation decomposition for distributed memory machines.	HICSS (2)	1995	DBLP DOI BibTeX RDF	automatic data decomposition, automatic computation decomposition, compile-time technique, complex programs, perfect loop nests, nonperfect loop nests, loop-carried dependences, loop nest clusters, data locality constraint relaxation, homogeneous linear equations, hierarchical program nesting structures, nesting levels, compiler development, EPPP project, Environment for Portable Parallel Programming, computational complexity, parallel programming, parallelism, polynomial time algorithms, distributed memory systems, software portability, relaxation, distributed memory machines, program control structures, parallelising compilers, data redistributions, equations, data handling
59	Kunal Agrawal, Charles E. Leiserson, Jim Sukha	Memory models for open-nested transactions.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF
58	Yossi Lev, Jan-Willem Maessen	Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	transactional memory, atomicity, nesting
58	João Pedro Barreto 0002, Aleksandar Dragojevic, Paulo Ferreira 0001, Rachid Guerraoui, Michal Kapalka	Leveraging parallel nesting in transactional memory.	PPoPP	2010	DBLP DOI BibTeX RDF	nested parallel programs, transactional memory, work-stealing, fork-join
58	Lingbo Kong, Shiwei Tang, Dongqing Yang, Tengjiao Wang 0003, Jun Gao 0003	No Tag, a Little Nesting, and Great XML Keyword Search.	AIRS	2006	DBLP DOI BibTeX RDF
48	Bo Liu 0002, Zhifeng Hao, Xiaowei Yang	Nesting Algorithm for Multi-Classification Problems.	Soft Comput.	2007	DBLP DOI BibTeX RDF	One-against-One algorithm, FLS-SVM, Nesting algorithm, Support vector machines, Least squares support vector machine
48	Jeffrey Horn	Optimal nesting of species for exact cover of resources: two against many.	GECCO	2007	DBLP DOI BibTeX RDF	exact cover, shape nesting, species, genetic algorithm, evolutionary computation, tiling, coevolution, niches, niching
48	Shigeyuki Takahara, Yoshiyuki Kusumoto, Sadaaki Miyamoto	Solution for textile nesting problems using adaptive meta-heuristics and grouping.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Adaptive meta-heuristics, Grouping, Packing, Nesting
48	Hua Ji, Zhilou Yu	An Optimizing Nesting Algorithm with Heuristic Search Based on Binary Trees.	CSSE (1)	2008	DBLP DOI BibTeX RDF
48	Paul Havlak	Nesting of Reducible and Irreducible Loops.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	reducible loops, strongly-connected regions
40	Javier Martín, Gaspar Mayor, Jaume Monreal	Nestings of T-Conorms.	WILF	2009	DBLP DOI BibTeX RDF	binary operation, ordinal sum, nesting, t-conorm
40	Xiaozhen Mi, Xiaodong Zhao, Wenzhong Zhao, Wenhui Fan	Case Study on Optimization of Rectangular Object Layout by Genetic Algorithm.	CSCWD (Selected Papers)	2007	DBLP DOI BibTeX RDF	Rectangular Object Layout, Guillotine, Nesting optimization, Material quota, Genetic Algorithm
39	Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza	From Entity Relationship to XML Schema: A Graph-Theoretic Approach.	XSym	2009	DBLP DOI BibTeX RDF
39	Can Adam Albayrak, Thomas Noll 0001	The WHILE Hierarchy of Program Schemes Is Infinite.	FoSSaCS	1998	DBLP DOI BibTeX RDF
39	Matti O. Jokinen	The Effect of Parameter Passing and Other Implementation Dependent Mechanisms is Undecedable.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
39	Gebhard Greiter	Remarks on Language Concepts for specifying Process Synchronization.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
38	Bernd Wondergem, Patrick van Bommel, Theo P. van der Weide	Nesting and Defoliation of Index Expressions for Information Retrieval.	Knowl. Inf. Syst.	2000	DBLP DOI BibTeX RDF	Defoliation, Index Expressions, Information Retrieval, Nesting
38	Jörg Heistermann, Thomas Lengauer	Efficient Automatic Part Nesting on Irregular and Inhomogeneous Surfaces.	SODA	1993	DBLP DOI BibTeX RDF	nesting problem, trim-loss problem, two-dimensional placement, combinatorial algorithms, greedy method, cutting-stock problem
38	Jeffrey Horn	Optimal Nesting of Species for Exact Cover: Many against Many.	PPSN	2008	DBLP DOI BibTeX RDF
38	Thomas Colcombet, Christof Löding	The Nesting-Depth of Disjunctive µ-Calculus for Tree Languages and the Limitedness Problem.	CSL	2008	DBLP DOI BibTeX RDF
38	Jeffrey Horn	Coevolving species for shape nesting.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
38	José A. Cruz-Lemus, Marcela Genero, Mario Piattini, José Ambrosio Toval Álvarez	An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
38	Jean Flower, John Howse, John Taylor 0001	Nesting in Euler Diagrams: syntax, semantics and construction.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Nested Euler diagrams, Formal methods, Diagrammatic reasoning, Visual formalisms, Euler diagrams
38	Denis Thérien, Thomas Wilke	Nesting Until and Since in Linear Temporal Logic.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
38	Denis Thérien, Thomas Wilke	Nesting Until and Since in Linear Temporal Logic.	STACS	2002	DBLP DOI BibTeX RDF
38	Edmund K. Burke, Graham Kendall	Applying Ant Algorithms and the No Fit Polygon to the Nesting Problem.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF	No Fit Polygon, Genetic Algorithm, Search, Simulated Annealing, Ant Algorithms
38	Toshihide Ibaraki, Tiko Kameda	On the Optimal Nesting Order for Computing N-Relational Joins.	ACM Trans. Database Syst.	1984	DBLP DOI BibTeX RDF
30	Paul Kapinos, Dieter an Mey	Parallel Simulation of Bevel Gear Cutting Processes with OpenMP Tasks.	IWOMP	2009	DBLP DOI BibTeX RDF	OpenMP 3.0, Fortran 90/95, Recursive Subroutines, Parallelization, Tasking, Nesting
30	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
30	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
30	Huaglory Tianfield	Structuring of Large-scale Complex Hybrid Systems: from Illustrative Analysis toward Modelization.	J. Intell. Robotic Syst.	2001	DBLP DOI BibTeX RDF	block-diagram-based model, large-scale complex hybrid system (LCHS), multiple gradation, nested system, perception-decision link, system geometry, distributed system, system modelization, autonomous system, hierarchical system, nesting, system structuring
30	Lawrence C. Paulson	Mechanized proofs for a recursive authentication protocol.	CSFW	1997	DBLP DOI BibTeX RDF	mechanized proofs, recursive authentication protocol, inductive approach, message nesting, basic security theorem, adjacent pairs, honest agents, protocol complexity, agents, protocols, specification, symmetry, mutual authentication, Isabelle/HOL, session keys
30	Mark W. W. Vermeer, Peter M. G. Apers	Query Modification in Object-Oriented Database Federations.	CoopIS	1997	DBLP DOI BibTeX RDF	object-oriented database federations, integrated view, global query processing, arbitrarily defined integration classes, object references, object relationship modeling, distributed databases, path expressions, nesting, query modification
30	Noureddine Boudriga, Sihem Guemara-ElFatmi	Extended connection models for advanced applications.	FTDCS	1997	DBLP DOI BibTeX RDF	advanced applications, OSI-like architecture, inter-dependency relationships, hierarchy relationships, multiple connections, remote node, Internet, hypermedia, hypermedia, distance learning, multimedia systems, flexibility, video conferencing, session, nesting, protocol architecture
30	Hiroaki Takada, Ken Sakamura	Real-time scalability of nested spin locks.	RTCSA	1995	DBLP DOI BibTeX RDF	real-time scalability, nested spin locks, interprocessor synchronizations, maximum execution times, maximum nesting level, performance evaluation, real-time systems, real-time system, performance measurements, synchronisation, shared-memory multiprocessor, shared memory systems, worst-case performance
30	Alberto Del Bimbo, Luigi Rella, Enrico Vicario	Visual Specification of Branching Time Temporal Logic.	VL	1995	DBLP DOI BibTeX RDF	branching time temporal logic, ordering relationships, visual shell, recursive syntax, mathematical notation, recursive visualization rules, generative approach, generic textual formula visualisation, 3D virtual space, branching time formulae, complex formulae, formal specification, parallel processing, parallelism, temporal logic, specification languages, visual languages, visual language, data visualisation, graphic representation, nesting, descriptive language, visual specification, time-varying systems, time-varying systems, execution sequencing
30	K. B. Lakshmanan, S. Jayaprakash, P. K. Sinha	Properties of Control-Flow Complexity Measures.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	control-flow complexity measure, cyclomatic number, total adjusted complexity, scope ratio, MEBOW, NPATH, software metrics, sequencing, programming theory, nesting
30	Pankaj Jalote	Functional Refinement and Nested Objects for Object-Oriented Design.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	nested objects, progressive object refinement, software engineering, Ada, Ada, object-oriented programming, object-oriented design, stepwise refinement, nesting
30	Fabio Panzieri, Santosh K. Shrivastava	Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Rajdoot, remote procedure call mechanism, orphan detection, killing, exactly-once semantics, call nesting, reliability, fault tolerant computing, software reliability, operating systems (computers), fault tolerance capabilities
30	Bina Ramamurthy, Austin Melton	A Synthesis of Software Science Measures and the Cyclomatic Number.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	software science measures, cyclomatic number, weighted measures, nesting levels, software engineering, software engineering, computational complexity, software complexity
30	Roel J. Wieringa	Design science as nested problem solving.	DESRIST	2009	DBLP DOI BibTeX RDF	nested problems, practical problems, regulative cycle, design science
30	Laura Bozzelli, Ruggero Lanotte	Complexity and Succinctness Issues for Linear-Time Hybrid Logics.	JELIA	2008	DBLP DOI BibTeX RDF
30	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
30	Jae-Kwon Seo, Sung-Hyun Nam, Kyung-Geun Lee	Fast Route Optimization for Dynamic Nested NEMO.	ICPP Workshops	2007	DBLP DOI BibTeX RDF	mobility, IPv6, NEMO, route optimization
30	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
30	Antonín Kucera 0001, Jan Strejcek	The stuttering principle revisited.	Acta Informatica	2005	DBLP DOI BibTeX RDF
30	Jesper Jansson 0001, Wing-Kin Sung	The Maximum Agreement of Two Nested Phylogenetic Networks.	ISAAC	2004	DBLP DOI BibTeX RDF
30	Isabel F. Cruz, Huiyong Xiao, Feihong Hsu	An Ontology-Based Framework for XML Semantic Integration.	IDEAS	2004	DBLP DOI BibTeX RDF
30	Philipp Gerhardy	Refined Complexity Analysis of Cut Elimination.	CSL	2003	DBLP DOI BibTeX RDF
30	Ugur Dogrusöz, Burkay Genç	A Framework for Complexity Management in Graph Visualization.	GD	2002	DBLP DOI BibTeX RDF
30	Nicolas J. Cerf, Lov K. Grover, Colin P. Williams	Nested Quantum Search and NP-Hard Problems.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Combinatorial search problems, Quantum computation, NP-hard problems, Quantum algorithms
30	G. Ramalingam	Identifying Loops in Almost Linear Time.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	irreducible flowgraphs, loops
30	Danilo P. Mandic, Jonathon A. Chambers	Toward an optimal PRNN-based nonlinear predictor.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
30	Scott Moore, Ronald Curtis	A Study of the Prather Software Metric (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	Pascal
30	Won Kim 0001	On Optimizing an SQL-like Nested Query.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	relational database, join, predicate, aggregate function, divide, nested query
28	Phil McMinn, David W. Binkley, Mark Harman	Empirical evaluation of a nesting testability transformation for evolutionary testing.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	testability transformation, test data generation, Evolutionary testing, search-based software engineering
28	Tom Van Cutsem, Alexandre Bergel, Stéphane Ducasse, Wolfgang De Meuter	Adding State and Visibility Control to Traits Using Lexical Nesting.	ECOOP	2009	DBLP DOI BibTeX RDF
28	Jeffrey Horn	Optimal Nesting of Species for Exact Cover of Resources: Two Against One.	FOCI	2007	DBLP DOI BibTeX RDF
28	Rajeev Alur, P. Madhusudan	Adding Nesting Structure to Words.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
28	James Laird	The Elimination of Nesting in SPCF.	TLCA	2005	DBLP DOI BibTeX RDF
28	Cristina Ribeiro 0001, Maria Antónia Carravilla	A Global Constraint for Nesting Problems.	CPAIOR	2004	DBLP DOI BibTeX RDF
28	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	Complexity of Nesting Analysis in Mobile Ambients.	VMCAI	2003	DBLP DOI BibTeX RDF	Complexity, Static Analysis, Ambient Calculus
28	Rémi Coudarcher, Jocelyn Sérot, Jean-Pierre Dérutin	Implementation of a Skeleton-Based Parallel Programming Environment Supporting Arbitrary Nesting.	HIPS	2001	DBLP DOI BibTeX RDF
28	Trenchard More Jr.	Transfinite Nesting in Array-Theoretic Figures, Changes, Rigs, and Arms, Part I.	APL	1993	DBLP DOI BibTeX RDF	APL2, Nial, array theory, function arrays, nested arrays, APL, formal systems
28	Rachid Guerraoui, Riccardo Capobianchi, Agnes Lanusse, Pierre Roux	Nesting Actions through Asynchronous Message Passing: the ACS Protocol.	ECOOP	1992	DBLP DOI BibTeX RDF
28	Matthias Jarke, Jürgen Koch	Range Nesting: A Fast Method to Evaluate Quantified Queries.	SIGMOD Conference	1983	DBLP DOI BibTeX RDF
20	Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young	Transactions with isolation and cooperation.	OOPSLA	2007	DBLP DOI BibTeX RDF	TIC, open-nesting, transactional memory, nested transactions, punctuation
20	Chan Yu, Souran Manoochehri	Optimal packing using the multiple mating method.	Eng. Comput.	2003	DBLP DOI BibTeX RDF	Geometric Feature Mating, Containment, Packing, Nesting, Convex Decomposition
20	Harold N. Gabow	Using Expander Graphs to Find Vertex Connectivity.	FOCS	2000	DBLP DOI BibTeX RDF	nesting properties, separation triples, computational complexity, complexity, graph theory, expander graphs, undirected graph, digraph, time bound, vertex connectivity
20	Marco A. G. M. Maia, Átila L. F. Xavier	A Semiautomatic Method for Assigning Elevation in Contour Maps.	IEEE Trans. Knowl. Data Eng.	1996	DBLP DOI BibTeX RDF	isarithms, nesting trees, image processing, graph theory, information management, Contour maps
20	Denis Thérien, Thomas Wilke	Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy.	FOCS	1996	DBLP DOI BibTeX RDF	semidirect products, until hierarchy, finite semigroups, algebraic characterization, nesting depth, finite semigroup theory, temporal logic, temporal logic
20	Susan Landau 0001	Simplification of Nested Radicals	FOCS	1989	DBLP DOI BibTeX RDF	radical simplification, nested radicals, equivalent expression, minimum nesting depth, decidable, minimal polynomial
20	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
20	Luke Dalessandro, Michael F. Spear, Michael L. Scott	NOrec: streamlining STM by abolishing ownership records.	PPoPP	2010	DBLP DOI BibTeX RDF	ownership records, transactional memory models, transactional memory, software transactional memory
20	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
20	Yang Zhao, John Boyland	Assuring Lock Usage in Multithreaded Programs with Fractional Permissions.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
20	Rania Khalaf, Dieter Roller 0001, Frank Leymann	Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF	Workflow, Transactions, Compensation, WS-BPEL, Error handling
20	Jost Berthold, Mischa Dieterle, Rita Loogen, Steffen Priebe	Hierarchical Master-Worker Skeletons.	PADL	2008	DBLP DOI BibTeX RDF
20	Tina Mattes, Frank Schiller, Annemarie Mörwald, Thomas Honold	Analysis of Nested CRC with Additional Net Data in Communication.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Cyclic Redundancy Check, Residual error probability, Safety-critical communication
20	Yong He 0003, Sixin Xu, Kejun Zhu, Ting Liu, Yue Li	A Genetic-Neural Method of Optimizing Cut-Off Grade and Grade of Crude Ore.	ISNN (2)	2008	DBLP DOI BibTeX RDF	Genetic-neural optimization, Cut-off grade, Grade of crude ore
20	Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen	Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving.	FMICS	2008	DBLP DOI BibTeX RDF
20	David Aspinall 0001, Ewen Denney, Christoph Lüth	A Tactic Language for Hiproofs.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
20	Yang Zhao, John Boyland	A Fundamental Permission Interpretation for Ownership Types.	TASE	2008	DBLP DOI BibTeX RDF	Ownership, Permission
20	Vaidas Gasiunas, Mira Mezini, Klaus Ostermann	Dependent classes.	OOPSLA	2007	DBLP DOI BibTeX RDF	dependent classes, variability, dynamic dispatch, multimethods, multiple dispatch, virtual classes
20	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
20	Li Li 0020, Allen D. Malony	Automatic Performance Diagnosis of Parallel Computations with Compositional Models.	IPDPS	2007	DBLP DOI BibTeX RDF
20	Taher Naser, Keivan Kianmehr, Reda Alhajj, Mick J. Ridley	Transforming Object-Oriented Databases into XML.	IRI	2007	DBLP DOI BibTeX RDF
20	Soumyaroop Roy, Srinivas Katkoori, Nagarajan Ranganathan	A Compiler Based Leakage Reduction Technique by Power-Gating Functional Units in Embedded Microprocessors.	VLSI Design	2007	DBLP DOI BibTeX RDF
20	Carlo A. Furia, Matteo Rossi	On the Expressiveness of MTL Variants over Dense Time.	FORMATS	2007	DBLP DOI BibTeX RDF
20	Chengfei Liu, Millist W. Vincent, Jixue Liu	Constraint Preserving Transformation from Relational Schema to XML Schema.	World Wide Web	2006	DBLP DOI BibTeX RDF	XML, relational databases, XML schema, schema transformation
20	Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng Shih 0001, Chang-Gun Lee, Lui Sha	Finite-horizon scheduling of radar dwells with online template construction.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	Radar dwell scheduling, Finite horizon, Real-time scheduling, Energy constraints