|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1139 occurrences of 718 keywords
|
|
|
Results
Found 1704 publication records. Showing 1704 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | Mihnea Marinescu, Benjamin Goldberg |
Partial-Evaluation Techniques for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 47-62, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
concurrency, CSP, CSP, partial evaluation, nondeterminism, binding-time analysis |
32 | Baris Aktemur, Sam Kamin |
A comparative study of techniques to write customizable libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 522-529, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
library specialization, program generation, feature-oriented programming |
32 | Dominique Chanet, Bjorn De Sutter, Bruno De Bus, Ludo Van Put, Koen De Bosschere |
Automated reduction of the memory footprint of the Linux kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 6(4), pp. 23, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
operating system, compression, compaction, specialization, system calls, Linux kernel |
32 | Eli Mayfield, John Kyle Roth, Daniel Selifonov, Nathan Dahlberg, Elena Machkasova |
Optimizing java programs using generic types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 829-830, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
java, specialization, generic types |
32 | Prabhanjan Kambadur, Douglas P. Gregor, Andrew Lumsdaine |
Parallelization of Generic Libraries Based on Type Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I, pp. 620-627, 2007, Springer, 978-3-540-72583-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Type Properties, Parallel Algorithms, Specialization |
32 | Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August |
A framework for unrestricted whole-program optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 61-71, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
interprocedural optimization, procedure unification, region encapsulation, region formation, whole-program analysis, whole-program optimization, specialization, interprocedural analysis, inlining, path-sensitive analysis, superblock, region-based compilation |
32 | Toshio Suganuma, Toshiaki Yasue, Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani |
Design and evaluation of dynamic optimizations for a Java just-in-time compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 27(4), pp. 732-785, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Recompilation, code specialization, profile-directed method inlining, dynamic compilation, JIT compiler, adaptive optimization |
32 | Laureano González-Vega, Carlo Traverso, Alberto Zanoni |
Hilbert Stratification and Parametric Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 220-235, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Gröbner bases, Hilbert function, Specialization |
32 | Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi |
Distinctness and Sharing Domains for Static Analysis of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings, pp. 77-98, 2001, Springer, 3-540-42206-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Static Analysis, Abstract Interpretation, Program Specialization, Type Analysis |
32 | Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman |
An inheritance-based technique for building simulation proofs incrementally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 478-487, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
interface extension, specialization by inheritance, system modeling/verification, simulation, refinement |
32 | Yingchun Zhu, Laurie J. Hendren |
Locality Analysis for Parallel C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1997 Conference on Parallel Architectures and Compilation Techniques (PACT '97), San Francisco, CA, USA, October 11-15, 1997, pp. 2-13, 1997, IEEE Computer Society, 0-8186-8090-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
parallel C programs, parallel C dialect, EARTH-C, type inference algorithms, fast points-to analysis, indirect reference, automatic specialization, EARTH-C compiler, low level threaded code, EARTH-C multithreaded architecture, dynamically allocated data structures, parallel programming, parallel architectures, memory model, compiler techniques, parallel performance, locality analysis, remote memory accesses |
32 | Peter Thiemann 0001 |
Implementing Memoization for Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings, pp. 198-212, 1996, Springer, 3-540-61756-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
incremental specialization, termination of partial evaluation, reflection, partial evaluation, automatic program transformation |
32 | Denis Béchet |
Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings, pp. 77-91, 1996, Springer, 3-540-61055-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
alternative values, strongly-typed language, interpreters, partial evaluation, type specialization |
31 | M. Ani Hsieh, Ádám M. Halász, Ekin Dogus Cubuk, Samuel S. Schoenholz, Alcherio Martinoli |
Specialization as an optimal strategy under varying external conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 1941-1946, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | John H. Reppy, Yingqi Xiao |
Specialization of CML message-passing primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 315-326, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
static analysis, message passing, ML, concurrent languages |
31 | Nancy R. Mead, Thomas B. Hilburn, James McDonald, Michael Ryan, Daniel Shoemaker 0001 |
On the Feasibility of Specialization within Software Engineering Degree Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: 20th Conference on Software Engineering Education and Training (CSEE&T 2007), 3-5 July 2007, Dublin, Ireland, pp. 362-366, 2007, IEEE Computer Society, 0-7695-2893-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou |
An Effective Automated Approach to Specialization of Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers, pp. 308-322, 2007, Springer, 978-3-540-85260-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Arvind S. Krishna, Aniruddha S. Gokhale, Douglas C. Schmidt |
Context-specific middleware specialization techniques for optimizing software product-line architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, pp. 205-218, 2006, ACM, 1-59593-322-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
middleware, product lines, specializations |
31 | Ce Dong, James Bailey 0001 |
Optimization of XML Transformations Using Template Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems - WISE 2004, 5th International Conference on Web Information Systems Engineering, Brisbane, Australia, November 22-24, 2004, Proceedings, pp. 352-364, 2004, Springer, 3-540-23894-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Matthias Neubauer, Peter Thiemann 0001 |
Protocol Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings, pp. 246-261, 2004, Springer, 3-540-23724-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen |
Adaptable Concern-Based Framework Specialization in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria, pp. 78-87, 2004, IEEE Computer Society, 0-7695-2131-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Michael Schrefl, Markus Stumptner |
Behavior-consistent specialization of object life cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 11(1), pp. 92-148, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
invocation consistency, observation consistency, refinement, Conceptual modeling, inheritance, extension, object behavior |
31 | Marianne Huchard, Hernán Astudillo, Petko Valtchev |
MAnaging SPEcialization/Generalization HIerarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS Workshops ![In: Advances in Object-Oriented Information Systems, OOIS 2002 Workshops, Montpellier, France, September 2, 2002, Proceedings, pp. 1-2, 2002, Springer, 3-540-44088-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | James A. Reggia, Yuri Shkuro, Natalia Shevtsova |
Computational Investigation of Hemispheric Specialization and Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Emergent Neural Computational Architectures Based on Neuroscience ![In: Emergent Neural Computational Architectures Based on Neuroscience - Towards Neuroscience-Inspired Computing, pp. 68-82, 2001, Springer, 3-540-42363-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Hidehiko Masuhara, Akinori Yonezawa |
Run-Time Bytecode Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADO ![In: Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings, pp. 138-154, 2001, Springer, 3-540-42068-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal |
Specialization of Inductively Sequential Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 273-283, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Improving Control in Functional Logic Program Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 262-277, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Robert Glück, John Hatcliff, Jesper Jørgensen |
Generalization in Hierarchies of Online Program Specialization Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 179-198, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers |
Annotation-Directed Run-Time Specialization in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 163-178, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
C |
31 | Robert Glück, Jesper Jørgensen |
Fast Binding-Time Analysis for Multi-Level Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings, pp. 261-272, 1996, Springer, 3-540-62064-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
generating extensions, program transformation, program analysis, partial evaluation, functional languages |
31 | Robert Glück, Jesper Jørgensen |
Efficient Multi-level Generating Extensions for Program Specialization ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings, pp. 259-278, 1995, Springer, 3-540-60359-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Liisa Räihä |
Delegation: Dynamic Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11, 1994, Baltimore, Maryland, USA., pp. 172-179, 1994, ACM, 0-89791-666-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Ada |
31 | John C. Mitchell |
Toward a Typed Foundation for Method Specialization and Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990, pp. 109-124, 1990, ACM Press, 0-89791-343-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
31 | Sapan Bhatia, Charles Consel, Calton Pu |
Remote customization of systems code for embedded devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings, pp. 7-15, 2004, ACM, 1-58113-860-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
remote customization, remote specialization, specialization server |
31 | Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |
On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIA-PEPM ![In: Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002, pp. 32-46, 2002, ACM, 1-58113-458-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Knuth-Morris-Pratt string matching, data specialization, program specialization, trace semantics |
31 | Arun Chauhan 0001, Ken Kennedy |
Optimizing strategies for telescoping languages: procedure strength reduction and procedure vectorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 15th international conference on Supercomputing, ICS 2001, Sorrento, Napoli, Italy, June 16-21, 2001, pp. 92-101, 2001, ACM, 1-58113-410-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
procedure specialization, reduction in strength, telescoping languages, high-performance computing, vectorization, partial evaluation, Matlab, scripts, high-level languages, specialization, automatic differentiation |
30 | Akshay Dabholkar, Aniruddha S. Gokhale |
Middleware Specialization for Product-Lines Using Feature-Oriented Reverse Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Seventh International Conference on Information Technology: New Generations, ITNG 2010, Las Vegas, Nevada, USA, 12-14 April 2010, pp. 696-701, 2010, IEEE Computer Society, 978-0-7695-3984-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Middleware, Reverse Engineering, Product-line, Specialization, Closure, Feature Oriented Programming, Footprint |
30 | Michael Priestley, David Schell |
Specialization in DITA: technology, process, & policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 20st annual international conference on Documentation, SIGDOC 2002, Toronto, Ontario, Canada, October 20-23, 2002, pp. 164-176, 2002, ACM, 1-58113-543-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Darwin, XML architectures, information typing, ontologies, XML, policy, process, information management, XSLT, information architecture, domains, specialization, DITA |
30 | Kazuhiro Ogata 0001, Shigenori Ioroi, Kokichi Futatsugi |
Optimizing Term Rewriting Using Discrimination Nets With Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1999 ACM Symposium on Applied Computing, SAC'99, San Antonio, Texas, USA, February 28 - March 2, 1999, pp. 511-518, 1999, ACM, 1-58113-086-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
discrimination nets, optimization, term rewriting, specialization |
30 | Germán Puebla, Manuel V. Hermenegildo |
Implementation of Multiple Specialization in Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, La Jolla, California, USA, June 21-23, 1995, pp. 77-87, 1995, ACM Press, 0-89791-720-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
compile-time analysis, multiple program specialization, optimization, multimedia, distributed computing, logic programming, graphical user interfaces, reconfiguration, abstract interpretation, direct manipulation, user interface management system |
30 | Christian S. Jensen, Richard T. Snodgrass |
Temporal Specialization and Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(6), pp. 954-974, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
temporal specialization, temporal generalization, specialized temporal relations, time attributes, restricted interrelationships, interconnected temporal relations, multiple time dimensions, generalized temporal relations, predecessor relation querying, successor relation, query processing performance, data structures, semantics, query processing, taxonomy, transaction processing, database theory, temporal databases, temporal database, generalisation (artificial intelligence), tuples, transaction time, valid time, temporal data models, temporal semantics |
30 | Michael Jackson 0001 |
Problems, Methods and Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(6), pp. 57-62, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
software methods, software problems, software specialization, specialized software engineering branches, software engineering, software development, engineering |
29 | Victor Perez 0001, Victor Lomüller, Lukas Sommer, Julian Oppermann, Romain Biessy, Tadej Ciglaric, Mehdi Goli 0001 |
On Demand Specialization of SYCL Kernels with Specialization Constant Length Allocations (SCLA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOCL ![In: Proceedings of the 12th International Workshop on OpenCL and SYCL, IWOCL 2024, Chicago, IL, USA, April 8-11, 2024, pp. 21:1-21:2, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
29 | Vera A. Kazakova, Annie S. Wu |
Specialization versus Re-Specialization: Effects of Hebbian Learning in a Dynamic Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018, Melbourne, Florida, USA. May 21-23 2018., pp. 354-359, 2018, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Teruhisa Hochin, Hiroki Nomiya |
Inner Specialization and Generalization in Semantic Specialization and Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIAI-AAI ![In: 2013 Second IIAI International Conference on Advanced Applied Informatics, IIAI-AAI 2013, Matsue, Japan, August 31 - Sept. 4, 2013, pp. 349-354, 2013, IEEE Computer Society, 978-0-7695-5071-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Rui Zhang 0035, Saumya Debray, Richard T. Snodgrass |
Micro-specialization: dynamic code specialization of database management systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: 10th Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2012, San Jose, CA, USA, March 31 - April 04, 2012, pp. 63-73, 2012, ACM, 978-1-4503-1206-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Rui Zhang 0035 |
Micro-Specialization: Dynamic Code Specialization in DBMSes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
29 | Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou |
Hybrid Specialization: A Trade-off Between Static and Dynamic Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), Brasov, Romania, September 15-19, 2007, pp. 415, 2007, IEEE Computer Society, 0-7695-2944-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | George M. Wyner, Jintae Lee |
Process Specialization: Defining Specialization for State Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Organ. Theory ![In: Comput. Math. Organ. Theory 8(2), pp. 133-155, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Hang Su, Husheng Liao |
XQPE: A Partial Evaluation System for XQuery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 347-354, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
reference-sensitivity analysis, partial evaluation, XQuery, binding-time analysis |
25 | Peter Thiemann 0001, Matthias Neubauer |
Macros for context-free grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain, pp. 120-130, 2008, ACM, 978-1-60558-117-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Maurice H. T. Ling, Christophe Lefèvre, Kevin R. Nicholas, Feng Lin 0002 |
Reconstruction of Protein-Protein Interaction Pathways by Mining Subject-Verb-Objects Intermediates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIB ![In: Pattern Recognition in Bioinformatics, Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings, pp. 286-299, 2007, Springer, 978-3-540-75285-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
biomedical literature analysis, monty lingua, protein-protein interaction |
25 | Sebastian Fischer 0001, Josep Silva, Salvador Tamarit, Germán Vidal |
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers, pp. 74-89, 2007, Springer, 978-3-540-78768-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Dhruva R. Chakrabarti, Shin-Ming Liu |
Inline Analysis: Beyond Selection Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Fourth IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2006), 26-29 March 2006, New York, New York, USA, pp. 221-232, 2006, IEEE Computer Society, 0-7695-2499-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Jeremy G. Siek, Walid Taha |
A Semantic Analysis of C++ Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings, pp. 304-327, 2006, Springer, 3-540-35726-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Peter H. Jones |
Minding your user's business. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interactions ![In: Interactions 12(6), pp. 39-41, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov |
Partial Evaluation for Common Intermediate Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, pp. 171-177, 2003, Springer, 3-540-20813-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
polyvariant Binding-Time Analysis, mutable objects, Common Intermediate Language, Program transformation, Partial Evaluation, object-oriented languages |
25 | Andrei P. Nemytykh |
A note on elimination of simplest recursions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIA-PEPM ![In: Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002, pp. 138-146, 2002, ACM, 1-58113-458-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
refal, functional programming languages, automatic program transformation |
25 | Sebastian Link |
Consistency Enforcement in Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics in Databases ![In: Semantics in Databases, Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers, pp. 139-159, 2001, Springer, 3-540-00957-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Anders Bondorf |
Improving Binding Times Without Explicit CPS-Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the Conference on Lisp and Functional Programming, LFP 1992, San Francisco, California, USA, 22-24 June 1992., pp. 1-10, 1992, ACM, 0-89791-481-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
SCHEME |
25 | Yannis E. Ioannidis, Miron Livny |
Data Modeling in DeLAB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 1-3, 1988., pp. 200, 1988, ACM Press, 978-0-89791-268-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Jae-Woo Kim |
Evolutionary learning in networked multi-agent organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, Companion Material, pp. 2007-2010, 2010, ACM, 978-1-4503-0073-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
genetic algorithms, network topology, agent-based modeling, specialization, organizational culture, netlogo |
24 | Muhammad Adeel Pasha, Steven Derrien, Olivier Sentieys |
A complete design-flow for the generation of ultra low-power WSN node architectures based on micro-tasking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 693-698, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
WSN node, hardware specialization, microcoded architecture, low-power design |
24 | Albert Cohen 0001, Erven Rohou |
Processor virtualization and split compilation for heterogeneous multicore embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 102-107, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
back-end optimization, bytecode language, heterogeneous multicore, portable performance, split compilation, virtualization, annotations, vectorization, specialization |
24 | Goh Kondoh, Hideaki Komatsu |
Dynamic binary translation specialized for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 6th International Conference on Virtual Execution Environments, VEE 2010, Pittsburgh, Pennsylvania, USA, March 17-19, 2010, pp. 157-166, 2010, ACM, 978-1-60558-910-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
embedded systems, partial evaluation, specialization, dynamic binary translation |
24 | Peishun Liu, Xuefang Wang |
Identification of Malicious Web Pages by Inductive Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISM ![In: Web Information Systems and Mining, International Conference, WISM 2009, Shanghai, China, November 7-8, 2009. Proceedings, pp. 448-457, 2009, Springer, 978-3-642-05249-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Malicious detection, generalization, specialization, inductive learning, drive-by downloads |
24 | Robert Glück |
Is there a fourth Futamura projection? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 51-60, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Futamura projections, cogen approach, generator self-generation, domain-specific languages, bootstrapping, program specialization, compiler generators, self-application |
24 | Rebeca Schroeder 0001, Ronaldo dos Santos Mello |
Conversion of generalization hierarchies and union types from extended entity-relationship model to an XML logical model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1036-1037, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
EER, generalization/specialization, XML schemas, union types |
24 | Alcino Cunha, Joost Visser 0001 |
Transformation of structure-shy programs: applied to XPath queries and strategic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007, pp. 11-20, 2007, ACM, 978-1-59593-620-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
XML query languages, algebraic program transformation, point-free program calculation, strategic functional programming, type generalization, type specialization |
24 | Andrei V. Klimov |
Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers, pp. 248-259, 2006, Springer, 978-3-540-70880-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
specification, correctness, partial evaluation, specialization, driving, natural semantics, supercompilation, program equivalence |
24 | Yasushi Shinjo, Calton Pu |
Achieving Efficiency and Portability in Systems Software: A Case Study on POSIX-Compliant Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(9), pp. 785-800, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
runtime specialization, thread-specific data, Performance, concurrent programming, threads, portability, software libraries |
24 | Niels H. Christensen, Robert Glück |
Offline partial evaluation can be as accurate as online partial evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(1), pp. 191-220, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
offline partial evaluation, online partial evaluation, generalization, metacomputation, program specialization, constant propagation, Binding-time analysis |
24 | Manish Vachharajani, Neil Vachharajani, David I. August |
The liberty structural specification language: a high-level modeling language for component reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004, pp. 195-206, 2004, ACM, 1-58113-807-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Liberty Structural Specification (LSS), simulator construction, use-based specialization, type inference, component reuse, structural modeling, Liberty Simulation Environment (LSE) |
24 | Edwin D. de Jong, Jordan B. Pollack |
Learning the Ideal Evaluation Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I, pp. 274-285, 2003, Springer, 3-540-40602-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Complete Evaluation Set, ideal evaluation, underlying objectives, Pareto-hillclimber, over-specialization, Coevolution, Pareto-Coevolution |
24 | Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers |
The benefits and costs of DyC's run-time optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(5), pp. 932-972, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
specialization, dynamic compilation |
24 | Dominique Colnet, Luigi Liquori |
Match-O, A Dialect of Eiffel with Match-Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 190-201, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Match-O, Eiffel dialect, covariant redefinition, system-level validity rules, match types, method specialization, anchored type, type unsoundness, smallEiffel source code, compiler, program compilers, object-oriented languages, abstract data types, subtyping, type safety, binary methods, Current |
24 | Hassan Gomaa, Shaoying Liu, Michael E. Shin |
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 61-71, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
domain modeling method, families of systems, SOFL formal specification language, multiple view object oriented analysis model, aggregation hierarchies, generalization/specialization hierarchies, UML static modeling notation, object communication diagrams, SOFL condition data flow diagram notation, variant classes, specification languages, application domain |
24 | Abhik Roychoudhury, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, R. Sekar 0001 |
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: Proceedings of the 1998 International Conference on Computer Languages, ICCL 1998, Chicago, IL, USA, May 14-16, 1998, pp. 196-205, 1998, IEEE Computer Society, 0-8186-8454-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Optimization of Logic Programs, Program Specialization, Determinacy |
24 | Andreas Hamfelt, Jørgen Fischer Nilsson |
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 143-158, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
logic program schemata, logical combinators, synthesis by composition and specialization of schemas, inductive synthesis, metalogic program environment |
24 | Stefan Covaci, Tianning Zhang, Ingo Busse |
Java-Based Intelligent Mobil Agents for Open System Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 492-501, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Java based intelligent mobile agents, open system management, telecommunications environments, Java based mobile agent platform, mobile management agents, mobility framework, intelligence platform, management solution knowledge, Java based rules, specialization/generalization relationships, intelligence paradigm, knowledge processing mechanism, widely distributed telecommunications environment, network management solutions, specification, service management, computer network management, object oriented development |
24 | Renaud Marlet, Scott Thibault, Charles Consel |
Mapping Software Architectures to Efficient Implementations via Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 183-192, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
code size overhead, inefficiency, flexible mechanisms, generic libraries, software engineering, software engineering, software architectures, pattern matching, interpreters, generic programs, partial evaluation, layers, program specialization, selective broadcast |
24 | Ling Liu, Robert Meersman |
The Building Blocks for Specifying Communication Behavior of Complex Objects: An Activity-Driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 21(2), pp. 157-207, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
activity aggregation, activity specialization, synchronization schemes, object-oriented databases, activity patterns, communication behavior, first-order temporal logic |
24 | Jean-Marie Favre |
Preprocessors from an Abstract Point of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 3rd Working Conference on Reverse Engineering, WCRE '96, Monterey, CA, USA, November 8-10, 1996, pp. 287-296, 1996, IEEE Computer Society, 0-8186-7674-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
program preprocessors, software maintenance problems, software variants, complex preprocessor files, problem comprehension, Champollion/APP, preprocessor maintenance, software tools, abstractions, program slicing, C language, program specialization, interprocedural data flow analysis, program processors, CPP |
24 | Kouki Nakanishi, Takashi Arano, Makoto Imase |
A metric for evaluating class library interfaces and its application to library upgrades. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 12-19, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
class library interface evaluation metric, library upgrades, polymorphic operations, approximating equation, word frequency, InterViews C++ class library, abstract classes, metric value, specialized-functional extension classes, data structures, object-oriented programming, software maintenance, software metrics, generalization, natural language, object-oriented languages, abstract data types, libraries, software libraries, specialization, Zipf's law |
24 | Mahadev Satyanarayanan |
The Influence of Scale on Distributed File System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(1), pp. 1-8, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
client caching, distributed file system design, Andrew, token-based mutual authentication, functional specialization, security, scalability, distributed processing, file organisation, hierarchical organization, protection domain, Coda, bulk data transfer |
24 | Fosca Giannotti, Manuel V. Hermenegildo |
A Technique for Recursive Invariance Detection and Selective Program Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 323-334, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming |
23 | |
Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 2746, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz |
Trace-based just-in-time type specialization for dynamic languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 465-478, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
trace-based compilation, dynamically typed languages |
23 | Emmanuel Daucé |
A Model of Neuronal Specialization Using Hebbian Policy-Gradient with "Slow" Noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2009, 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part I, pp. 218-228, 2009, Springer, 978-3-642-04273-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Søren Debois |
Imperative-program transformation by instrumented-interpreter specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 21(1-2), pp. 37-58, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Interpretive approach, Moore automata, Program transformation, Partial evaluation, Code duplication |
23 | Ellen Francine Barbosa, José Carlos Maldonado |
Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 503-518, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Sebastian Stüker |
Modified polyphone decision tree specialization for porting multilingual Grapheme based ASR systems to new languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 4249-4252, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Hiroyuki Kido 0001, Masahito Kurihara |
Computational Dialectics Based on Specialization and Generalization - A New Reasoning Method for Conflict Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI ![In: New Frontiers in Artificial Intelligence, JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers, pp. 228-241, 2008, Springer, 978-3-642-00608-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Giovanni Guzmán, Serguei Levachkine, Miguel Torres Ruiz, Rolando Quintero, Marco Moreno 0001 |
Extraction and Specialization of Geo-spatial Objects in Geo-images Using Semantic Compression Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings, pp. 573-584, 2008, Springer, 978-3-540-88635-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Simone Burresi, Claudia Canali, M. Elena Renda, Paolo Santi |
MeshChord: A Location-Aware, Cross-Layer Specialization of Chord for Wireless Mesh Networks (concise contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 17-21 March 2008, Hong Kong, pp. 206-212, 2008, IEEE Computer Society, 978-0-7695-3113-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
peer-to-peer resource sharing, distributed hash tables, Wireless mesh networks, community networks, cross-layering |
23 | Karel Bruneel, Peter Bertels, Dirk Stroobandt |
A Method for Fast Hardware Specialization at run-time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007, pp. 35-40, 2007, IEEE, 1-4244-1060-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Dharmesh Thakkar, Carolina Ruiz, Elizabeth F. Ryder |
Hypothesis-Driven Specialization of Gene Expression Association Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2007, Silicon Valley, CA, USA, November 2-4, 2007, pp. 48-55, 2007, IEEE Computer Society, 0-7695-3031-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Ricardo Quintero, Vicente Pelechano |
Conceptual modeling of service composition using aggregation and specialization relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006, pp. 452-457, 2006, ACM, 1-59593-315-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
web services, UML, web applications, conceptual modeling |
23 | Martine De Cock, Chris Cornelis, Ming Ren, Guoqing Chen, Etienne E. Kerre |
Association Rule Based Specialization in ER Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Data Mining ![In: Intelligent Data Mining: Techniques and Applications, pp. 201-217, 2005, Springer, 978-3-540-26256-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Benjamin C. M. Fung, Ke Wang 0001, Philip S. Yu |
Top-Down Specialization for Information and Privacy Preservation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 21st International Conference on Data Engineering, ICDE 2005, 5-8 April 2005, Tokyo, Japan, pp. 205-216, 2005, IEEE Computer Society, 0-7695-2285-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1704 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|