Search results for "specialization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	A Generic Framework for the Analysis and Specialization of Logic Programs.	ICLP	2005	DBLP DOI BibTeX RDF
23	Shlomo Argamon, Nazli Goharian, David A. Grossman, Ophir Frieder, Nambury S. Raju	A Specialization in Information and Knowledge Management Systems for the Undergraduate Computer Science Curriculum.	ITCC (1)	2005	DBLP DOI BibTeX RDF
23	Philippe Lahire, Gabriela Arévalo, Hernán Astudillo, Andrew P. Black, Erik Ernst, Marianne Huchard, T. Oplustil, Markku Sakkinen, Petko Valtchev	MASPEGHI 2004 Mechnisms for Specialization, Generalization and Inheritance.	ECOOP Workshops	2004	DBLP DOI BibTeX RDF
23	Thom W. Frühwirth	Specialization of Concurrent Guarded Multi-set Transformation Rules.	LOPSTR	2004	DBLP DOI BibTeX RDF
23	Karina Olmos, Eelco Visser	Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave.	SCAM	2003	DBLP DOI BibTeX RDF
23	Pedro Meseguer, Martí Sánchez-Fibla, Gérard Verfaillie	Opportunistic Specialization in Russian Doll Search.	CP	2002	DBLP DOI BibTeX RDF
23	Paul-André Monney	Dempster Specialization Matrices and the Combination of Belief Functions.	ECSQARU	2001	DBLP DOI BibTeX RDF
23	Litong Song, Yoshihiko Futamura	A New Termination Approach for Specialization.	SAIG	2000	DBLP DOI BibTeX RDF
23	Donald Steiss	The Specialization of General Purpose Processor Architecture Elements for Programmable Digital Signal Processors.	ICCD	1999	DBLP DOI BibTeX RDF
23	John Hatcliff, Matthew B. Dwyer, Shawn Laubach	Staging Static Analyses Using Abstraction-Based Program Specialization.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
23	Peter Thiemann 0001	A Generic Framework for Specialization (Abridged Version).	ESOP	1998	DBLP DOI BibTeX RDF	program transformation, partial evaluation, computational effects, higher-order programming
23	Geoffrey I. Webb	Cost-Sensitive Specialization.	PRICAI	1996	DBLP DOI BibTeX RDF
23	Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück	Fortran Program Specialization.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	FORTRAN
23	Henrik Boström	Specialization of Recursive Predicates.	ECML	1995	DBLP DOI BibTeX RDF
23	Stefan Wrobel	On the Proper Definition of Minimality in Specialization and Theory Revision.	ECML	1993	DBLP DOI BibTeX RDF
23	Michel Chein, Marie-Laure Mugnier	Specialization: Where Do the Difficulties Occur?	Workshop on Conceptual Graphs	1992	DBLP DOI BibTeX RDF
16	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
16	Cong Yu 0001, Laks V. S. Lakshmanan, Sihem Amer-Yahia	Recommendation Diversification Using Explanations.	ICDE	2009	DBLP DOI BibTeX RDF
16	Hadaytullah, Kai Koskimies, Tarja Systä	Using Model Customization for Variability Management in Service Compositions.	ICWS	2009	DBLP DOI BibTeX RDF
16	Telmo L. T. Menezes, Ernesto Costa	Coevolution of Competing Agent Species in a Game-Like Environment.	EvoWorkshops	2009	DBLP DOI BibTeX RDF
16	Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin	A practical and precise inference and specializer for array bound checks elimination.	PEPM	2008	DBLP DOI BibTeX RDF	size properties, dependent types, safety verification
16	Isabelle Tellier	How to Split Recursive Automata.	ICGI	2008	DBLP DOI BibTeX RDF
16	Karel Bruneel, Dirk Stroobandt	Automatic generation of run-time parameterizable configurations.	FPL	2008	DBLP DOI BibTeX RDF
16	Xinyu Feng 0001, Rodrigo Ferreira, Zhong Shao	On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning.	ESOP	2007	DBLP DOI BibTeX RDF
16	Miguel A. Laguna, Bruno González-Baixauli, José M. Marqués	Seamless development of software product lines.	GPCE	2007	DBLP DOI BibTeX RDF	package merge, seamless development, software product lines, feature model
16	Karthik Ramani, Al Davis	Application driven embedded system design: a face recognition case study.	CASES	2007	DBLP DOI BibTeX RDF	embedded systems, compilers, face recognition, workload characterization, instruction scheduling, domain specific architectures
16	Julian Simpson, Shane Duan	Large Build Teams: Help or Hindrance?	AGILE	2007	DBLP DOI BibTeX RDF
16	Dibyendu Das	Optimizing subroutines with optional parameters in F90 via function cloning.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	compilers, Fortran 90
16	Chris Langdon, Riyaz Sikora	Conceptualizing co-ordination and competition in supply chains as complex adaptive system.	Inf. Syst. E Bus. Manag.	2006	DBLP DOI BibTeX RDF	Multi-agent system modeling, Computational explanation, Simulation, Outsourcing, Complex adaptive system (CAS)
16	Ewout Martens, Georges G. E. Gielen	Analyzing continuous-time Delta-Sigma-Modulators with generic behavioral models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
16	Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde	Fast partial evaluation of pattern matching in strings.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Partial evaluation, string matching, memoization
16	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	Abstract Interpretation with Specialized Definitions.	SAS	2006	DBLP DOI BibTeX RDF
16	Darshan D. Thaker, Tzvetan S. Metodi, Andrew W. Cross, Isaac L. Chuang, Frederic T. Chong	Quantum Memory Hierarchies: Efficient Designs to Match Available Parallelism in Quantum Computing.	ISCA	2006	DBLP DOI BibTeX RDF
16	Artem Alimarine, Sjaak Smetsers	Improved Fusion for Optimizing Generics.	PADL	2005	DBLP DOI BibTeX RDF	generic/polytypic programming, program transformation, fusion
16	J. Guadalupe Ramos, Josep Silva, Germán Vidal	Fast narrowing-driven partial evaluation for inductively sequential programs.	ICFP	2005	DBLP DOI BibTeX RDF	offline partial evaluation, quasi-termination, narrowing
16	Greg Stitt, Frank Vahid, Gordon McGregor, Brian Einloth	Hardware/software partitioning of software binaries: a case study of H.264 decode.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	FPGA, embedded systems, synthesis, H.264, hardware/software partitioning, binaries
16	Gianluca Tempesti, Pierre-André Mudry, Ralph Hoffmann	A Move Processor for Bio-Inspired Systems.	Evolvable Hardware	2005	DBLP DOI BibTeX RDF
16	J. Guadalupe Ramos, Josep Silva, Germán Vidal	An offline partial evaluator for curry programs.	WCFLP	2005	DBLP DOI BibTeX RDF	offline partial evaluation, narrowing
16	Peng-Sheng Chen, Yuan-Shin Hwang, Roy Dz-Ching Ju, Jenq Kuen Lee	Interprocedural Probabilistic Pointer Analysis.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	interprocedural program analysis, optimization, compilers, Multithreading, speculation, points-to analysis
16	Andrzej Jodlowski, Piotr Habela, Jacek Plodzien, Kazimierz Subieta	Dynamic Object Roles -- Adjusting the Notion for Flexible Modeling.	IDEAS	2004	DBLP DOI BibTeX RDF
16	Frank Padberg	Computing Optimal Scheduling Policies for Software Projects.	APSEC	2004	DBLP DOI BibTeX RDF
16	Felix Wolf 0001, Bernd Mohr, Jack J. Dongarra, Shirley Moore	Efficient Pattern Search in Large Traces Through Successive Refinement.	Euro-Par	2004	DBLP DOI BibTeX RDF
16	Nicola Fanizzi, Stefano Ferilli, Luigi Iannone, Ignazio Palmisano, Giovanni Semeraro	Downward Refinement in the ALN Description Logic.	HIS	2004	DBLP DOI BibTeX RDF
16	Krzysztof Czarnecki 0001, Simon Helsen, Ulrich W. Eisenecker	Staged Configuration Using Feature Models.	SPLC	2004	DBLP DOI BibTeX RDF
16	Mark Stockman, Chris Christopherson, Hazem Said, John Nyland	An implementation of a networking track in an information technology degree program.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	database, networking, information technology, software, curriculum, web technologies
16	Hazem Said, Russell E. McMahon, Soleda Leung, Annu Prabhakar, Tamisra Sanyal, Mark Stockman, Tom Wulf	An implementation of a software development track in an information technology degree program.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	database, networking, information technology, software, curriculum, web technologies
16	Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde	Fast partial evaluation of pattern matching in strings.	PEPM	2003	DBLP DOI BibTeX RDF	partial evaluation, string matching, memoization
16	Robert Glück, Youhei Kawada, Takuya Hashimoto	Transforming interpreters into inverse interpreters by partial evaluation.	PEPM	2003	DBLP DOI BibTeX RDF	binding-time improvements, inverse interpreter, program in-vision, semantics modifier, self-application
16	Christel Kemke	A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases.	ISMIS	2003	DBLP DOI BibTeX RDF
16	Christel Kemke	A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases.	AI	2003	DBLP DOI BibTeX RDF
16	Peter Thiemann 0001	Continuation-Based Partial Evaluation without Continuations.	SAS	2003	DBLP DOI BibTeX RDF	Functional programming, type systems, partial evaluation
16	Andrew Skabar	Single-Class Classification Augmented with Unlabeled Data: A Symbolic Approach.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
16	Christoph Bussler	Process Inheritance.	CAiSE	2002	DBLP DOI BibTeX RDF
16	B. Ramakrishna Rau, Michael S. Schlansker	Embedded Computer Architecture and Automation.	Computer	2001	DBLP DOI BibTeX RDF
16	Yanee Kachai, Kitsana Waiyamai	Representing Large Concept Hierarchies Using Lattice Data Structure.	PAKDD	2001	DBLP DOI BibTeX RDF
16	Yingchun Zhu, Laurie J. Hendren	Locality Analysis for Parallel C Programs.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	compiling for parallel architectures, multithreaded architectures, Locality analysis
16	Michael J. Wirthlin, Brad L. Hutchings	Improving functional density using run-time circuit reconfiguration [FPGAs].	IEEE Trans. Very Large Scale Integr. Syst.	1998	DBLP DOI BibTeX RDF
16	Monique Snoeck, Guido Dedene	Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	existence dependency, Software engineering, composition, conceptual model, aggregation, quality, object-oriented analysis, consistency checking
16	María Alpuente, Moreno Falaschi, Germán Vidal	Partial Evaluation of Functional Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
16	Chris Hankin, Hanne Riis Nielson, Jens Palsberg	Position Statements on Strategic Directions for Research on Programming Languages.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
16	Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa	Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects.	PEPM	1997	DBLP DOI BibTeX RDF
16	Brad Calder, Peter Feller, Alan Eustace	Value Profiling.	MICRO	1997	DBLP DOI BibTeX RDF	profiling, invariance, compiler optimization
16	Joseph A. Fisher, Paolo Faraboschi, Giuseppe Desoli	Custom-fit Processors: Letting Applications Define Architectures.	MICRO	1996	DBLP DOI BibTeX RDF
16	Olivier Guinaldo	Conceptual Graphs Isomorphism: Algorithm and Use.	ICCS	1996	DBLP DOI BibTeX RDF
16	Giuseppe Castagna	Covariance and Contravariance: Conflict without a Cause.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	object-oriented languages, type theory
16	Francesco Parisi-Presicce, Alfonso Pierantonio	An Algebraic Theory of Class Specification.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	interconnection mechanisms, modularity, inheritance, algebraic specifications
16	Robert Glück, Morten Heine Sørensen	Partial Deduction and Driving are Equivalent.	PLILP	1994	DBLP DOI BibTeX RDF
16	Paul Ammann, Hassan Gomaa, A. Jefferson Offutt, David Rine, Bo Ingvar Sandén	A Five Year Perspective on Software Engineering Graduate Programs at George Mason University.	CSEE	1994	DBLP DOI BibTeX RDF
16	Karoline Malmkjær	Towards Efficient Partial Evaluation.	PEPM	1993	DBLP DOI BibTeX RDF
16	Domenico Beneventano, Sonia Bergamaschi	Subsumption for Complex Object Data Models.	ICDT	1992	DBLP DOI BibTeX RDF
16	Georg Gottlob, Gerti Kappel, Michael Schrefl	Semantics of Object-Oriented Data Models - The Evolving Algebra Approach.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
16	Jan A. Mulder, Alan K. Mackworth, William S. Havens	Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	Mapsee approach, map interpretation programs, schema-based representation, hierarchical arc-consistency algorithm, discrimination graphs, computer vision, computer vision, knowledge representation, graph theory, computerised pattern recognition, computerized pattern recognition, visual knowledge
16	Huang Weiqiao	Industrializing software production.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
16	Claude Kirchner, Hélène Kirchner, José Meseguer 0001	Operational Semantics of OBJ-3 (Extended Abstract).	ICALP	1988	DBLP DOI BibTeX RDF
16	Antonio Albano, Luca Cardelli, Renzo Orsini	Galileo: A Strongly-Typed, Interactive Conceptual Language.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF	GALILEO
15	Kevin Williams 0001, Jason McCandless, David Gregg	Dynamic interpretation for dynamic scripting languages.	CGO	2010	DBLP DOI BibTeX RDF	interpreter optimization, dynamic languages, type specialization
15	Marcio Juliato, Catherine H. Gebotys	Tailoring a Reconfigurable Platform to SHA-256 and HMAC through Custom Instructions and Peripherals.	ReConFig	2009	DBLP DOI BibTeX RDF	Processor Specialization, SHA-2, Cryptography, HMAC, HW/SW Partitioning, Co-Processor, Custom Instruction
15	Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz	Tracing for web 3.0: trace compilation for the next generation web applications.	VEE	2009	DBLP DOI BibTeX RDF	tamarin, trace trees, tracing, javascript, forth, dynamic compilation, type specialization, dynamically typed languages
15	Hiroshi Someya	Parameter Tuning of Real-Valued Crossover Operators for Statistics Preservation.	SEAL	2008	DBLP DOI BibTeX RDF	functional specialization hypothesis, statistics preservation, parameter tuning, Real-coded genetic algorithm
15	D. W. F. van Krevelen, Geoff S. Nitschke	Neuro-evolution for a gathering and collective construction task.	GECCO	2008	DBLP DOI BibTeX RDF	specialization, collective behavior, neuro-evolution
15	Toshiyuki Yasuda, Kazuhiro Ohkura	A Reinforcement Learning Technique with an Adaptive Action Generator for a Multi-robot System.	SAB	2008	DBLP DOI BibTeX RDF	Autonomous Specialization, Action Search, Reinforcement Learning, Multi-Robot System
15	Jong-eun Lee, Kiyoung Choi, Nikil D. Dutt	Instruction set synthesis with efficient instruction encoding for configurable processors.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	ISA customization and specialization, bitwidth-economical, Application-specific instruction set processor (ASIP), configurable processor, instruction encoding
15	Marcio Juliato, Guido Araujo, Julio César López-Hernández, Ricardo Dahab	A Custom Instruction Approach for Hardware and Software Implementations of Finite Field Arithmetic over F2163 using Gaussian Normal Bases.	J. VLSI Signal Process.	2007	DBLP DOI BibTeX RDF	Gaussian normal bases, processor specialization, elliptic curve cryptography, finite field arithmetic
15	Claudio Ochoa, Germán Puebla	Poly-controlled partial evaluation in practice.	PEPM	2007	DBLP DOI BibTeX RDF	resource-aware specialization, logic programming, partial evaluation
15	Daniel Sinnig, Maik Wurdel, Peter Forbrig, Patrice Chalin, Ferhat Khendek	Practical Extensions for Task Models.	TAMODIA	2007	DBLP DOI BibTeX RDF	cooperative task models, modularization, specialization, Task specifications
15	Chongbing Liu, Enrico Pontelli	Nonmonotonic inductive logic programming by instance patterns.	PPDP	2007	DBLP DOI BibTeX RDF	instance patterns, nonmonotonic ilp, specialization
15	Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic	A monadic approach for avoiding code duplication when staging memoized functions.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, monads, fixed points, program generation, program specialization, staging, multi-stage programming, code duplication
15	Koushik Chakraborty, Philip M. Wells, Gurindar S. Sohi	Computation spreading: employing hardware migration to specialize CMP cores on-the-fly.	ASPLOS	2006	DBLP DOI BibTeX RDF	dynamic specialization, cache locality
15	Toshiyuki Yasuda, Kazuhiro Ohkura	Improving the Robustness of Reinforcement Learning for a Multi-Robot System Environment.	WSTST	2005	DBLP DOI BibTeX RDF	Autonomous Specialization, Robustness, Reinforcement Learning, Multi-Robot System
15	C. Scott Ananian, Martin C. Rinard	Data size optimizations for java programs.	LCTES	2003	DBLP DOI BibTeX RDF	bitwidth analysis, field externalization, field packing, size optimizations, static specialization, embedded systems
15	DeLesley Hutchins	The power of symmetry: unifying inheritance and generative programming.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	covariant specialization, generative components, mixin layers, virtual types, aspect-oriented programming, prototypes, code generation, generative programming, partial evaluation, aspects, meta-programming, parametric polymorphism, multiple inheritance, mixins, transformation systems, virtual classes, generic types, join points
15	Viviana Bono, Michele Bugliesi, Silvia Crafa	Typed interpretations of extensible objects.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Object calculus, computational adequacy, extensible object, typed encoding, type system, subtyping, type specialization
15	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng	Bandera: extracting finite-state models from Java source code.	ICSE	2000	DBLP DOI BibTeX RDF	Java, model checking, abstract interpretation, program verification, slicing, program specialization, model extraction
15	Scott Thibault, Jerôme Marant, Gilles Muller	Adapting Distributed Applications Using Extensible Networks.	ICDCS	1999	DBLP DOI BibTeX RDF	Audio broadcasting, Extensible HTTP server, Adaptation, Domain-Specific Languages, Interpreters, Active Networks, Specialization
15	Jon Howell, Mark H. Montague	Hey, You Got Your Compiler in My Operating System!	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	red-line, application binary interface, Compilers, operating systems, extensibility, partial evaluation, specialization, transformational programming
15	Stephen H. Edwards	Representation Inheritance: A Safe Form of "White Box'' Code Inheritance.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Abstraction function, abstraction relation, representation invariant, object-oriented, reuse, inheritance, specialization, subclass, behavioral subtype, model-based specification
15	Olivier Danvy, Karoline Malmkjær, Jens Palsberg	Eta-Expansion Does The Trick.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	binding-time analysis and improvement, eta-expansion, static reduction, partial evaluation, program specialization
15	Sandrine Blazy, Philippe Facon	Formal Specification and Prototyping of a Program Specializer.	TAPSOFT	1995	DBLP DOI BibTeX RDF	software maintenance, rule induction, VDM, program specialization, structured operational semantics, proof of correctness, Centaur
15	Wesley W. Chu, Qiming Chen	A Structured Approach for Cooperative Query Answering.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	cooperative query answering, type abstraction hierarchy, cooperative query answers, type hierarchy, multilevel object representation, CSQL, type abstraction, knowledge representation, knowledge representation, query processing, relational databases, SQL, SQL, composition, generalization, query languages, query language, database theory, deductive databases, deductive database, association, granularity, query rewrite, specialization, subsumption, semantic information, query relaxation
15	Xindong Wu 0001	Inductive learning: Algorithms and frontiers.	Artif. Intell. Rev.	1993	DBLP DOI BibTeX RDF	generalization-specialization, extension matrices, decision trees, induction