Search results for "parameterized"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Stefan Porschen	Optimal Parameterized Rectangular Coverings.	ICCSA (1)	2007	DBLP DOI BibTeX RDF	parameterized rectangular covering, integer grid, dynamic programming, NP-hardness, optimization problem, exact algorithmics, closure operator
24	Paolo D'Alberto, Alexandru Nicolau, Alexander V. Veidenbaum, Rajesh K. Gupta 0001	Line Size Adaptivity Analysis of Parameterized Loop Nests for Direct Mapped Data Cache.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Cache-line size adaptivity, parameterized loop nests, interference, spatial locality
24	Hasan M. Jamil	A case for parameterized views and relational unification.	SAC	2001	DBLP DOI BibTeX RDF	declarative methods, inheritance and overriding, parameterized views, reasoning unification, SQL, object-relational databases
24	Ziyad S. Hakura, John M. Snyder, Jerome Edward Lengyel	Parameterized environment maps.	SI3D	2001	DBLP DOI BibTeX RDF	Fresnel modulation, parameterized texture maps, surface light fields, reflections, IBR, ray tracing
24	Edmund M. Clarke, Orna Grumberg, Somesh Jha	Verifying Parameterized Networks.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	process invariants, model checking, temporal logic, parameterized systems
24	S. Rao Kosaraju	Faster Algorithms for the Construction of Parameterized Suffix Trees (Preliminary Version).	FOCS	1995	DBLP DOI BibTeX RDF	parameterized suffix trees, suffix tree algorithm, code duplication problem, computational complexity, pattern matching, trees (mathematics), string matching, suffix tree, algorithm theory
23	Dániel Marx, Igor Razgon	Constant Ratio Fixed-Parameter Approximation of the Edge Multicut Problem.	ESA	2009	DBLP DOI BibTeX RDF
23	Liming Cai, Michael R. Fellows, David W. Juedes, Frances A. Rosamond	The Complexity of Polynomial-Time Approximation.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
23	Sounaka Mishra, Venkatesh Raman 0001, Saket Saurabh 0001, Somnath Sikdar, C. R. Subramanian 0001	The Complexity of Finding Subgraphs Whose Matching Number Equals the Vertex Cover Number.	ISAAC	2007	DBLP DOI BibTeX RDF
23	Bengt Jonsson 0001, Mayank Saksena	Systematic Acceleration in Regular Model Checking.	CAV	2007	DBLP DOI BibTeX RDF
23	Zhuo Feng, Guo Yu, Peng Li 0001	Reducing the Complexity of VLSI Performance Variation Modeling Via Parameter Dimension Reduction.	ISQED	2007	DBLP DOI BibTeX RDF
23	Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang	Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values.	CAV	2004	DBLP DOI BibTeX RDF
23	Zbigniew Lonc, Miroslaw Truszczynski	Fixed-parameter complexity of semantics for logic programs.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Normal logic programs, fixed-parameter complexity, supported models, stable models
23	Bishnupriya Bhattacharya, Shuvra S. Bhattacharyya	Consistency Analysis of Reconfigurable Dataflow Specifications.	Embedded Processor Design Challenges	2002	DBLP DOI BibTeX RDF
23	Maurizio Palesi, Tony Givargis	Multi-objective design space exploration using genetic algorithms.	CODES	2002	DBLP DOI BibTeX RDF	Pareto-optimal configurations, system-on-a-chip architectures, genetic algorithms, low power design, design space exploration
23	Martin Grohe, Thomas Schwentick, Luc Segoufin	When is the evaluation of conjunctive queries tractable?	STOC	2001	DBLP DOI BibTeX RDF
21	Jianer Chen, Songjian Lu	Improved Parameterized Set Splitting Algorithms: A Probabilistic Approach.	Algorithmica	2009	DBLP DOI BibTeX RDF	Set splitting, Parametrized algorithm, Randomized algorithm, Derandomization
21	Jianer Chen, Iyad A. Kanj, Ge Xia	On Parameterized Exponential Time Complexity.	TAMC	2009	DBLP DOI BibTeX RDF
21	Petr A. Golovach, Jan Kratochvíl, Ondrej Suchý	Parameterized Complexity of Generalized Domination Problems.	WG	2009	DBLP DOI BibTeX RDF
21	Tomohiro I, Satoshi Deguchi, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda	Lightweight Parameterized Suffix Array Construction.	IWOCA	2009	DBLP DOI BibTeX RDF
21	Taehyung Lee, Joong Chae Na, Kunsoo Park	On-Line Construction of Parameterized Suffix Trees.	SPIRE	2009	DBLP DOI BibTeX RDF
21	Yen-Lin Chen, Jianyuan Min, Jinxiang Chai	Flexible registration of human motion data with parameterized motion models.	SI3D	2009	DBLP DOI BibTeX RDF
21	Efrat Be'ery, Arie Yeredor	Blind Separation of Superimposed Shifted Images Using Parameterized Joint Diagonalization.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
21	Hans L. Bodlaender, Pinar Heggernes, Yngve Villanger	Faster Parameterized Algorithms for Minimum Fill-In.	ISAAC	2008	DBLP DOI BibTeX RDF
21	Przemyslaw Rodwald, Janusz Stoklosa	Family of Parameterized Hash Algorithms.	SECURWARE	2008	DBLP DOI BibTeX RDF
21	Liang-Bi Chen, Yung-Chih Liu, Chen-Hung Chen, Chung-Fu Kao, Ing-Jer Huang	Parameterized embedded in-circuit emulator and its retargetable debugging software for microprocessor/microcontroller/DSP processor.	ASP-DAC	2008	DBLP DOI BibTeX RDF
21	Ali Cafer Gürbüz, James H. McClellan, Justin K. Romberg, Waymond R. Scott	Compressive sensing of parameterized shapes in images.	ICASSP	2008	DBLP DOI BibTeX RDF
21	Minzhu Xie, Jianxin Wang 0001, Wei Zhou, Jianer Chen	A Practical Parameterized Algorithm for Weighted Minimum Letter Flips Model of the Individual Haplotyping Problem.	FAW	2008	DBLP DOI BibTeX RDF
21	Michael Dom, Somnath Sikdar	The Parameterized Complexity of the Rectangle Stabbing Problem and Its Variants.	FAW	2008	DBLP DOI BibTeX RDF
21	Kirill Dyagilev, Shie Mannor, Nahum Shimkin	Efficient Reinforcement Learning in Parameterized Models: Discrete Parameter Case.	EWRL	2008	DBLP DOI BibTeX RDF
21	Jonathan de Halleux, Nikolai Tillmann	Parameterized Unit Testing with Pex.	TAP	2008	DBLP DOI BibTeX RDF
21	Fernando De la Torre, Minh Hoai Nguyen	Parameterized Kernel Principal Component Analysis: Theory and applications to supervised and unsupervised image alignment.	CVPR	2008	DBLP DOI BibTeX RDF
21	Sebastian Böcker, Sebastian Briesemeister, Quang Bao Anh Bui, Anke Truß	Going Weighted: Parameterized Algorithms for Cluster Editing.	COCOA	2008	DBLP DOI BibTeX RDF
21	Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine	Parameterized Tree Systems.	FORTE	2008	DBLP DOI BibTeX RDF
21	Yonatan Aumann, Yair Dombb	Fixed Structure Complexity.	IWPEC	2008	DBLP DOI BibTeX RDF
21	Jianer Chen	Randomized Disposal of Unknowns and Implicitly Enforced Bounds on Parameters.	IWPEC	2008	DBLP DOI BibTeX RDF
21	Maw-Shang Chang, Chuang-Chieh Lin, Peter Rossmanith	New Fixed-Parameter Algorithms for the Minimum Quartet Inconsistency Problem.	IWPEC	2008	DBLP DOI BibTeX RDF
21	Jiong Guo, Rolf Niedermeier, Sebastian Wernicke 0001	Parameterized Complexity of Vertex Cover Variants.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
21	Jacek Dmochowski, Jacob Benesty, Sofiène Affes	Direction of Arrival Estimation Using the Parameterized Spatial Correlation Matrix.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
21	Frederic Dorn, Fedor V. Fomin, Dimitrios M. Thilikos	Subexponential Parameterized Algorithms.	ICALP	2007	DBLP DOI BibTeX RDF
21	Yiyu Shi 0001, Lei He 0001	Empire: an efficient and compact multiple-parameterized model order reduction method.	ISPD	2007	DBLP DOI BibTeX RDF	reduction, sensitivity, parameter
21	Bao Liu 0001	Gate Level Statistical Simulation Based on Parameterized Models for Process and Signal Variations.	ISQED	2007	DBLP DOI BibTeX RDF
21	Xiuzhen Huang, Jing Lai	Parameterized Graph Problems in Computational Biology.	IMSCCS	2007	DBLP DOI BibTeX RDF
21	Jens Gramm, Jiong Guo, Rolf Niedermeier	Parameterized Intractability of Distinguishing Substring Selection.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
21	Donald Metzler	Estimation, sensitivity, and generalization in parameterized retrieval models.	CIKM	2006	DBLP DOI BibTeX RDF	generalization, estimation, sensitivity
21	David A. Greve	Parameterized congruences in ACL2.	ACL2	2006	DBLP DOI BibTeX RDF
21	Ling Ping, Chunguang Zhou	Parameterized Semi-supervised Classification Based on Support Vector for Multi-relational Data.	ICNC (1)	2006	DBLP DOI BibTeX RDF
21	David Sheldon, Rakesh Kumar 0002, Roman L. Lysecky, Frank Vahid, Dean M. Tullsen	Application-specific customization of parameterized FPGA soft-core processors.	ICCAD	2006	DBLP DOI BibTeX RDF
21	Zhuo Feng, Peng Li 0001	Performance-oriented statistical parameter reduction of parameterized systems via reduced rank regression.	ICCAD	2006	DBLP DOI BibTeX RDF
21	Charalampos Papamanthou, Ioannis G. Tollis	Parameterized st -Orientations of Graphs: Algorithms and Experiments.	GD	2006	DBLP DOI BibTeX RDF
21	Sang Min Oh, James M. Rehg, Frank Dellaert	Parameterized Duration Mmodeling for Switching Linear Dynamic Systems.	CVPR (2)	2006	DBLP DOI BibTeX RDF
21	Geoffrey M. Brown, Lee Pike	Easy Parameterized Verification of Biphase Mark and 8N1 Protocols.	TACAS	2006	DBLP DOI BibTeX RDF
21	Ping Yang 0002, Samik Basu 0001, C. R. Ramakrishnan 0001	Parameterized Verification of pi-Calculus Systems.	TACAS	2006	DBLP DOI BibTeX RDF
21	Ed F. Deprettere, Todor P. Stefanov, Shuvra S. Bhattacharyya, Mainak Sen	Affine Nested Loop Programs and their Binary Parameterized Dataflow Graph Counterparts.	ASAP	2006	DBLP DOI BibTeX RDF
21	Alicja Mieszkowicz-Rolka, Leszek Rolka	An Approach to Parameterized Approximation of Crisp and Fuzzy Sets.	RSCTC	2006	DBLP DOI BibTeX RDF
21	Ian D. L. Anderson, Mohammed A. S. Khalid	Design Space Exploration using Parameterized Cores: A Case Study.	CCECE	2006	DBLP DOI BibTeX RDF
21	Henning Fernau	ROMAN DOMINATION: A Parameterized Perspective.	SOFSEM	2006	DBLP DOI BibTeX RDF
21	Kevin Burrage, Vladimir Estivill-Castro, Michael R. Fellows, Michael A. Langston, Shev Mac, Frances A. Rosamond	The Undirected Feedback Vertex Set Problem Has a Poly(k) Kernel.	IWPEC	2006	DBLP DOI BibTeX RDF
21	Jianer Chen, Iyad A. Kanj, Jie Meng, Ge Xia, Fenghui Zhang	On the Effective Enumerability of NP Problems.	IWPEC	2006	DBLP DOI BibTeX RDF
21	Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi	A multiobjective genetic approach for system-level exploration in parameterized systems-on-a-chip.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
21	ChaeHoon Ban, Bonghee Hong, Donghyun Kim	Time Parameterized Interval R-Tree for Tracing Tags in RFID Systems.	DEXA	2005	DBLP DOI BibTeX RDF
21	Carmit Hazay, Moshe Lewenstein, Dekel Tsur	Two Dimensional Parameterized Matching.	CPM	2005	DBLP DOI BibTeX RDF
21	Jiong Guo, Rolf Niedermeier, Sebastian Wernicke 0001	Parameterized Complexity of Generalized Vertex Cover Problems.	WADS	2005	DBLP DOI BibTeX RDF
21	Naomi Nishimura, Prabhakar Ragde, Dimitrios M. Thilikos	Parameterized Counting Algorithms for General Graph Covering Problems.	WADS	2005	DBLP DOI BibTeX RDF
21	Xian Zhu, Shaobin Wang, Fan Hong, Junguo Liao	Distributed Credential Chain Discovery in Trust-Management with Parameterized Roles.	CANS	2005	DBLP DOI BibTeX RDF
21	Hongliang Chang, Vladimir Zolotov, Sambasivan Narayan, Chandu Visweswariah	Parameterized block-based statistical timing analysis with non-gaussian parameters, nonlinear delay functions.	DAC	2005	DBLP DOI BibTeX RDF
21	Xiaoheng Deng, Zhigang Chen 0001, Lianming Zhang	A Parameterized Model of TCP Slow Start.	NPC	2004	DBLP DOI BibTeX RDF
21	Hubert Y. Chan 0002	A Parameterized Algorithm for Upward Planarity Testing.	ESA	2004	DBLP DOI BibTeX RDF
21	Henning Fernau, David W. Juedes	A Geometric Approach to Parameterized Algorithms for Domination Problems on Planar Graphs.	MFCS	2004	DBLP DOI BibTeX RDF
21	Jianer Chen, Xiuzhen Huang, Iyad A. Kanj, Ge Xia	Polynomial Time Approximation Schemes and Parameterized Complexity.	MFCS	2004	DBLP DOI BibTeX RDF
21	Rodney G. Downey, Catherine McCartin	Some New Directions and Questions in Parameterized Complexity.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
21	Jingzhao Ou, Viktor K. Prasanna	PyGen: A MATLAB/Simulink Based Tool for Synthesizing Parameterized and Energy Efficient Designs Using FPGAs.	FCCM	2004	DBLP DOI BibTeX RDF
21	Neal K. Bambha, Shuvra S. Bhattacharyya, Jürgen Teich, Eckart Zitzler	Systematic Integration of Parameterized Local Search Techniques in Evolutionary Algorithms.	GECCO (2)	2004	DBLP DOI BibTeX RDF
21	Ali E. Abdallah, Etienne J. Khayat	A Formal Model for Parameterized Role-Based Access Control.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
21	Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko	How to Compute the Refinement Relation for Parameterized Systems.	MEMOCODE	2003	DBLP DOI BibTeX RDF
21	Guillermo Payá Vayá, Marcos Martínez Peiró, Francisco José Ballester-Merelo, Francisco José Mora Mas	Fully Parameterized Discrete Wavelet Packet Transform Architecture Oriented to FPGA.	FPL	2003	DBLP DOI BibTeX RDF
21	Richard Carlsson	Parameterized modules in Erlang.	Erlang Workshop	2003	DBLP DOI BibTeX RDF
21	Pavle Belanovic, Miriam Leeser	A Library of Parameterized Floating-Point Modules and Their Use.	FPL	2002	DBLP DOI BibTeX RDF
21	Yufei Tao 0001, Dimitris Papadias	Time-parameterized queries in spatio-temporal databases.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF	spatio-temporal databases, nearest neighbor queries
21	Marco Bozzano, Giorgio Delzanno	Beyond Parameterized Verification.	TACAS	2002	DBLP DOI BibTeX RDF
21	E. Allen Emerson, Vineet Kahlon	Model Checking Large-Scale and Parameterized Resource Allocation Systems.	TACAS	2002	DBLP DOI BibTeX RDF
21	Henning Fernau	On Parameterized Enumeration.	COCOON	2002	DBLP DOI BibTeX RDF
21	Giorgio Delzanno	Constraint-Based Model Checking for Parameterized Synchronous Systems.	FroCoS	2002	DBLP DOI BibTeX RDF
21	Monika Maidl	A Unifying Model Checking Approach for Safety Properties of Parameterized Systems.	CAV	2001	DBLP DOI BibTeX RDF
21	Claudia Ermel, Michael Weber 0003	Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
21	Martin Grohe	The Parameterized Complexity of Database Queries. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
21	Michael R. Fellows	Parameterized Complexity: The Main Ideas and Connections to Practical Computing.	Experimental Algorithmics	2000	DBLP DOI BibTeX RDF
21	Rupesh S. Shelar, Sacheendra Nath, Jagmohan S. Nanaware	Parameterized Reusable Component Library Methodology.	EUROMICRO	2000	DBLP DOI BibTeX RDF
21	Kai Baukus, Yassine Lakhnech, Karsten Stahl	Verifying Universal Properties of Parameterized Networks.	FTRTFT	2000	DBLP DOI BibTeX RDF
21	Subhash Khot, Venkatesh Raman 0001	Parameterized Complexity of Finding Subgraphs with Hereditary Properties.	COCOON	2000	DBLP DOI BibTeX RDF
21	Kresten Krab Thorup, Mads Torgersen	Unifying Genericity - Combining the Benefits of Virtual Types and Parameterized Classes.	ECOOP	1999	DBLP DOI BibTeX RDF
21	Martin Grohe	Descriptive and Parameterized Complexity.	CSL	1999	DBLP DOI BibTeX RDF
21	Elena Troubitsyna	Enhancing Dependability via Parameterized Refinement.	PRDC	1999	DBLP DOI BibTeX RDF
21	Shanon X. Ju, Michael J. Black, Yaser Yacoob	Cardboard People: A Parameterized Model of Articulated Image Motion.	FG	1996	DBLP DOI BibTeX RDF
21	Karsten Schmidt 0004	Parameterized Reachability Trees for Algebraic Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Analysis of higher-level net models
21	Pradip K. Jha, Nikil D. Dutt	Rapid estimation for parameterized components in high-level synthesis.	IEEE Trans. Very Large Scale Integr. Syst.	1993	DBLP DOI BibTeX RDF
21	Rolf Hennicker	Implementation of Parameterized Observational Specifications.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
21	T. Cesear, E. Iodice, C. Tsareff	PAMS: An Expert System for Parameterized Module Synthesis.	DAC	1987	DBLP DOI BibTeX RDF
20	Salvatore Ruggieri, Fred Mesnard	Variable ranges in linear constraints.	SAC	2010	DBLP DOI BibTeX RDF	parameterized polyhedra, interval arithmetic, constraint logic programming, linear constraints
20	Holger Dell, Dieter van Melkebeek	Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses.	STOC	2010	DBLP DOI BibTeX RDF	arithmetic progression free sets, hereditary graph properties, vertex deletion problems, satisfiability, kernelization, vertex cover, parameterized complexity, probabilistically checkable proofs, feedback vertex set, sparsification