Search results for "parameterized"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Moritz Müller	Randomized Approximations of Parameterized Counting Problems.	IWPEC	2006	DBLP DOI BibTeX RDF
30	Yijia Chen, Martin Grohe, Magdalena Grüber	On Parameterized Approximability.	IWPEC	2006	DBLP DOI BibTeX RDF
30	Jianer Chen, Yang Liu 0002, Songjian Lu	An Improved Parameterized Algorithm for the Minimum Node Multiway Cut Problem.	Algorithmica	2009	DBLP DOI BibTeX RDF	Multiway cut problem, Network flow, Fixed-parameter tractability, Minimum cut, Parameterized algorithm
30	Zhenhai Zhu	A parameterized mask model for lithography simulation.	DAC	2009	DBLP DOI BibTeX RDF	mask model, parameterized model order reduction, lithography
30	Chunmei Liu, Yinglei Song, Legand L. Burge III	Parameterized lower bound and inapproximability of polylogarithmic string barcoding.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Polylogarithmic string barcoding, Parameterized lower bound, Inapproximability
30	Minzhu Xie, Jianxin Wang 0001, Jianer Chen	A Practical Parameterized Algorithm for the Individual Haplotyping Problem MLF.	TAMC	2008	DBLP DOI BibTeX RDF	SNP (single-nucleotide polymorphism), MLF (Minimum Letter Flip), NP-hardness, haplotype, parameterized algorithm
30	Inbok Lee, Juan Mendivelso, Yoan J. Pinzón	delta-gamma-Parameterized Matching.	SPIRE	2008	DBLP DOI BibTeX RDF	?-matching, ??-matching, parameterized matching, combinatorial algorithms, bipartite matching
30	Yi Zou, Yici Cai, Qiang Zhou 0001, Xianlong Hong, Sheldon X.-D. Tan, Le Kang	Practical Implementation of Stochastic Parameterized Model Order Reduction via Hermite Polynomial Chaos.	ASP-DAC	2007	DBLP DOI BibTeX RDF	stochastic parameterized model order reduction, Hermite polynomial chaos, stochastic model order reduction algorithm, stochastic Hermite polynomials, stochastic interconnect analysis, nonGaussian input variations, implicit system representation, block matrix structure, Monte Carlo methods, linear equations
30	Martin Grohe, Magdalena Grüber	Parameterized Approximability of the Disjoint Cycle Problem.	ICALP	2007	DBLP DOI BibTeX RDF	parameterized complexity theory, approximation algorithms, fixed-parameter tractability
30	Michael R. Fellows, Fedor V. Fomin, Daniel Lokshtanov, Frances A. Rosamond, Saket Saurabh 0001, Stefan Szeider, Carsten Thomassen	On the Complexity of Some Colorful Problems Parameterized by Treewidth.	COCOA	2007	DBLP DOI BibTeX RDF	Topics Parameterized Complexity, Graph Coloring, Bounded Treewidth
30	Yinglei Song, Chunmei Liu, Xiuzhen Huang, Russell L. Malmberg, Ying Xu, Liming Cai	Efficient Parameterized Algorithms for Biopolymer Structure-Sequence Alignment.	IEEE ACM Trans. Comput. Biol. Bioinform.	2006	DBLP DOI BibTeX RDF	Structure-sequence alignment, RNA structure homology search, dynamic programming, tree decomposition, parameterized algorithm, protein threading
30	Alina Andreica	Implementing Parameterized Type Algorithm Definitions in Mathematica.	SYNASC	2006	DBLP DOI BibTeX RDF	parameterized type definitions, generic algorithms in symbolic computation, category theory
30	David Cachera, Katell Morin-Allory	Verification of safety properties for parameterized regular systems.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	regular systems, embedded systems, codesign, Polyhedral model, parameterized systems
30	Dominik Engel, Andreas Uhl	Parameterized biorthogonal wavelet lifting for lightweight JPEG 2000 transparent encryption.	MM&Sec	2005	DBLP DOI BibTeX RDF	lightweight encryption, parameterized biorthogonal wavelet lifting, transparent encryption, JPEG 2000
30	Kin Cheong Sou, Alexandre Megretski, Luca Daniel	A quasi-convex optimization approach to parameterized model order reduction.	DAC	2005	DBLP DOI BibTeX RDF	RF inductor, ellipsoid algorithm, parameterized model order reduction, quasi-convex, optimization
30	Qi Jing, Tamal Mukherjee, Gary K. Fedder	Schematic-based lumped parameterized behavioral modeling for suspended MEMS.	ICCAD	2002	DBLP DOI BibTeX RDF	electrostatic gap, nonlinear beam, schematic-based, behavioral, parameterized, MEMS, lumped
30	Tim Sheard	Generic Unification via Two-Level Types and Parameterized Modules.	ICFP	2001	DBLP DOI BibTeX RDF	parameterized modules, Haskell, generic programs, unification
30	Tomohiro Yoneda, Yutaka Ohtsuka, Märt Saarepera	Verification of Parameterized Asynchronous Circuits: A Case Study.	ACSD	1998	DBLP DOI BibTeX RDF	parameterized asynchronous circuits, ACTL model checking, Formal verification, abstraction, PVS
29	Stephan Kreutzer, Siamak Tazari	Lower Bounds for the Complexity of Monadic Second-Order Logic.	LICS	2010	DBLP DOI BibTeX RDF	Parameterized Intractability, Graph Structure Theory, Treewidth, Parameterized Complexity, Finite Model Theory, Monadic Second-Order Logic
29	Silke Eckstein, Peter Ahlbrecht, Karl Neumann	Techniques and language constructs for developing generic informations systems: a case study.	SSR	2001	DBLP DOI BibTeX RDF	parameterized programming, parameterized specification, Java, UML, UML, information systems, application generators
28	Fedor V. Fomin, Petr A. Golovach, Daniel Lokshtanov, Saket Saurabh 0001	Clique-width: on the price of generality.	SODA	2009	DBLP DOI BibTeX RDF
28	Michael Dom, Daniel Lokshtanov, Saket Saurabh 0001	Incompressibility through Colors and IDs.	ICALP (1)	2009	DBLP DOI BibTeX RDF
28	Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with invisible ranking.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Parametrized systems, Deductive verification, BDD techniques, Liveness, Automatic verification
28	Yoshihiko Kakutani, Masahito Hasegawa	Parameterizations and Fixed-Point Operators on Control Categories.	TLCA	2003	DBLP DOI BibTeX RDF
28	Amir Pnueli, Jessie Xu, Lenore D. Zuck	Liveness with (0, 1, infty)-Counter Abstraction.	CAV	2002	DBLP DOI BibTeX RDF
27	Surajit Chaudhuri, Hongrae Lee, Vivek R. Narasayya	Variance aware optimization of parameterized queries.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	query optimizer, workload, variance
27	Jiong Guo, Rolf Niedermeier, Ondrej Suchý	Parameterized Complexity of Arc-Weighted Directed Steiner Problems.	ISAAC	2009	DBLP DOI BibTeX RDF
27	Ioannis Koutis, Ryan Williams 0001	Limits and Applications of Group Algebras for Parameterized Problems.	ICALP (1)	2009	DBLP DOI BibTeX RDF
27	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Approximated Context-Sensitive Analysis for Parameterized Verification.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
27	Rosa Enciso, Michael R. Fellows, Jiong Guo, Iyad A. Kanj, Frances A. Rosamond, Ondrej Suchý	What Makes Equitable Connected Partition Easy.	IWPEC	2009	DBLP DOI BibTeX RDF
27	Stefan Kratsch, Magnus Wahlström	Two Edge Modification Problems without Polynomial Kernels.	IWPEC	2009	DBLP DOI BibTeX RDF
27	Yung-Ta Li, Zhaojun Bai, Yangfeng Su, Xuan Zeng 0001	Model Order Reduction of Parameterized Interconnect Networks via a Two-Directional Arnoldi Process.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
27	Wanxia Qu, Yang Guo 0003, Zhengbin Pang, Xiaodong Yang	Efficient Verification of Parameterized Cache Coherence Protocols.	ICYCS	2008	DBLP DOI BibTeX RDF
27	Luke Mathieson, Stefan Szeider	Parameterized Graph Editing with Chosen Vertex Degrees.	COCOA	2008	DBLP DOI BibTeX RDF
27	Bradley N. Bond, Luca Daniel	A Piecewise-Linear Moment-Matching Approach to Parameterized Model-Order Reduction for Highly Nonlinear Systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
27	Hans-Joachim Böckenhauer, Juraj Hromkovic, Joachim Kneis, Joachim Kupke 0002	The Parameterized Approximability of TSP with Deadlines.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
27	Yunlong Liu 0001, Jianer Chen, Jianxin Wang 0001	Parameterized Algorithms for Weighted Matching and Packing Problems.	TAMC	2007	DBLP DOI BibTeX RDF
27	Yung-Ta Li, Zhaojun Bai, Yangfeng Su, Xuan Zeng 0001	Parameterized model order reduction via a two-directional Arnoldi process.	ICCAD	2007	DBLP DOI BibTeX RDF
27	Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé	A Parameterized Algorithm for Exploring Concept Lattices.	ICFCA	2007	DBLP DOI BibTeX RDF
27	Dimka Karastoyanova, Frank Leymann, Jörg Nitzsche, Branimir Wetzstein, Daniel Wutke	Parameterized BPEL Processes: Concepts and Implementation.	Business Process Management	2006	DBLP DOI BibTeX RDF
27	Keunwoo Lee, Craig Chambers	Parameterized Modules for Classes and Extensible Functions.	ECOOP	2006	DBLP DOI BibTeX RDF
27	Yukui Fei	An Approach of Service Tailoring Based-on Parameterized Contracts.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF
27	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith	Environment Abstraction for Parameterized Verification.	VMCAI	2006	DBLP DOI BibTeX RDF
27	Frank K. H. A. Dehne, Michael R. Fellows, Henning Fernau, Elena Prieto-Rodriguez, Frances A. Rosamond	NONBLOCKER: Parameterized Algorithmics for minimum dominating set.	SOFSEM	2006	DBLP DOI BibTeX RDF
27	Iyad A. Kanj, Luay Nakhleh, Ge Xia	Reconstructing Evolution of Natural Languages: Complexity and Parameterized Algorithms.	COCOON	2006	DBLP DOI BibTeX RDF
27	Xiuzhen Huang	Lower Bounds and Parameterized Approach for Longest Common Subsequence.	COCOON	2006	DBLP DOI BibTeX RDF
27	Rafal Kicinger, Tomasz Arciszewski, Kenneth A. De Jong	Parameterized versus generative representations in structural design: an empirical comparison.	GECCO	2005	DBLP DOI BibTeX RDF	generative representations, evolutionary computation, cellular automata, structural design, design representations
27	Maty Sylla, Frank A. Stomp, Willem P. de Roever	Verifying Parameterized Refinement.	ICECCS	2005	DBLP DOI BibTeX RDF
27	Alexis Muller, Olivier Caron, Bernard Carré, Gilles Vanwormhoudt	On Some Properties of Parameterized Model Application.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
27	K. Ola Andersson, Mark Vesterbacka	A Parameterized Cell-Based Design Approach for Digital-to-Analog Converters.	IWSOC	2004	DBLP DOI BibTeX RDF
27	E. Allen Emerson, Vineet Kahlon	Exact and Efficient Verification of Parameterized Cache Coherence Protocols.	CHARME	2003	DBLP DOI BibTeX RDF
27	Samik Basu 0001, C. R. Ramakrishnan 0001	Compositional Analysis for Verification of Parameterized Systems.	TACAS	2003	DBLP DOI BibTeX RDF
27	E. Allen Emerson, Vineet Kahlon	Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols.	TACAS	2003	DBLP DOI BibTeX RDF
27	Jiun-In Guo, Chih-Da Chien, Chien-Chang Lin	A parameterized low power design for the variable-length discrete Fourier transform using dynamic pipelining.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
27	Jörg Flum, Martin Grohe	The Parameterized Complexity of Counting Problems.	FOCS	2002	DBLP DOI BibTeX RDF
27	Catherine McCartin	Parameterized Counting Problems.	MFCS	2002	DBLP DOI BibTeX RDF
27	Kai Baukus, Yassine Lakhnech, Karsten Stahl	Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.	VMCAI	2002	DBLP DOI BibTeX RDF
27	Liming Cai, David W. Juedes	Subexponential Parameterized Algorithms Collapse the W-Hierarchy.	ICALP	2001	DBLP DOI BibTeX RDF
27	Amir Pnueli	Sticks and stones: a coding scheme for parameterized verification.	PODC	2001	DBLP DOI BibTeX RDF
27	Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer	Decidable Approximations on Generalized and Parameterized Discrete Timed Automata.	COCOON	2001	DBLP DOI BibTeX RDF
27	K. M. Yu, W. M. Zhu	Dimension-Driven Parameterized Design of Free Form Objects.	GMP	2000	DBLP DOI BibTeX RDF
27	Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson 0001, Marcus Nilsson	Handling Global Conditions in Parameterized System Verification.	CAV	1999	DBLP DOI BibTeX RDF
27	Dominic Duggan	Modular Type-Based Reverse Engineering of Parameterized Types in Java Code.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java
27	Parosh Aziz Abdulla, Bengt Jonsson 0001	On the Existence of Network Invariants for Verifying Parameterized Systems.	Correct System Design	1999	DBLP DOI BibTeX RDF
27	Natawut Nupairoj, Lionel M. Ni, Ju-Young Lee Park, Hyeong-Ah Choi	Architecture-Dependent Tuning of the Parameterized Communication Model for Optimal Multicasting.	IPPS	1997	DBLP DOI BibTeX RDF
27	Wolfgang Reif	An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
27	Markus Lindquist	Parameterized Reachability Trees for Predicate/Transition Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Petri nets, reachability analysis, Predicate/Transition nets, high level nets
27	Hartmut Ehrig	Algebraic Theory of Parameterized Specifications with Requirements.	CAAP	1981	DBLP DOI BibTeX RDF
26	Michael R. Fellows, Daniel Lokshtanov, Neeldhara Misra, Matthias Mnich, Frances A. Rosamond, Saket Saurabh 0001	The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Max-leaf, Well-quasiordering, Bandwidth, Kernelization, Parameterized complexity
26	Jianer Chen, Yang Liu 0002, Songjian Lu, Barry O'Sullivan, Igor Razgon	A fixed-parameter algorithm for the directed feedback vertex set problem.	J. ACM	2008	DBLP DOI BibTeX RDF	parameterized computation, Deadlock, feedback vertex set
26	Jianer Chen, Iyad A. Kanj, Jie Meng, Ge Xia, Fenghui Zhang	On the Pseudo-achromatic Number Problem.	WG	2008	DBLP DOI BibTeX RDF	pseudo-achromatic number, kernel, fixed-parameter tractability, parameterized complexity
26	Jianer Chen, Yang Liu 0002, Songjian Lu, Barry O'Sullivan, Igor Razgon	A fixed-parameter algorithm for the directed feedback vertex set problem.	STOC	2008	DBLP DOI BibTeX RDF	parameterized complexity
26	Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman	Achieving both model and code coverage with automated gray-box testing.	A-MOST	2007	DBLP DOI BibTeX RDF	concolic execution, parameterized unit testing, model-based testing, symbolic execution, test-case generation
26	DaeGon Kim, Lakshminarayanan Renganarayanan, Dave Rostron, Sanjay V. Rajopadhye, Michelle Mills Strout	Multi-level tiling: M for the price of one.	SC	2007	DBLP DOI BibTeX RDF	multi-level tiling, parameterized code generation, parallelism, data locality
26	Jianer Chen, Henning Fernau, Iyad A. Kanj, Ge Xia	Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size.	STACS	2005	DBLP DOI BibTeX RDF	Kernelization, parameterized complexity
26	Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahé, Gilad Bracha, Neal M. Gafter	Adding wildcards to the Java programming language.	SAC	2004	DBLP DOI BibTeX RDF	genericity, wildcards, parameterized types
26	Rolf Niedermeier	Ubiquitous Parameterization - Invitation to Fixed-Parameter Algorithms.	MFCS	2004	DBLP DOI BibTeX RDF	NP-hardness, parameterization, parameterized complexity, fixed-parameter algorithms
26	Amihood Amir, Yonatan Aumann, Richard Cole 0001, Moshe Lewenstein, Ely Porat	Function Matching: Algorithms, Applications, and a Lower Bound.	ICALP	2003	DBLP DOI BibTeX RDF	function matching, parameterized matching, Pattern matching, register allocation, protein folding, color indexing
26	Ole Lehrmann Madsen	Semantic Analysis of Virtual Classes and Tested Classes.	OOPSLA	1999	DBLP DOI BibTeX RDF	generic class, parameterized class, semantic analysis, virtual class, BETA
26	H. Fatih Ugurdag, Thomas E. Fuhrman	Autocircuit: a clock edge general behavioral synthesis system with a direct path to physical datapath.	ICCD	1996	DBLP DOI BibTeX RDF	Autocircuit, clock edge general behavioral synthesis system, physical datapaths, next-generation synthesis tool, behavioral HDL input descriptions, data-flow representations, use-trees, raw-states, word-oriented synthesis, unique parameterized netlist representation, high level synthesis, high-level design
26	Martin Große-Rhode, Hartmut Ehrig	Transformation of Combined Data Type and Process Specifications Using Projection Algebras.	REX Workshop	1989	DBLP DOI BibTeX RDF	Projection Specification, Projection Algebra (Continuous Algebra), Parameterized Projection Specification, Horizontal and Vertical Operations, R-Implementation, Refinement
25	Dániel Marx, Ildikó Schlotter	Stable Assignment with Couples: Parameterized Complexity and Local Search.	IWPEC	2009	DBLP DOI BibTeX RDF
25	Gregory Z. Gutin, Eun Jung Kim 0002, Stefan Szeider, Anders Yeo	A Probabilistic Approach to Problems Parameterized above or below Tight Bounds.	IWPEC	2009	DBLP DOI BibTeX RDF
25	Sylvain Guillemot	Parameterized Complexity and Approximability of the SLCS Problem.	IWPEC	2008	DBLP DOI BibTeX RDF
25	Omid Amini, Ignasi Sau, Saket Saurabh 0001	Parameterized Complexity of the Smallest Degree-Constrained Subgraph Problem.	IWPEC	2008	DBLP DOI BibTeX RDF
25	Allan Scott, Ulrike Stege	Parameterized Chess.	IWPEC	2008	DBLP DOI BibTeX RDF
25	Fábio Protti, Maise Dantas da Silva, Jayme Luiz Szwarcfiter	Applying Modular Decomposition to Parameterized Bicluster Editing.	IWPEC	2006	DBLP DOI BibTeX RDF	edge modification problems, bicluster graphs, NP-complete problems, fixed-parameter tractability, cluster graphs
25	Christian Sloper, Jan Arne Telle	Towards a Taxonomy of Techniques for Designing Parameterized Algorithms.	IWPEC	2006	DBLP DOI BibTeX RDF
25	Dániel Marx	Parameterized Complexity of Independence and Domination on Geometric Graphs.	IWPEC	2006	DBLP DOI BibTeX RDF
25	Dániel Marx	Parameterized Coloring Problems on Chordal Graphs.	IWPEC	2004	DBLP DOI BibTeX RDF
25	Luke Mathieson, Elena Prieto-Rodriguez, Peter Shaw 0001	Packing Edge Disjoint Triangles: A Parameterized View.	IWPEC	2004	DBLP DOI BibTeX RDF
25	Iyad A. Kanj, Michael J. Pelsmajer, Marcus Schaefer 0001	Parameterized Algorithms for Feedback Vertex Set.	IWPEC	2004	DBLP DOI BibTeX RDF
25	Dániel Marx	Parameterized Graph Separation Problems.	IWPEC	2004	DBLP DOI BibTeX RDF
25	Peter Damaschke	Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction.	IWPEC	2004	DBLP DOI BibTeX RDF
24	Dániel Marx	Completely Inapproximable Monotone and Antimonotone Parameterized Problems.	CCC	2010	DBLP DOI BibTeX RDF	parameterized comlexity, approximation, fixed-parameter tractability, inapproximability
24	I. G. Amiraliyeva, G. M. Amiraliyev	Uniform difference method for parameterized singularly perturbed delay differential equations.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Parameterized problem, Piecewise-uniform mesh, Error estimates, Singular perturbation, Delay differential equation
24	Minzhu Xie, Jianxin Wang 0001	An Improved (and Practical) Parameterized Algorithm for the Individual Haplotyping Problem MFR with Mate-Pairs.	Algorithmica	2008	DBLP DOI BibTeX RDF	SNP (single-nucleotide polymorphism), NP-hardness, Haplotype, Genotype, Parameterized algorithm
24	Egbert Mujuni	Parameterized Algorithms in Smooth 4-Regular Hamiltonian Graphs.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Algorithm, graph coloring, independent set, parameterized complexity
24	Petr A. Golovach, Yngve Villanger	Parameterized Complexity for Domination Problems on Degenerate Graphs.	WG	2008	DBLP DOI BibTeX RDF	degenerate graphs, algorithms, domination, Parameterized complexity
24	Yongjian Li	Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols.	SAC	2007	DBLP DOI BibTeX RDF	parameterized verification, theorem proving, symmetry