Search results for "Parameterized"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
71	Petr A. Golovach, Dimitrios M. Thilikos	Paths of Bounded Length and Their Cuts: Parameterized Complexity and Algorithms.	IWPEC	2009	DBLP DOI BibTeX RDF	Bounded length disjoint paths, Bounded length cuts, Parameterized Complexity, Parameterized Algorithms
67	I-Lun Tseng, Adam Postula	Partitioning parameterized 45-degree polygons with constraint programming.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Parameterized polygons, analog and mixed-signal design, parameterized layouts, trapezoidal corner stitching, polygon decomposition
64	I-Han Hsiao, Sergey A. Sosnovsky, Peter Brusilovsky	Extending parameterized problem-tracing questions for Java with personalized guidance.	ITiCSE	2009	DBLP DOI BibTeX RDF	parameterized questions, java, personalization, self-assessment
61	Amir Pnueli, Lenore D. Zuck	Model-Checking and Abstraction to the Aid of Parameterized Systems.	VMCAI	2003	DBLP DOI BibTeX RDF
58	Abhik Roychoudhury, I. V. Ramakrishnan	Inductively Verifying Invariant Properties of Parameterized Systems.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	induction proofs, logic programming, program transformations, concurrent systems, unfolding, folding, parameterized systems
58	Shinji Umeyama	Parameterized Point Pattern Matching and Its Application to Recognition of Object Families.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	object families, parameterized point pattern, tree search procedure, delta -boundedness, pruning methods, shape matching problem, pattern recognition, pattern matching, trees (mathematics), search problems
55	I-Lun Tseng, Adam Postula	An efficient algorithm for partitioning parameterized polygons into rectangles.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	corner stitching, parameterized layouts, parameterized polygons, polygon decomposition
52	Jérémy Barbay, Rolf Klein, Alejandro López-Ortiz, Rolf Niedermeier	09171 Executive Summary - Adaptive, Output Sensitive, Online and Parameterized Algorithms.	Adaptive, Output Sensitive, Online and Parameterized Algorithms	2009	DBLP BibTeX RDF
52	Erik D. Demaine, MohammadTaghi Hajiaghayi, Dániel Marx	09511 Abstracts Collection - Parameterized complexity and approximation algorithms.	Parameterized complexity and approximation algorithms	2009	DBLP BibTeX RDF
52	Erik D. Demaine, MohammadTaghi Hajiaghayi, Dániel Marx	09511 Open Problems - Parameterized complexity and approximation algorithms.	Parameterized complexity and approximation algorithms	2009	DBLP BibTeX RDF
52	Spyros Angelopoulos 0001	Parameterized Analysis of Online Steiner Tree Problems.	Adaptive, Output Sensitive, Online and Parameterized Algorithms	2009	DBLP BibTeX RDF
52	Erik D. Demaine, MohammadTaghi Hajiaghayi, Dániel Marx	09511 Executive Summary - Parameterized complexity and approximation algorithms.	Parameterized complexity and approximation algorithms	2009	DBLP BibTeX RDF
52	Jérémy Barbay, Rolf Klein, Alejandro López-Ortiz, Rolf Niedermeier	09171 Abstracts Collection - Adaptive, Output Sensitive, Online and Parameterized Algorithms.	Adaptive, Output Sensitive, Online and Parameterized Algorithms	2009	DBLP BibTeX RDF
49	Stefan S. Dantchev, Barnaby Martin, Stefan Szeider	Parameterized Proof Complexity.	FOCS	2007	DBLP DOI BibTeX RDF
47	I-Han Hsiao, Sergey A. Sosnovsky, Peter Brusilovsky	Adaptive Navigation Support for Parameterized Questions in Object-Oriented Programming.	EC-TEL	2009	DBLP DOI BibTeX RDF	parameterized quizzes, object-oriented programming, self-assessment, adaptive navigation support
47	Nikolaos D. Liveris, Hai Zhou 0001, Robert P. Dick, Prithviraj Banerjee	State space abstraction for parameterized self-stabilizing embedded systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	verification, abstraction, parameterized systems, self-stabilizing systems, network invariants
47	Lakshminarayanan Renganarayanan, DaeGon Kim, Sanjay V. Rajopadhye, Michelle Mills Strout	Parameterized tiled loops for free.	PLDI	2007	DBLP DOI BibTeX RDF	parameterized tiling, code generation, bounding box, Fourier-Motzkin elimination
47	Cecilia E. Nugraheni	Universal Properties Verification of Parameterized Parallel Systems.	ICCSA (3)	2005	DBLP DOI BibTeX RDF	parameterized parallel system, verification, formal method, temporal logics, diagram
47	Adel Bouhoula	Sufficient Completeness and Parameterized Proofs by Induction.	ALP	1994	DBLP DOI BibTeX RDF	Implicit induction, Parameterized Conditional Specifications, Theorem Proving, Term rewriting systems, Sufficient completeness
44	Sudipta Kundu, Zachary Tatlock, Sorin Lerner	Proving optimizations correct using parameterized program equivalence.	PLDI	2009	DBLP DOI BibTeX RDF	compiler optimization, correctness, translation validation
44	Nikolai Tillmann, Wolfram Schulte	Parameterized unit tests.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	automatic test input generation, unit testing, symbolic execution, constraint solving, algebraic data types
44	Qiang Liu, Edmond C. Prakash	Cyber Surgery: Parameterized Mesh for Multi-modal Surgery Simulation.	PCM (1)	2005	DBLP DOI BibTeX RDF
44	Ilias Nitsos, Georgios Evangelidis 0001, Dimitrios Dervos	g-binary: A New Non-parameterized Code for Improved Inverted File Compression.	DEXA	2003	DBLP DOI BibTeX RDF
44	Donglin Liang, Mary Jean Harrold	Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses.	SAS	2001	DBLP DOI BibTeX RDF
42	Erik D. Demaine, MohammadTaghi Hajiaghayi, Dániel Marx (eds.)	Parameterized complexity and approximation algorithms, 13.12. - 17.12.2009	Parameterized complexity and approximation algorithms	2009	DBLP BibTeX RDF
42	Jérémy Barbay, Rolf Klein, Alejandro López-Ortiz, Rolf Niedermeier (eds.)	Adaptive, Output Sensitive, Online and Parameterized Algorithms, 19.04. - 24.04.2009	Adaptive, Output Sensitive, Online and Parameterized Algorithms	2009	DBLP BibTeX RDF
42	Guy Kortsarz, Zeev Nutov	Approximating minimum cost connectivity problems.	Parameterized complexity and approximation algorithms	2009	DBLP BibTeX RDF
42	Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos	Contraction Bidimensionality: the Accurate Picture.	Parameterized complexity and approximation algorithms	2009	DBLP BibTeX RDF
42	Holger Dell, Dieter van Melkebeek	Satisfiability Allows No Nontrivial Sparsification Unless The Polynomial-Time Hierarchy Collapses.	Parameterized complexity and approximation algorithms	2009	DBLP BibTeX RDF
42	Kunal Talwar, Anupam Gupta 0001, Katrina Ligett, Frank McSherry, Aaron Roth 0001	Differentially Private Combinatorial Optimization.	Parameterized complexity and approximation algorithms	2009	DBLP BibTeX RDF
42	Rodney G. Downey, Michael R. Fellows, Catherine McCartin	Parameterized Approximation Problems.	IWPEC	2006	DBLP DOI BibTeX RDF
41	Qiusong Yang, Mingshu Li 0001	A cut-off approach for bounded verification of parameterized systems.	ICSE (1)	2010	DBLP DOI BibTeX RDF	cut-off, bounded model checking, parameterized system
41	Nikolai Tillmann, Jonathan de Halleux, Tao Xie 0001	Parameterized unit testing: theory and practice.	ICSE (2)	2010	DBLP DOI BibTeX RDF	Pex, parameterized unit testing, testing, theories, unit testing, symbolic execution, mock objects
41	Youssef Hanna, Samik Basu 0001, Hridesh Rajan	Behavioral automata composition for automatic topology independent verification of parameterized systems.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	parameterized model checking
41	Iyad A. Kanj, Luay Nakhleh, Ge Xia	The Compatibility of Binary Characters on Phylogenetic Networks: Complexity and Parameterized Algorithms.	Algorithmica	2008	DBLP DOI BibTeX RDF	Parameterized algorithms and complexity, Linguistics, Phylogenetic networks
41	Sungwook Kim, Jung Hee Cheon	A Parameterized Splitting System and Its Application to the Discrete Logarithm Problem with Low Hamming Weight Product Exponents.	Public Key Cryptography	2008	DBLP DOI BibTeX RDF	Discrete Logarithm Problem with Low Hamming Weight Product (LHWP) Exponents, Parameterized Splitting Systems
41	Khaled R. Heloue, Farid N. Najm	Parameterized timing analysis with general delay models and arbitrary variation sources.	DAC	2008	DBLP DOI BibTeX RDF	nonlinear delay, parameterized timing analysis, variability
41	Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta	Automatic Verification of Parameterized Data Structures.	TACAS	2006	DBLP DOI BibTeX RDF	Parameterized correctness, Data structures
41	Jian-Er Chen	Parameterized Computation and Complexity: A New Approach Dealing with NP-Hardness.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	parameterized computation, algorithm, approximation algorithm, complexity, NP-completeness, computational
41	Fedor V. Fomin, Dimitrios M. Thilikos	Fast Parameterized Algorithms for Graphs on Surfaces: Linear Kernel and Exponential Speed-Up.	ICALP	2004	DBLP DOI BibTeX RDF	embedded graphs, subexponential algorithms, Dominating set, parameterized algorithms, branch-width
41	Zoran M. Gacovski, Georgi M. Dimirovski	Parameterized Petri Net Reformulation of the Fuzzy Production System.	Fuzzy Days	2001	DBLP DOI BibTeX RDF	parameterized fuzzy-Petri-nets, organization level, decision making, knowledge base, complex systems, Fuzzy reasoning
40	Thanarat Horprasert Chalidabhongse, Yaser Yacoob, Larry S. Davis	Computing 3-D head orientation from a monocular image sequence.	FG	1996	DBLP DOI BibTeX RDF	3D head orientation computation, image-based parameterized tracking, face features, sub-pixel parameterized shape estimation, eye boundary, coarse structure, camera plane, projective cross-ratio invariance, anthropometric statistics, eye corners, head yaw, head roll, head pitch, face recognition, monocular image sequence
39	Panos Giannopoulos, Christian Knauer, Günter Rote	The Parameterized Complexity of Some Geometric Problems in Unbounded Dimension.	IWPEC	2009	DBLP DOI BibTeX RDF	geometric dimension, minimum enclosing cylinder, maximum feasible subsystem, 2-linear separability, lower bounds, parameterized complexity
38	Haim Kaplan, Ron Shamir, Robert Endre Tarjan	Tractability of parameterized completion problems on chordal and interval graphs: Minimum Fill-in and Physical Mapping	FOCS	1994	DBLP DOI BibTeX RDF	added edges, parameterized completion problems, minimum fill-in, NP-Hard graph completion problem, interval graphs, parameterized complexity, tractability, vertex coloring, physical mapping
38	Abderrahmane Bennis, Miriam Leeser, Gilead Tadmor	Implementing a Highly Parameterized Digital PIV System on Reconfigurable Hardware.	ASAP	2009	DBLP DOI BibTeX RDF
38	Michael R. Fellows, Daniel Lokshtanov, Neeldhara Misra, Frances A. Rosamond, Saket Saurabh 0001	Graph Layout Problems Parameterized by Vertex Cover.	ISAAC	2008	DBLP DOI BibTeX RDF
38	Carmit Hazay, Moshe Lewenstein, Dina Sokol	Approximate parameterized matching.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	mismatch pair, parameterize match, Hamming distance, maximum matching
38	Jianer Chen, Benny Chor, Mike Fellows, Xiuzhen Huang, David W. Juedes, Iyad A. Kanj, Ge Xia	Tight Lower Bounds for Certain Parameterized NP-Hard Problems.	CCC	2004	DBLP DOI BibTeX RDF
38	Abhik Roychoudhury, C. R. Ramakrishnan 0001	Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
38	Isabelle Attali, Tomás Barros, Eric Madelaine	Parameterized Specification and Verification of the Chilean Electronic Invoices System.	SCCC	2004	DBLP DOI BibTeX RDF
38	Giorgio Delzanno	Constraint-Based Verification of Parameterized Cache Coherence Protocols.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	constraints, abstractions, symbolic model checking, cache coherence protocols
38	Abhik Roychoudhury, I. V. Ramakrishnan	Automated Inductive Verification of Parameterized Protocols.	CAV	2001	DBLP DOI BibTeX RDF
38	Julia Padberg, Hartmut Ehrig	Parameterized Net Classes: A Uniform Approach to Petri Net Classes.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF	actual and formal parameter, uniform approach, rule-based refinement, Petri Nets, fusion, union, high-level nets
36	Moritz Müller	Parameterized Derandomization.	IWPEC	2008	DBLP DOI BibTeX RDF
36	Michael Dom, Daniel Lokshtanov, Saket Saurabh 0001, Yngve Villanger	Capacitated Domination and Covering: A Parameterized Perspective.	IWPEC	2008	DBLP DOI BibTeX RDF
35	Michael Emmi, Rupak Majumdar, Roman Manevich	Parameterized verification of transactional memories.	PLDI	2010	DBLP DOI BibTeX RDF	parameterized verification, transactional memory
35	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Approximated parameterized verification of infinite-state processes with global conditions.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Unbounded processes, Over-approximation, Parameterized systems
35	Shalabh Bhatnagar, Karmeshu, Vivek Kumar Mishra	Optimal parameter trajectory estimation in parameterized SDEs: An algorithmic procedure.	ACM Trans. Model. Comput. Simul.	2009	DBLP DOI BibTeX RDF	Optimal parameter trajectory, parameterized stochastic differential equations (SDEs), smoothed functional algorithm, simulation optimization
35	Scott D. Stoller, Ping Yang 0002, Mikhail I. Gofman, C. R. Ramakrishnan 0001	Symbolic reachability analysis for parameterized administrative role based access control.	SACMAT	2009	DBLP DOI BibTeX RDF	parameterized administrative role based access control, security policy analysis
35	Tammar Shrot, Yonatan Aumann, Sarit Kraus	Easy and hard coalition resource game formation problems: a parameterized complexity analysis.	AAMAS (1)	2009	DBLP BibTeX RDF	coalition problems, parameterized complexity
35	Antti Siirtola, Michal Valenta	Verifying Parameterized taDOM+ Lock Managers.	SOFSEM	2008	DBLP DOI BibTeX RDF	model-checking, Verification, case study, XML databases, parameterized systems
35	Lige Wen, Jianqiao Li, Xiuzhi Zhang, Benard Chirende	Parameterized Computer Aided Design of Stubble Cleaner.	CCTA	2007	DBLP DOI BibTeX RDF	Stubble cleaner, parameterized design, computer aided design
35	Gang Zhao, Liangxi Xie	Research on Kinematics Simulation of Parameterized Mechanism Based on Visualization in Scientific Computing.	CCTA	2007	DBLP DOI BibTeX RDF	visualization in scientific computing, MFC compiler, kinematics simulation for 3D mechanism, parameterized, OpenGL
35	Karl R. Abrahamson	Parameterized objects and inducements to explore functional programming.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	parameterized objects, persistent data structures
35	Umar Farooq 0009, Muhammad Saleem, Habibullah Jamal	Parameterized FIR Filtering IP Cores for Reusable SoC Design.	ITNG	2006	DBLP DOI BibTeX RDF	Finite Impulse Response (FIR) filter, Unfolded Direct Form (UDF), Folded Direct Form (FDF), Parameterized, SoC design, IP Core, Synthesis tools
35	Cédric du Mouza, Philippe Rigaux, Michel Scholl	Efficient evaluation of parameterized pattern queries.	CIKM	2005	DBLP DOI BibTeX RDF	parameterized patterns, query evaluation
35	Iyad A. Kanj, Ljubomir Perkovic	Improved Parameterized Algorithms for Planar Dominating Set.	MFCS	2002	DBLP DOI BibTeX RDF	planar dominating set, NP-complete problems, parameterized algorithms
35	Michel Cosnard, Emmanuel Jeannot, Tao Yang	SLC: Symbolic Scheduling for Executing Parameterized Task Graphs on Multiprocessors.	ICPP	1999	DBLP DOI BibTeX RDF	Parameterized task graph, symbolic scheduling, clustering, scheduling, multithreading, DAG, task parallelism
35	Honesty C. Young, Arun N. Swami	The parameterized Round-Robin partitioned algorithm for parallel external sort.	IPPS	1995	DBLP DOI BibTeX RDF	parameterized Round-Robin partitioned algorithm, parallel external sort, partition key values, parallel algorithms, computational complexity, complexity, message passing, sorting, coding, data prefetch, sort algorithm, message passing architecture
34	Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright	Parameter Passing in Algebraic Specification Languages.	Program Specification	1981	DBLP DOI BibTeX RDF
33	Narges Simjour	Improved Parameterized Algorithms for the Kemeny Aggregation Problem.	IWPEC	2009	DBLP DOI BibTeX RDF	Kemeny score, parameterized, enumeration, exact algorithms
32	Muthu Manikandan Baskaran, Albert Hartono, Sanket Tavarageri, Thomas Henretty, J. Ramanujam, P. Sadayappan	Parameterized tiling revisited.	CGO	2010	DBLP DOI BibTeX RDF	compile-time optimization, code generation, tiling
32	Michael R. Fellows, Jiong Guo, Iyad A. Kanj	The Parameterized Complexity of Some Minimum Label Problems.	WG	2009	DBLP DOI BibTeX RDF
32	Nikolay Rubanov	An information theoretic framework to compute the MAX/MIN operations in parameterized statistical timing analysis.	ISQED	2009	DBLP DOI BibTeX RDF
32	Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler	Verification of Parameterized Systems with Combinations of Abstract Domains.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
32	Yanfang Ma, Min Zhang 0007, Yixiang Chen	Parameterized Bisimulation Infinite Evolution Mechanism.	TASE	2009	DBLP DOI BibTeX RDF
32	Orgad Keller, Tsvi Kopelowitz, Moshe Lewenstein	On the Longest Common Parameterized Subsequence.	CPM	2008	DBLP DOI BibTeX RDF
32	Duo Li, Sheldon X.-D. Tan, Eduardo H. Pacheco, Murli Tirumala	Parameterized transient thermal behavioral modeling for chip multiprocessors.	ICCAD	2008	DBLP DOI BibTeX RDF
32	Nadja Betzler, Johannes Uhlmann	Parameterized Complexity of Candidate Control in Elections and Related Digraph Problems.	COCOA	2008	DBLP DOI BibTeX RDF
32	Gregory Z. Gutin, Arash Rafiey, Stefan Szeider, Anders Yeo	The Linear Arrangement Problem Parameterized Above Guaranteed Value.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
32	Kedar S. Namjoshi	Symmetry and Completeness in the Analysis of Parameterized Systems.	VMCAI	2007	DBLP DOI BibTeX RDF
32	Gregory Z. Gutin, Arash Rafiey, Stefan Szeider, Anders Yeo	The Linear Arrangement Problem Parameterized Above Guaranteed Value.	CIAC	2006	DBLP DOI BibTeX RDF
32	Tuba Yavuz-Kahveci, Tevfik Bultan	Verification of parameterized hierarchical state machines using action language verifier.	MEMOCODE	2005	DBLP DOI BibTeX RDF
32	Nikolai Tillmann, Wolfram Schulte	Parameterized unit tests with unit meister.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	automatic test input generation, unit testing, symbolic execution, constraint solving, algebraic data types
32	Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Transformational Verification of Parameterized Protocols Using Array Formulas.	LOPSTR	2005	DBLP DOI BibTeX RDF
32	Jörg Flum, Martin Grohe	Model-Checking Problems as a Basis for Parameterized Intractability.	LICS	2004	DBLP DOI BibTeX RDF
32	Yijia Chen, Jörg Flum, Martin Grohe	Bounded Nondeterminism and Alternation in Parameterized Complexity Theory.	CCC	2003	DBLP DOI BibTeX RDF
32	Jörg Flum, Martin Grohe	Describing Parameterized Complexity Classes.	STACS	2002	DBLP DOI BibTeX RDF
32	Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck	Parameterized Verification with Automatically Computed Inductive Assertions.	CAV	2001	DBLP DOI BibTeX RDF
32	E. Allen Emerson, Kedar S. Namjoshi	Verification of Parameterized Bus Arbitration Protocol.	CAV	1998	DBLP DOI BibTeX RDF
32	Liming Cai, Jianer Chen, Rodney G. Downey, Michael R. Fellows	On the parameterized complexity of short computation and factorization.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
32	Adel Bouhoula	SPIKE: a System for Sufficient Completeness and Parameterized Inductive Proofs.	CADE	1994	DBLP DOI BibTeX RDF
32	Hubert Baumeister	Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
31	Yijia Chen, Jörg Flum, Moritz Müller	Lower Bounds for Kernelizations and Other Preprocessing Procedures.	CiE	2009	DBLP DOI BibTeX RDF	kernelization, preprocessing, Parameterized complexity
31	Hao Yu 0001, Joanna Ho, Lei He 0001	Simultaneous power and thermal integrity driven via stapling in 3D ICs.	ICCAD	2006	DBLP DOI BibTeX RDF	structured and parameterized model order reduction, thermal modeling and management
31	Stefan Szeider	Backdoor Sets for DLL Subsolvers.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	unit propagation, pure literal elimination, backdoor sets, W[P]-completeness, satisfiability, parameterized complexity
31	Yufei Tao 0001, Dimitris Papadias	Spatial queries in dynamic environments.	ACM Trans. Database Syst.	2003	DBLP DOI BibTeX RDF	time-parameterized, Database, continuous, spatio-temporal
31	Jianer Chen, Iyad A. Kanj	Improved Exact Algorithms for MAX-SAT.	LATIN	2002	DBLP DOI BibTeX RDF	exact algorithms, parameterized algorithms, maximum satisfiability
30	Yijia Chen, Jörg Flum	The Parameterized Complexity of Maximality and Minimality Problems.	IWPEC	2006	DBLP DOI BibTeX RDF
30	Matthew Hamilton, Rhonda Chaytor, Todd Wareham	The Parameterized Complexity of Enumerating Frequent Itemsets.	IWPEC	2006	DBLP DOI BibTeX RDF