Search results for "Specialization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
153	Geoff Nitschke, Martijn C. Schut, A. E. Eiben	Collective specialization in multi-rover systems.	GECCO	2007	DBLP DOI BibTeX RDF	emergence, artificial life, specialization, neuro-evolution
119	Sapan Bhatia, Charles Consel, Calton Pu	Remote specialization for efficient embedded operating systems.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Remote specialization, specialization server, performance analysis, compilers
97	Chia-Han Yang, Jou-Chen Chen, Joseph Z. Shyu	A Model Analysis of Industrial Specialization for Innovation Intensive Service: Case of Telematics Service Industry.	ICC	2008	DBLP DOI BibTeX RDF
97	Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel	Specialization Patterns.	ASE	2000	DBLP DOI BibTeX RDF
96	Ping Zhu, Siau-Cheng Khoo	Towards constructing reusable specialization components.	PEPM	2007	DBLP DOI BibTeX RDF	component-based software development, program specialization
88	Renaud Marlet, Charles Consel, Philippe Boinot	Efficient Incremental Run-Time Specialization for Free.	PLDI	1999	DBLP DOI BibTeX RDF
87	Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu	Importance of heap specialization in pointer analysis.	PASTE	2004	DBLP DOI BibTeX RDF	heap specialization, pointer analysis, context sensitivity
87	Armin Rigo	Representation-based just-in-time specialization and the psyco prototype for python.	PEPM	2004	DBLP DOI BibTeX RDF	just-in-time specialization, unlift, representation, python
87	Germán Puebla, Manuel V. Hermenegildo	Abstract specialization and its applications.	PEPM	2003	DBLP DOI BibTeX RDF	logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization
79	Ping Zhu, Siau-Cheng Khoo	Specialization for applications using shared libraries.	PEPM	2008	DBLP DOI BibTeX RDF	run-time specialization, shared libraries
79	Dylan McNamee, Jonathan Walpole, Calton Pu, Crispin Cowan, Charles Krasic, Ashvin Goel, Perry Wagle, Charles Consel, Gilles Muller, Renaud Marlet	Specialization tools and techniques for systematic optimization of system software.	ACM Trans. Comput. Syst.	2001	DBLP DOI BibTeX RDF	operating system specialization, optimization, software architecture
78	Gary Daugherty	Invited application paper: a proposal for the specialization of HA/DRE systems.	PEPM	2004	DBLP DOI BibTeX RDF	fast path, specialization model, specialization state, optimization, pattern, refactoring, partial evaluation, aspect
76	Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel	Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	semantics-based program manipulation, predictable partial evaluation, declaration of specialization opportunities, program specialization
72	Markku Hakala, Juha Hautamäki, Kai Koskimies, Jukka Paakki, Antti Viljamaa, Jukka Viljamaa	Annotating Reusable Software Architectures with Specialization Patterns.	WICSA	2001	DBLP DOI BibTeX RDF
71	Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa	Supporting objects in run-time bytecode specialization.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	program transformation, partial evaluation, specialization, object-oriented paradigm
71	Jung Gyu Park, Myong-Soon Park	Using indexed data structures for program specialization.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	staged computation optimization, partial evaluation, program specialization, automated software engineering
71	Michel Ferreira, Luís Damas	Multiple Specialization of WAM Code.	PADL	1999	DBLP DOI BibTeX RDF	Prolog Compilation, Code Specialization, Program Analysis
69	Helle Markmann Andersen, Ulrik Pagh Schultz	Declarative specialization for object-oriented-program specialization.	PEPM	2004	DBLP DOI BibTeX RDF	declarative specialization, Java, partial evaluation
64	Geoff Nitschke	Neuro-evolution Methods for Designing Emergent Specialization.	ECAL	2007	DBLP DOI BibTeX RDF
64	Geoff S. Nitschke, Martijn C. Schut, A. E. Eiben	Emergent specialization in the extended multi-rover problem.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
64	Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller	Towards Automatic Specialization of Java Programs.	ECOOP	1999	DBLP DOI BibTeX RDF
64	George M. Wyner, Jintae Lee	Applying specialization to process models.	COOCS	1995	DBLP DOI BibTeX RDF
64	Jeffrey Dean, Craig Chambers, David Grove	Selective Specialization for Object-Oriented Languages.	PLDI	1995	DBLP DOI BibTeX RDF
63	Anthony G. Cohn 0001, Christian Freksa, Bernhard Nebel	05491 Abstracts Collection -- Spatial Cognition: Specialization and Integration.	Spatial Cognition: Specialization and Integration	2005	DBLP BibTeX RDF
63	Christian Freksa	05491 Executive Summary -- Spatial Cognition: Specialization and Integration.	Spatial Cognition: Specialization and Integration	2005	DBLP BibTeX RDF
63	Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi	Type-based specialization of xml transformations.	PEPM	2009	DBLP DOI BibTeX RDF	types, xml, tree automata, program specialization
63	Siau-Cheng Khoo, Kun Shi	Program Adaptation via Output-Constraint Specialization.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	weakest pre-condition, partial evaluation, specialization
63	Siau-Cheng Khoo, Kun Shi	Output-constraint specialization.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	weakest pre-condition, partial evaluation, specialization
62	André Seznec, Eric Toullec, Olivier Rochecouste	Register write specialization register read specialization: a path to complexity-effective wide-issue superscalar processors.	MICRO	2002	DBLP DOI BibTeX RDF
58	Michael Leuschel	A framework for the integration of partial evaluation and abstract interpretation of logic programs.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	logic programming, program transformation, abstract interpretation, partial evaluation, flow analysis, Partial deduction
56	Minhaj Ahmad Khan, Henri-Pierre Charles	Applying Code Specialization to FFT Libraries for Integral Parameters.	LCPC	2006	DBLP DOI BibTeX RDF
56	Ulrik Pagh Schultz	A Unification of Inheritance and Automatic Program Specialization.	GPCE	2004	DBLP DOI BibTeX RDF
56	Jung Gyu Park, Myong-Soon Park	Automatic Specialization of Java Programs in the Distributed Environment.	ICOIN (2)	2002	DBLP DOI BibTeX RDF
56	John Boyland, Giuseppe Castagna	Type-Safe Compilation of Covariant Specialization: A Practical Case.	ECOOP	1996	DBLP DOI BibTeX RDF
54	Jaewook Shin, Mary W. Hall, Jacqueline Chame, Chun Chen 0002, Paul F. Fischer, Paul D. Hovland	Speeding up Nek5000 with autotuning and specialization.	ICS	2010	DBLP DOI BibTeX RDF	empirical performance tuning, specialization, autotuning
54	Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou	Optimizing code through iterative specialization.	SAC	2008	DBLP DOI BibTeX RDF	analysis and transformation, program optimization and specialization, programming languages implementation, compiling techniques
54	Geoff Nitschke, Martijn C. Schut	Designing multi-rover emergent specialization.	GECCO	2008	DBLP DOI BibTeX RDF	multi-rover, specialization, neuro-evolution
54	Alexei Lisitsa 0001, Andrei P. Nemytykh	A Note on Specialization of Interpreters.	CSR	2007	DBLP DOI BibTeX RDF	program verification, cache coherence protocols, Program specialization, supercompilation
54	André L. Santos 0001, Antónia Lopes, Kai Koskimies	Framework specialization aspects.	AOSD	2007	DBLP DOI BibTeX RDF	framework specialization, step-wise refinement, aspect-oriented programming, patterns, hot-spots
54	Stephen A. Edwards	Using program specialization to speed SystemC fixed-point simulation.	PEPM	2006	DBLP DOI BibTeX RDF	fixed-point simulation, prespec, tempo, Simulation, SystemC, program specialization
54	Simon Helsen, Peter Thiemann 0001	Polymorphic specialization for ML.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	regions, program specialization, Binding-time analysis
54	Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel	Automatic program specialization for Java.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Automatic program specialization, Java, optimization, partial evaluation, object-oriented languages
54	Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli	Software Specialization Via Symbolic Execution.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	environment-supporting specialization, generalized software components, reengineering technique, transformation tools, symbolic executor/simplifier, loop refolder, conceptual basis, Ada programming language, optimizer, Ada, software maintenance, software reuse, maintenance, software reusability, program compilers, symbolic execution, subroutines, interactive environment
49	Juan Carlos Saez, Manuel Prieto 0001, Alexandra Fedorova, Sergey Blagodurov	A comprehensive scheduler for asymmetric multicore systems.	EuroSys	2010	DBLP DOI BibTeX RDF	asymmetric multicore, scheduling, operating systems
48	Anthony G. Cohn 0001, Christian Freksa, Bernhard Nebel (eds.)	Spatial Cognition: Specialization and Integration, 04.12. - 09.12.2005	Spatial Cognition: Specialization and Integration	2007	DBLP BibTeX RDF
48	Christian Freksa, Alexander Klippel, Stephan Winter 0001	A Cognitive Perspective on Spatial Context.	Spatial Cognition: Specialization and Integration	2005	DBLP BibTeX RDF
48	Stefan Wölfl 0001, Till Mossakowski, Lutz Schröder	Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.	Spatial Cognition: Specialization and Integration	2005	DBLP BibTeX RDF
48	Christoph Flores	Processing networks for the classification of motion --- a proposal.	Spatial Cognition: Specialization and Integration	2005	DBLP BibTeX RDF
48	Benjamin Kuipers	05491 Report of the Session: The Role of Spatial Cognition for Robotics.	Spatial Cognition: Specialization and Integration	2005	DBLP BibTeX RDF
48	Thora Tenbrink	Methods for analyzing natural discourse: Investigating spatial language in HRI vs. in a no-feedback web study.	Spatial Cognition: Specialization and Integration	2005	DBLP BibTeX RDF
48	Jan Malte Wiener, Nicole N. Ehbauer, Hanspeter A. Mallot	Path planning and optimization in the traveling salesman problem: Nearest neighbor vs. region-based strategies.	Spatial Cognition: Specialization and Integration	2005	DBLP BibTeX RDF
48	Christoph Flores	Action Based Object Separation with Situated Agents.	Spatial Cognition: Specialization and Integration	2005	DBLP BibTeX RDF
48	Michel Ferreira, Luís Damas	WAM Local Analysis.	PADL	2003	DBLP DOI BibTeX RDF	Prolog Compilation, Multiple Specialization, Abstract Interpretation
48	Ralph Kopperman	Topological Digital Topology.	DGCI	2003	DBLP DOI BibTeX RDF	general topology, T 0-space, specialization (order), connected ordered topological space (COTS), Alexandroff space, Khalimsky line, digital n-space, metric and polyhedral analogs, chaining maps, calming maps, inverse limit, Hausdorff reflection, skew (=stable) compactness, (graph) path and arc connectedness and components, (topological) adjacency, Jordan curve, robust scene, Digital topology, normalizing maps, cartoon
47	A. E. Eiben, Geoff Nitschke, Martijn C. Schut	Collective Specialization for Evolutionary Design of a Multi-robot System.	Swarm Robotics	2006	DBLP DOI BibTeX RDF
47	Sapan Bhatia, Charles Consel, Anne-Françoise Le Meur, Calton Pu	Automatic Specialization of Protocol Stacks.	LCN	2004	DBLP DOI BibTeX RDF
47	Julio C. Peralta, John P. Gallagher	Convex Hull Abstractions in Specialization of CLP Programs.	LOPSTR	2002	DBLP DOI BibTeX RDF
47	Jonathan Walpole	Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk).	PEPM	2000	DBLP DOI BibTeX RDF
47	Simon Helsen, Peter Thiemann 0001	Fragmental Specialization.	SAIG	2000	DBLP DOI BibTeX RDF
47	Henning Makholm	On Jones-Optimal Specialization for Strongly Typed Languages.	SAIG	2000	DBLP DOI BibTeX RDF
47	Gilles Muller	Specialization of Systems Programs: Lessons and Perspectives.	SAIG	2000	DBLP DOI BibTeX RDF
47	Olivier Danvy	A Simple Solution to Type Specialization.	ICALP	1998	DBLP DOI BibTeX RDF
46	Rui Wang 0010, XiaoFeng Wang 0001, Zhou Li 0001, Haixu Tang, Michael K. Reiter, Zheng Dong	Privacy-preserving genomic computation through program specialization.	CCS	2009	DBLP DOI BibTeX RDF	human genome, privacy-preserving computation, dynamic programming, symbolic execution, secure multi-party computation, program specialization
46	Lei Chai, Jiawei Chen, Zhangang Han, Zengru Di, Ying Fan 0001	Emergence of Specialization from Global Optimizing Evolution in a Multi-agent System.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	agent specialization, evolutionary dynamics, multi-agent system
46	Jaakko Järvi, Douglas P. Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek	Algorithm specialization in generic programming: challenges of constrained generics in C++.	PLDI	2006	DBLP DOI BibTeX RDF	constrained generics, generic programming, concepts, specialization, parametric polymorphism
46	Alberto Pettorossi, Maurizio Proietti, Sophie Renault	Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization
46	Claudio Ochoa, Josep Silva, Germán Vidal	Lightweight program specialization via dynamic slicing.	WCFLP	2005	DBLP DOI BibTeX RDF	lazy functional logic programming, program specialization, dynamic slicing
46	François Noël, Luke Hornof, Charles Consel, Julia L. Lawall	Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study.	ICCL	1998	DBLP DOI BibTeX RDF	run-time specialization, partial evaluation
46	Gordon S. Novak	Software Reuse by Specialization of Generic Procedures Through Views.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	generic procedure, algorithm specialization, direct-manipulation editor, Software reuse, partial evaluation, abstract data type, view, generic algorithm
41	Lina Al-Jadir, Michel Léonard	If We Refuse the Inheritance...	DEXA	1999	DBLP DOI BibTeX RDF
41	José Félix Costa, Amílcar Sernadas, Cristina Sernadas	Data Encapsulation and Modularity: Three Views of Inheritance.	MFCS	1993	DBLP DOI BibTeX RDF
40	Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman	An inheritance-based technique for building simulation proofs incrementally.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Inheritance by specialization and subclassing for extension, incremental proof techniques, proof reuse, simulation proofs, refinements
40	Julia L. Lawall, Gilles Muller	Efficient Incremental Checkpointing of Java Programs.	DSN	2000	DBLP DOI BibTeX RDF	incremental checkpointing, Java, program specialization
39	Joshua Evan Auerbach, Josh C. Bongard	Evolution of functional specialization in a morphologically homogeneous robot.	GECCO	2009	DBLP DOI BibTeX RDF	artificial intelligence, evolutionary robotics, embodied cognition
39	Filip Pizlo, Erez Petrank, Bjarne Steensgaard	Path specialization: reducing phased execution overheads.	ISMM	2008	DBLP DOI BibTeX RDF	garbage collection, memory management, c#, write barriers, read barriers
39	André L. Santos 0001	Automatic support for model-driven specialization of object-oriented frameworks.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, object-oriented frameworks, domain-specific modeling
39	Ce Dong, James Bailey 0001	Optimization of XSLT by Compact Specialization and Combination.	WISE	2005	DBLP DOI BibTeX RDF
39	Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo	Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.	LOPSTR	2005	DBLP DOI BibTeX RDF
39	Gustavo J. Bobeff, Jacques Noyé	Component specialization.	PEPM	2004	DBLP DOI BibTeX RDF	component generator, program slicing, partial evaluation, component-based software development
39	Pieter Bekaert, Geert Delanote, Frank Devos, Eric Steegmans	Specialization/Generalization in Object-Oriented Analysis: Strengthening and Multiple Partitioning.	OOIS Workshops	2002	DBLP DOI BibTeX RDF
39	Roland Ducournau	"Real World" as an Argument for Covariant Specialization in Programming and Modeling.	OOIS Workshops	2002	DBLP DOI BibTeX RDF
39	Peter Thiemann 0001	Enforcing Safety Properties Using Type Specialization.	ESOP	2001	DBLP DOI BibTeX RDF
39	Frank Tip, Peter F. Sweeney	Class Hierarchy Specialization.	Acta Informatica	2000	DBLP DOI BibTeX RDF
39	María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal	Specialization of Lazy Functional Logic Programs.	PEPM	1997	DBLP DOI BibTeX RDF	integration of functional and logic programming, lazy narrowing, post-processing renaming, partial evaluation, term rewriting systems
39	Edward Sciore	Object Specialization.	ACM Trans. Inf. Syst.	1989	DBLP DOI BibTeX RDF
39	William L. Scherlis	Program Improvement by Internal Specialization.	POPL	1981	DBLP DOI BibTeX RDF
38	Jiang Bian 0002, Xin Li, Fan Li, Zhaohui Zheng, Hongyuan Zha	Ranking specialization for web search: a divide-and-conquer approach by using topical RankSVM.	WWW	2010	DBLP DOI BibTeX RDF	ranking specialization for web search, ranking-sensitive query topic, topical RankSVM
38	Erbo Zhao, Guo Liu, Dan Luo 0003, Xingang Xia, Zhangang Han	Evolving Specialization, Market and Productivity in an Agent-Based Cooperation Model.	Complex (2)	2009	DBLP DOI BibTeX RDF	individual reinforcement learning, market forming, expected productivity, Agent-based model, power law, specialization
38	Youhei Akimoto, Jun Sakuma, Isao Ono, Shigenobu Kobayashi	Functionally specialized CMA-ES: a modification of CMA-ES based on the specialization of the functions of covariance matrix adaptation and step size adaptation.	GECCO	2008	DBLP DOI BibTeX RDF	functional specialization, step size adaptation, evolution strategy, covariance matrix adaptation
38	D. W. F. van Krevelen	Specialization with NeuroEvolution in a collective behaviour task.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	specialization, NeuroEvolution, collective behavior
38	Il-Yeol Song, Ki Jung Lee	Developing State Diagrams Using a State Specialization Technique.	ER Workshops	2007	DBLP DOI BibTeX RDF	State Specialization, State Identification Methods, Unified Modeling Language, Statecharts, State Diagram
38	Dimple Kaul, Aniruddha S. Gokhale	Middleware specialization using aspect oriented programming.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	middleware, aspect-oriented programming, product lines, specialization
38	Dominique Chanet, Bjorn De Sutter, Bruno De Bus, Ludo Van Put, Koen De Bosschere	System-wide compaction and specialization of the linux kernel.	LCTES	2005	DBLP DOI BibTeX RDF	operating system, compaction, specialization, system calls, linux kernel
38	Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith 0001	Runtime specialization with optimistic heap analysis.	OOPSLA	2005	DBLP DOI BibTeX RDF	program analysis, partial evaluation, dynamic optimization, specialization
38	Michael Priestley	DITA authoring and specialization.	SIGDOC	2004	DBLP DOI BibTeX RDF	XML, documentation, specialization, DITA
38	Sandrine Blazy, Philippe Facon	Interprocedural analysis for program comprehension by specialization.	WPC	1996	DBLP DOI BibTeX RDF	partial evaluation (compilers), visibility rules, reverse engineering, software maintenance, software maintenance, software tools, software tool, FORTRAN, Fortran, program comprehension, program compilers, partial evaluation, specialization, program diagnostics, interprocedural analysis, application programs
33	Wendy Verbruggen, Edsko de Vries, Arthur Hughes	Polytypic programming in COQ.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	kind-indexed types, theorem proving, generic programming, formalization, coq, polytypic programming
33	Sylvain Cussat-Blanc, Hervé Luga, Yves Duthen	Using a single cell to create an entire organ.	ICAT	2007	DBLP DOI BibTeX RDF
33	Sebastian Link	Towards a Tailored Theory of Consistency Enforcement in Databases.	FoIKS	2002	DBLP DOI BibTeX RDF
33	Kenichi Asai	Integrating Partial Evaluators into Interpreters.	SAIG	2001	DBLP DOI BibTeX RDF