|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2689 occurrences of 1754 keywords
|
|
|
Results
Found 7630 publication records. Showing 7630 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Fábio Protti, Maise Dantas da Silva, Jayme Luiz Szwarcfiter |
Applying Modular Decomposition to Parameterized Cluster Editing Problems. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Edge modification problems, Bicluster graphs, NP-complete problems, Fixed-parameter tractability, Cluster graphs |
15 | Oleg Grodzevich, Henry Wolkowicz |
Regularization using a parameterized trust region subproblem. |
Math. Program. |
2009 |
DBLP DOI BibTeX RDF |
Trust region subproblem, L-curve, Image restoration, Regularization, Ill-conditioned problems |
15 | Monica Hernandez, Matías N. Bossa, Salvador Olmos |
Registration of Anatomical Images Using Paths of Diffeomorphisms Parameterized with Stationary Vector Field Flows. |
Int. J. Comput. Vis. |
2009 |
DBLP DOI BibTeX RDF |
LDDMM, Diffeomorphic registration, Infinite dimensional, Stationary parameterization, Efficient, Riemannian manifold, Computational Anatomy |
15 | Klaus Jansen |
Parameterized approximation scheme for the multiple knapsack problem. |
SODA |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Michael Dom, Michael R. Fellows, Frances A. Rosamond |
Parameterized Complexity of Stabbing Rectangles and Squares in the Plane. |
WALCOM |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Yijia Chen, Jörg Flum |
A Logic for PTIME and a Parameterized Halting Problem. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Joxan Jaffar, Andrew E. Santosa |
Recursive Abstractions for Parameterized Systems. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Jirí Fiala 0001, Petr A. Golovach, Jan Kratochvíl |
Parameterized Complexity of Coloring Problems: Treewidth versus Vertex Cover. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Hai Wang 0002, Hao Yu 0001, Sheldon X.-D. Tan |
Fast analysis of nontree-clock network considering environmental uncertainty by parameterized and incremental macromodeling. |
ASP-DAC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Constanta-Nicoleta Bodea, Maria Dascalu 0001 |
A Parameterized Web-Based Testing Model for Project Management. |
ICWL |
2009 |
DBLP DOI BibTeX RDF |
concept space graphs, testing, metadata, project management, web ontology language |
15 | Anuj Dawar, Yuguo He |
Parameterized Complexity Classes under Logical Reductions. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Ahmad Ghazal, Dawit Yimam Seid, Ramesh Bhashyam, Alain Crolotte, Manjula Koppuravuri, Vinod G |
Dynamic plan generation for parameterized queries. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
optimizations, compilation, dynamic |
15 | Mauricio Osorio 0001, Simone Pascucci |
The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Henning Fernau, Serge Gaspers, Daniel Raible 0001 |
Exact and Parameterized Algorithms for Max Internal Spanning Tree. |
WG |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Wilfried Jouve, Julien Bruneau 0001, Charles Consel |
DiaSim: A Parameterized Simulator for Pervasive Computing Applications. |
PerCom |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Jidi Zhao, Harold Boley, Weichang Du |
Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic. |
ICIC (2) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Uday Doddannagari, Shiyan Hu, Weiping Shi |
Fast characterization of parameterized cell library. |
ISQED |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Melih Onus, Andréa W. Richa |
Brief announcement: parameterized maximum and average degree approximation in topic-based publish-subscribe overlay network design. |
SPAA |
2009 |
DBLP DOI BibTeX RDF |
optimization, peer-to-peer, multicast, overlay networks, pub/sub |
15 | Hamid Shojaei, Amir Hossein Ghamarian, Twan Basten, Marc Geilen, Sander Stuijk, Rob Hoes |
A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
CMP run-time management, MMKP, Pareto algebra |
15 | Hans L. Bodlaender, Daniel Lokshtanov, Eelko Penninkx |
Planar Capacitated Dominating Set Is W[1]-Hard. |
IWPEC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Gregory Z. Gutin, Daniel Karapetyan, Igor Razgon |
Fixed-Parameter Algorithms in Analysis of Heuristics for Extracting Networks in Linear Programs. |
IWPEC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Daniel Raible 0001, Peter Rossmanith |
An Exact Algorithm for the Maximum Leaf Spanning Tree Problem. |
IWPEC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Jean Daligault, Stéphan Thomassé |
On Finding Directed Trees with Many Leaves. |
IWPEC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Qinmin Yang, Jonathan Blake Vance, Sarangapani Jagannathan |
Control of Nonaffine Nonlinear Discrete-Time Systems Using Reinforcement-Learning-Based Linearly Parameterized Neural Networks. |
IEEE Trans. Syst. Man Cybern. Part B |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kin Cheong Sou, Alexandre Megretski, Luca Daniel |
A Quasi-Convex Optimization Approach to Parameterized Model Order Reduction. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Xiaowen Chu 0001 |
Provisioning of Parameterized Quality of Service in 802.11e Based Wireless Mesh Networks. |
Mob. Networks Appl. |
2008 |
DBLP DOI BibTeX RDF |
quality of service, wireless mesh network, 802.11e |
15 | Wenbin Guo, Shuguang Cui |
A q-Parameterized Deterministic Annealing EM Algorithm Based on Nonextensive Statistical Mechanics. |
IEEE Trans. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Tal Nir, Alfred M. Bruckstein, Ron Kimmel |
Over-Parameterized Variational Optical Flow. |
Int. J. Comput. Vis. |
2008 |
DBLP DOI BibTeX RDF |
L 1 regularization, Over-parametrization, Optical flow, Variational methods |
15 | Yungbum Jung, Kwangkeun Yi |
Practical memory leak detector based on parameterized procedural summaries. |
ISMM |
2008 |
DBLP DOI BibTeX RDF |
program analysis, abstract interpretation, memory management, error detection, shape analysis, memory leaks |
15 | Jianxin Wang 0001, Dan Ning, Qilong Feng, Jianer Chen |
An Improved Parameterized Algorithm for a Generalized Matching Problem. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sankalita Saha, Neal K. Bambha, Shuvra S. Bhattacharyya |
Parameterized design framework for hardware implementation of particle filters. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kristoffer Arnsfelt Hansen, Thomas Dueholm Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen |
Approximability and Parameterized Complexity of Minmax Values. |
WINE |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Shankar Neelkrishnan, Mei Yang, Yingtao Jiang, Lei Zhang 0014, Yulu Yang, Enyue Lu, Xiao-chun Yun |
Design and Implementation of a Parameterized NoC Router and its Application to Build PRDT-Based NoCs. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
PRDT, router, NoC |
15 | Khaled R. Heloue, Sari Onaissi, Farid N. Najm |
Efficient block-based parameterized timing analysis covering all potentially critical paths. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Minh Hoai Nguyen, Fernando De la Torre |
Local minima free Parameterized Appearance Models. |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Nadja Betzler, Jiong Guo, Rolf Niedermeier |
Parameterized Computational Complexity of Dodgson and Young Elections. |
SWAT |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Henning Fernau, Daniel Raible 0001 |
A Parameterized Perspective on Packing Paths of Length Two. |
COCOA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Venkatesh Raman 0001, Saket Saurabh 0001, Sriganesh Srihari |
Parameterized Algorithms for Generalized Domination. |
COCOA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sorin Olaru, Ioan Dumitrache, Didier Dumur |
Geometrical Analysis of Model Predictive Control: A Parameterized Polyhedra Approach. |
NAA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Johann A. Makowsky |
Uniform Algebraic Reducibilities between Parameterized Numeric Graph Invariants. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine |
Handling Parameterized Systems with Non-atomic Global Conditions. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Luping Ding, Elke A. Rundensteiner |
Index tuning for parameterized streaming groupby queries. |
SSPS |
2008 |
DBLP DOI BibTeX RDF |
groupby, index tuning, streaming data processing, index selection |
15 | Soroush Abbaspour, Hanif Fatemi, Massoud Pedram |
Parameterized Non-Gaussian Variational Gate Timing Analysis. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Rajeev R. Rao, Kaviraj Chopra, David T. Blaauw, Dennis Sylvester |
Computing the Soft Error Rate of a Combinational Logic Circuit Using Parameterized Descriptors. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Monica Hernandez, Matías N. Bossa, Salvador Olmos |
Registration of anatomical images using geodesic paths of diffeomorphisms parameterized with stationary vector fields. |
ICCV |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Hannes Moser, Venkatesh Raman 0001, Somnath Sikdar |
The Parameterized Complexity of the Unique Coverage Problem. |
ISAAC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Guillermo Payá Vayá, Javier Martín-Langerwerf, Piriya Taptimthong, Peter Pirsch |
Design Space Exploration of Media Processors: A Parameterized Scheduler. |
ICSAMOS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Parameterized Verification of Infinite-State Processes with Global Conditions. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Muzammil Shahbaz, Keqin Li 0002, Roland Groz |
Learning and Integration of Parameterized Components Through Testing. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Costas S. Iliopoulos, Marcin Kubica, M. Sohel Rahman, Tomasz Walen |
Algorithms for Computing the Longest Parameterized Common Subsequence. |
CPM |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Marc Thurley |
Kernelizations for Parameterized Counting Problems. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Guillermo Payá Vayá, Javier Martín-Langerwerf, Piriya Taptimthong, Peter Pirsch |
Design Space Exploration of Media Processors: A Generic VLIW Architecture and a Parameterized Scheduler. |
ARCS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Yazhuo Dong, Yong Dou |
A Parameterized Architecture Model in High Level Synthesis for Image Processing Applications. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Vikraman Arvind, Johannes Köbler, Wolfgang Lindner 0002 |
Parameterized Learnability of k -Juntas and Related Problems. |
ALT |
2007 |
DBLP DOI BibTeX RDF |
Subject Classification Learning theory, computational complexity |
15 | Yohei Hasegawa, Hideharu Amano |
Design Methodology and Trade-offs Analysis for Parameterized Dynamically Reconfigurable Processor Arrays. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Qing Yi, Keith Seymour, Haihang You, Richard W. Vuduc, Daniel J. Quinlan |
POET: Parameterized Optimizations for Empirical Tuning. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Siamak Nazari, John G. Thistle |
Structural Conditions for Model-checking of Parameterized Networks. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Hannes Moser, Somnath Sikdar |
The Parameterized Complexity of the Induced Matching Problem in Planar Graphs. |
FAW |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jianer Chen, Yang Liu 0002, Songjian Lu |
An Improved Parameterized Algorithm for the Minimum Node Multiway Cut Problem. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Timo Böhme, Erhard Rahm |
Parameterized XPath Views. |
BNCOD |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine |
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Adrián Riesco 0001, Alberto Verdejo |
Distributed Applications Implemented in Maude with Parameterized Skeletons. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
distributed applications, parameterization, Maude, Algorithmic skeletons |
15 | Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse |
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jörg Flum |
Parameterized Complexity and Logic. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti |
Instantiation of Parameterized Data Structures for Model-Based Testing. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ratnakar Goyal, Sachin Shrivastava, Harindranath Parameswaran, Parveen Khurana |
Improved First-Order Parameterized Statistical Timing Analysis for Handling Slew and Capacitance Variation. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Yijia Chen, Jörg Flum |
On Parameterized Path and Chordless Path Problems. |
CCC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jian Wang, Xin Li 0001, Lawrence T. Pileggi |
Parameterized Macromodeling for Analog System-Level Design Exploration. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo |
A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Michael R. Fellows, Jens Gramm, Rolf Niedermeier |
On The Parameterized Intractability Of Motif Search Problems. |
Comb. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03D15, 68Q17, 68Q25 |
15 | Domonkos Tikk, Zsolt Tivadar Kardkovács, Ferenc Szidarovszky |
Voting with a parameterized veto strategy: solving the KDD Cup 2006 problem by means of a classifier committee. |
SIGKDD Explor. |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Rainer Schaffer, Renate Merker |
Parameterized Mapping of Algorithms onto Processor Arrays with Sub-Word Parallelism. |
ICSAMOS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Hisashi Kashima, Naoki Abe |
A Parameterized Probabilistic Model of Network Evolution for Supervised Link Prediction. |
ICDM |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jinbo Xu, Feng Jiao, Bonnie Berger |
A Parameterized Algorithm for Protein Structure Alignment. |
RECOMB |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ping Yu 0001, Weiwei Sun 0008, Baile Shi |
A Parameterized Flexible Indexing Scheme for Data Broadcast in Wireless Mobile Environments. |
CIT |
2006 |
DBLP DOI BibTeX RDF |
Air Index, Mobile Computing, Wireless Networks, Energy Conservation, Data Broadcast |
15 | Dániel Marx |
A Parameterized View on Matroid Optimization Problems. |
ICALP (1) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ling Zhuo, Viktor K. Prasanna |
High-Performance and Parameterized Matrix Factorization on FPGAs. |
FPL |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jianer Chen, Iyad A. Kanj, Ge Xia |
Improved Parameterized Upper Bounds for Vertex Cover. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin |
DatalogDL: Datalog Rules Parameterized by Description Logics. |
CSWWS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jen-Jou Hung, André Seifert |
FlexSched: A Parameterized Data Schedule Generator for Multi-Channel Broadcast Systems. |
MDM |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Xiao-fei Shi, Jidong Suo, Chang Liu, Li Li |
A Novel Kurtosis-Dependent Parameterized Independent Component Analysis Algorithm. |
ISNN (1) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Xin Jia, Ranga Vemuri |
Studying a GALS FPGA architecture using a parameterized automatic design flow. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ming-Yung Ko, Claudiu Zissulescu, Sebastian Puthenpurayil |
Parameterized Looped Schedules for Compact Representationof Execution Sequences. |
ASAP |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Venkatesh Raman 0001, Saket Saurabh 0001 |
Triangles, 4-Cycles and Parameterized (In-)Tractability. |
SWAT |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Keqin Li 0002, Roland Groz, Muzammil Shahbaz |
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Yijia Chen, Martin Grohe |
An Isomorphism between Subexponential and Parameterized Complexity Theory. |
CCC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Isabela Drummond, Sandra A. Sandri |
Parameterized Imprecise Classification: Elicitation and Assessment. |
IBERAMIA-SBIA |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ziqing Mao, Ninghui Li, William H. Winsborough |
Distributed Credential Chain Discovery in Trust Management with Parameterized Roles and Constraints (Short Paper). |
ICICS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Yang Liu 0002, Songjian Lu, Jianer Chen, Sing-Hoi Sze |
Greedy Localization and Color-Coding: Improved Matching and Packing Algorithms. |
IWPEC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Henning Fernau |
edge dominating set: Efficient Enumeration-Based Exact Algorithms. |
IWPEC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Meena Mahajan, Venkatesh Raman 0001, Somnath Sikdar |
Parameterizing MAX SNP Problems Above Guaranteed Values. |
IWPEC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jiong Guo, Rolf Niedermeier, Sebastian Wernicke 0001 |
Fixed-Parameter Tractability Results for Full-Degree Spanning Tree and Its Dual. |
IWPEC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Dániel Marx |
Parameterized complexity of constraint satisfaction problems. |
Comput. Complex. |
2005 |
DBLP DOI BibTeX RDF |
Subject classification. 68Q25, 68Q17 |
15 | Carsten Schneider |
Degree Bounds to Find Polynomial Solutions of Parameterized Linear Difference Equations in Pi-Sigma-Fields. |
Appl. Algebra Eng. Commun. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Linear Difference Equations, ??-Fields, Degree Bounds |
15 | Ana L. Milanova, Atanas Rountev, Barbara G. Ryder |
Parameterized object sensitivity for points-to analysis for Java. |
ACM Trans. Softw. Eng. Methodol. |
2005 |
DBLP DOI BibTeX RDF |
def-use analysis, side-effect analysis, Static analysis, context sensitivity, points-to analysis, class analysis |
15 | Milene Barbosa Carvalho, Alexandre Marques Amaral, Luiz Eduardo da Silva Ramos, Carlos Augusto Paiva da Silva Martins, Petr Ekel |
Artificial Neural Network Engine: Parallel and Parameterized Architecture Implemented in FPGA. |
PReMI |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Joachim Kneis, Daniel Mölle, Stefan Richter 0001, Peter Rossmanith |
On the Parameterized Complexity of Exact Satisfiability Problems. |
MFCS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Salvatore Greco, Benedetto Matarazzo, Roman Slowinski |
Rough Membership and Bayesian Confirmation Measures for Parameterized Rough Sets. |
RSFDGrC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Panagiotis Manolios, Sudarshan K. Srinivasan |
A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification Problems. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan |
Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 7630 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|