The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Nesting with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1962-1982 (18) 1983-1987 (17) 1988-1989 (16) 1990-1992 (20) 1993-1995 (26) 1996-1997 (21) 1998-1999 (23) 2000 (22) 2001 (18) 2002 (27) 2003 (33) 2004 (46) 2005 (44) 2006 (46) 2007 (47) 2008 (55) 2009 (36) 2010 (21) 2011-2013 (23) 2014-2015 (18) 2016 (18) 2017 (15) 2018 (18) 2019 (15) 2020 (21) 2021 (17) 2022-2023 (29) 2024 (6)
Publication types (Num. hits)
article(261) incollection(1) inproceedings(453) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 564 occurrences of 436 keywords

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