|
|
Venues (Conferences, Journals, ...)
|
|
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 |
107 | Peter A. Buhr, C. Robert Zarnke |
Nesting in an Object-Oriented Language is NOT for the Birds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, Proceedings, pp. 128-145, 1988, Springer, 3-540-50053-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based and Intelligent Information and Engineering Systems, 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part I, pp. 103-111, 2009, Springer, 978-3-642-04594-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
binary quantization, knowledge based system, nesting |
69 | G. Ramalingam |
On loops, dominators, and dominance frontiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 24(5), pp. 455-490, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![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. 68-78, 2007, ACM, 978-1-59593-602-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 963-967, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 23(1), pp. 9-20, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 557-558, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 21-23 April 1999, Napa, CA, USA, pp. 168-, 1999, IEEE Computer Society, 0-7695-0375-6. The full citation details ...](Pics/full.jpeg) |
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 . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II, pp. 309-318, 2006, Springer, 3-540-34072-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
59 | Qi Ning, Vincent Van Dongen, Guang R. Gao |
Automatic data and computation decomposition for distributed memory 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. 103-112, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 70-81, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
58 | Yossi Lev, Jan-Willem Maessen |
Split hardware transactions: true nesting of transactions using best-effort hardware 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. 197-206, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2010, Bangalore, India, January 9-14, 2010, pp. 91-100, 2010, ACM, 978-1-60558-877-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIRS ![In: Information Retrieval Technology, Third Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006, Proceedings, pp. 187-204, 2006, Springer, 3-540-45780-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Bo Liu 0002, Zhifeng Hao, Xiaowei Yang |
Nesting Algorithm for Multi-Classification Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(4), pp. 383-389, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 448-455, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(3), pp. 154-159, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (1) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 1: Artificial Intelligence, December 12-14, 2008, Wuhan, China, pp. 124-127, 2008, IEEE Computer Society, 978-0-7695-3336-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Paul Havlak |
Nesting of Reducible and Irreducible Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(4), pp. 557-567, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
reducible loops, strongly-connected regions |
40 | Javier Martín, Gaspar Mayor, Jaume Monreal |
Nestings of T-Conorms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Applications, 8th International Workshop, WILF 2009, Palermo, Italy, June 9-12, 2009, Proceedings, pp. 52-59, 2009, Springer, 978-3-642-02281-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD (Selected Papers) ![In: Computer Supported Cooperative Work in Design IV, 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers, pp. 608-619, 2007, Springer, 978-3-540-92718-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XSym ![In: Database and XML Technologies, 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings, pp. 165-179, 2009, Springer, 978-3-642-03554-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Can Adam Albayrak, Thomas Noll 0001 |
The WHILE Hierarchy of Program Schemes Is Infinite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 35-47, 1998, Springer, 3-540-64300-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Matti O. Jokinen |
The Effect of Parameter Passing and Other Implementation Dependent Mechanisms is Undecedable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 17(9), pp. 16-17, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
39 | Gebhard Greiter |
Remarks on Language Concepts for specifying Process Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 17(9), pp. 58-61, 1982. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 2(1), pp. 33-52, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Fourth Annual ACM/SIGACT-SIAM Symposium on Discrete Algorithms, 25-27 January 1993, Austin, Texas, USA., pp. 251-259, 1993, ACM/SIAM, 0-89791-562-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN X, 10th International Conference Dortmund, Germany, September 13-17, 2008, Proceedings, pp. 438-447, 2008, Springer, 978-3-540-87699-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Thomas Colcombet, Christof Löding |
The Nesting-Depth of Disjunctive µ-Calculus for Tree Languages and the Limitedness Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 416-430, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Jeffrey Horn |
Coevolving species for shape nesting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2005, 2-4 September 2005, Edinburgh, UK, pp. 1800-1807, 2005, IEEE, 0-7803-9363-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Perspectives in Conceptual Modeling, ER 2005 Workshops AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings, pp. 12-22, 2005, Springer, 3-540-29395-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Jean Flower, John Howse, John Taylor 0001 |
Nesting in Euler Diagrams: syntax, semantics and construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(1), pp. 55-67, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 37(1), pp. 111-131, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Denis Thérien, Thomas Wilke |
Nesting Until and Since in Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings, pp. 455-464, 2002, Springer, 3-540-43283-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Edmund K. Burke, Graham Kendall |
Applying Ant Algorithms and the No Fit Polygon to the Nesting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999, Proceedings, pp. 453-464, 1999, Springer, 3-540-66822-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 9(3), pp. 482-502, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
30 | Paul Kapinos, Dieter an Mey |
Parallel Simulation of Bevel Gear Cutting Processes with OpenMP Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOMP ![In: Evolving OpenMP in an Age of Extreme Parallelism, 5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009, Proceedings, pp. 1-14, 2009, Springer, 978-3-642-02284-5. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
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. ![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 |
30 | Huaglory Tianfield |
Structuring of Large-scale Complex Hybrid Systems: from Illustrative Analysis toward Modelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 30(2), pp. 179-208, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 10th Computer Security Foundations Workshop (CSFW '97), June 10-12, 1997, Rockport, Massachusetts, USA, pp. 84-95, 1997, IEEE Computer Society, 0-8186-7990-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Proceedings of the Second IFCIS International Conference on Cooperative Information Systems, Kiawah Island, South Carolina, USA, June 24-27, 1997, Sponsored by IFCIS, The Intn'l Foundation on Cooperative Information Systems, pp. 193-202, 1997, IEEE Computer Society, 0-8186-7946-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 29-31 October 1997, Tunis, Tunisia, Proceedings, pp. 208-215, 1997, IEEE Computer Society, 0-8186-8153-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2nd International Workshop on Real-Time Computing Systems and Applications, October 25 - 27, 1995, Tokyo, Japan, pp. 160-167, 1995, IEEE Computer Society, 0-8186-7106-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 61-68, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(12), pp. 1289-1295, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(3), pp. 264-270, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(1), pp. 30-37, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(8), pp. 1116-1121, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DESRIST ![In: Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2009, Philadelphia, Pennsylvania, USA, May 7-8, 2009, 2009, ACM, 978-1-60558-408-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, pp. 48-61, 2008, Springer, 978-3-540-87802-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | 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 |
30 | Jae-Kwon Seo, Sung-Hyun Nam, Kyung-Geun Lee |
Fast Route Optimization for Dynamic Nested NEMO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 2007 International Conference on Parallel Processing Workshops (ICPP Workshops 2007), 10-14 September 2007, Xi-An, China, pp. 49, 2007, IEEE Computer Society, 978-0-7695-2934-9. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
30 | Antonín Kucera 0001, Jan Strejcek |
The stuttering principle revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 41(7-8), pp. 415-434, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Jesper Jansson 0001, Wing-Kin Sung |
The Maximum Agreement of Two Nested Phylogenetic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings, pp. 581-593, 2004, Springer, 3-540-24131-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Isabel F. Cruz, Huiyong Xiao, Feihong Hsu |
An Ontology-Based Framework for XML Semantic Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 8th International Database Engineering and Applications Symposium (IDEAS 2004), 7-9 July 2004, Coimbra, Portugal, pp. 217-226, 2004, IEEE Computer Society, 0-7695-2168-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Philipp Gerhardy |
Refined Complexity Analysis of Cut Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 212-225, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Ugur Dogrusöz, Burkay Genç |
A Framework for Complexity Management in Graph Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002, Revised Papers, pp. 368-369, 2002, Springer, 3-540-00158-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Nicolas J. Cerf, Lov K. Grover, Colin P. Williams |
Nested Quantum Search and NP-Hard Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 10(4/5), pp. 311-338, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Combinatorial search problems, Quantum computation, NP-hard problems, Quantum algorithms |
30 | G. Ramalingam |
Identifying Loops in Almost Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 21(2), pp. 175-188, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
irreducible flowgraphs, loops |
30 | Danilo P. Mandic, Jonathon A. Chambers |
Toward an optimal PRNN-based nonlinear predictor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 10(6), pp. 1435-1442, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Scott Moore, Ronald Curtis |
A Study of the Prather Software Metric (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 408, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Pascal |
30 | Won Kim 0001 |
On Optimizing an SQL-like Nested Query. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 7(3), pp. 443-469, 1982. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 18(3), pp. 11:1-11:27, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 220-243, 2009, Springer, 978-3-642-03012-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Jeffrey Horn |
Optimal Nesting of Species for Exact Cover of Resources: Two Against One. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCI ![In: Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, FOCI 2007, part of the IEEE Symposium Series on Computational Intelligence 2007, Honolulu, Hawaii, USA, 1-5 April 2007, pp. 322-330, 2007, IEEE, 1-4244-0703-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
|
28 | James Laird |
The Elimination of Nesting in SPCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, pp. 234-245, 2005, Springer, 3-540-25593-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Cristina Ribeiro 0001, Maria Antónia Carravilla |
A Global Constraint for Nesting Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings, pp. 256-270, 2004, Springer, 3-540-21836-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
Complexity of Nesting Analysis in Mobile Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 86-101, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIPS ![In: High-Level Parallel Programming Models and Supportive Environments, 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001, Proceedings, pp. 71-85, 2001, Springer, 3-540-41944-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Trenchard More Jr. |
Transfinite Nesting in Array-Theoretic Figures, Changes, Rigs, and Arms, Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the International Conference on APL 1993, Toronto, Ontario, Canada, August 15-19, 1993., pp. 170-184, 1993, ACM, 0-89791-612-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29 - July 3, 1992, Proceedings, pp. 170-184, 1992, Springer, 3-540-55668-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
28 | Matthias Jarke, Jürgen Koch |
Range Nesting: A Fast Method to Evaluate Quantified Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD'83, Proceedings of Annual Meeting, San Jose, California, USA, May 23-26, 1983., pp. 196-206, 1983, ACM Press, 978-0-89791-104-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
20 | Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young |
Transactions with isolation and cooperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 191-210, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 19(1), pp. 56-65, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Geometric Feature Mating, Containment, Packing, Nesting, Convex Decomposition |
20 | Harold N. Gabow |
Using Expander Graphs to Find Vertex Connectivity. ![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. 410-420, 2000, IEEE Computer Society, 0-7695-0850-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 8(4), pp. 596-603, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 37th Annual Symposium on Foundations of Computer Science, FOCS '96, Burlington, Vermont, USA, 14-16 October, 1996, pp. 256-263, 1996, IEEE Computer Society, 0-8186-7594-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989, pp. 314-319, 1989, IEEE Computer Society, 0-8186-1982-1. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
20 | Luke Dalessandro, Michael F. Spear, Michael L. Scott |
NOrec: streamlining STM by abolishing ownership records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2010, Bangalore, India, January 9-14, 2010, pp. 67-78, 2010, ACM, 978-1-60558-877-3. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
20 | Yang Zhao, John Boyland |
Assuring Lock Usage in Multithreaded Programs with Fractional Permissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Gold Cost, Australia, pp. 277-286, 2009, IEEE Computer Society, 978-0-7695-3599-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Rania Khalaf, Dieter Roller 0001, Frank Leymann |
Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I, pp. 286-303, 2009, Springer, 978-3-642-05147-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 248-264, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings, pp. 126-138, 2008, Springer, 978-3-540-87697-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II, pp. 588-597, 2008, Springer, 978-3-540-87733-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 85-102, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | David Aspinall 0001, Ewen Denney, Christoph Lüth |
A Tactic Language for Hiproofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, pp. 339-354, 2008, Springer, 978-3-540-85109-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Yang Zhao, John Boyland |
A Fundamental Permission Interpretation for Ownership Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 65-72, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ownership, Permission |
20 | Vaidas Gasiunas, Mira Mezini, Klaus Ostermann |
Dependent classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 133-152, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
|
20 | Li Li 0020, Allen D. Malony |
Automatic Performance Diagnosis of Parallel Computations with Compositional Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-8, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Taher Naser, Keivan Kianmehr, Reda Alhajj, Mick J. Ridley |
Transforming Object-Oriented Databases into XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the IEEE International Conference on Information Reuse and Integration, IRI 2007, 13-15 August 2007, Las Vegas, Nevada, USA, pp. 600-605, 2007, IEEE Systems, Man, and Cybernetics Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India, pp. 215-220, 2007, IEEE Computer Society, 0-7695-2762-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Carlo A. Furia, Matteo Rossi |
On the Expressiveness of MTL Variants over Dense Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, pp. 163-178, 2007, Springer, 978-3-540-75453-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Chengfei Liu, Millist W. Vincent, Jixue Liu |
Constraint Preserving Transformation from Relational Schema to XML Schema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Wide Web ![In: World Wide Web 9(1), pp. 93-110, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 33(1-3), pp. 47-75, 2006. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|