|
|
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 |
14 | Robert Soricone, Melvin Neville |
Comparative analysis of genetic algorithm implementations. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
genetic algorithms, parameterized types |
14 | Michael Brachtl, Andreas Uhl, Werner Dietl |
Key-dependency for a wavelet-based blind watermarking algorithm. |
MM&Sec |
2004 |
DBLP DOI BibTeX RDF |
parameterized wavelet filters, wavelet packets, multiple watermarking, blind watermarking |
14 | Josep Díaz, Jordi Petit, Maria J. Serna |
A survey of graph layout problems. |
ACM Comput. Surv. |
2002 |
DBLP DOI BibTeX RDF |
Approximation algorithms, complexity, heuristics, embedding, layout, random graphs, parameterized complexity |
14 | Yung-Pin Cheng |
Refactoring design models for inductive verification. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
concurrency, refactoring, compositional analysis, parameterized system, network invariants |
14 | Markus Frick, Martin Grohe |
Deciding first-order properties of locally tree-decomposable structures. |
J. ACM |
2001 |
DBLP DOI BibTeX RDF |
model-checking, locality, planar graphs, First-order logic, query evaluation, parameterized complexity, tree-width |
14 | Tony Givargis, Frank Vahid, Jörg Henkel |
Trace-driven system-level power evaluation of system-on-a-chip peripheral cores. |
ASP-DAC |
2001 |
DBLP DOI BibTeX RDF |
low power system design, parameterized architectures, system-on-a-chip, intellectual property, cores, system-level modeling |
14 | Frank Vahid, Ann Gordon-Ross |
A self-optimizing embedded microprocessor using a loop table for low power. |
ISLPED |
2001 |
DBLP DOI BibTeX RDF |
parameterized architectures, self-optimizing architecture, embedded systems, low-power, system-on-a-chip, platforms, cores, tuning |
14 | Arnold L. Rosenberg |
Sharing Partitionable Workloads in Heterogeneous NOWs: Greedier Is Not Better. |
CLUSTER |
2001 |
DBLP DOI BibTeX RDF |
Heterogeneous NOW, Parameterized architectural model, Self-scheduling protocol, Worksharing, Cluster computing, Network of workstations (NOW) |
14 | Greg Stitt, Frank Vahid, Tony Givargis, Roman L. Lysecky |
A first-step towards an architecture tuning methodology for low power. |
CASES |
2000 |
DBLP DOI BibTeX RDF |
parameterized architectures, embedded systems, low-power, system-on-a-chip, cores, tuning |
14 | Michael J. Black, Allan D. Jepson |
Estimating Optical Flow in Segmented Images Using Variable-Order Parametric Models With Local Deformations. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1996 |
DBLP DOI BibTeX RDF |
parameterized flow models, segmentation, Optical flow, local deformation, robust regression |
14 | Isabelle Vernier-Mounier |
Symbolic Executions of Symmetrical Parallel Programs. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
parameterized programs, Petri net, symbolic execution |
14 | Moiez A. Tapia, Jerry H. Tucker |
Complete Solution of Boolean Equations. |
IEEE Trans. Computers |
1980 |
DBLP DOI BibTeX RDF |
reduced solutions, characteristic equation, complete solutions, number of distinct solutions, parameterized solutions, Boolean algebra, Boolean equations |
14 | Richard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe |
The Euclid Language: a progress report. |
ACM Annual Conference (1) |
1978 |
DBLP DOI BibTeX RDF |
Legality assertions, Machine dependencies, Visibility of names, Reliability, Verification, Language, Pascal, Aliasing, Storage allocation, Systems programming, Data encapsulation, Parameterized types, Euclid, EUCLID |
11 | Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta |
Security validation tool for business processes. |
SACMAT |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Christopher Thomas Ryan, Albert Xin Jiang, Kevin Leyton-Brown |
Computing pure strategy nash equilibria in compact symmetric games. |
EC |
2010 |
DBLP DOI BibTeX RDF |
rational generating functions, symmetric games, game theory |
11 | Ove Daae Lampe, Carlos D. Correa, Kwan-Liu Ma, Helwig Hauser |
Curve-Centric Volume Reformation for Comparative Visualization. |
IEEE Trans. Vis. Comput. Graph. |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Adrian M. Peter, Anand Rangarajan 0001 |
Information Geometry for Landmark Shape Analysis: Unifying Shape Representation and Deformation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong |
Fair Model Checking with Process Counter Abstraction. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Qilong Feng, Yang Liu 0002, Songjian Lu, Jianxin Wang 0001 |
Improved Deterministic Algorithms for Weighted Matching and Packing Problems. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv |
A combination framework for tracking partition sizes. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
combining analyses, set analysis, termination, shape analysis, numerical analysis, memory safety, space bounds |
11 | Noga Alon, Daniel Lokshtanov, Saket Saurabh 0001 |
Fast FAST. |
ICALP (1) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Michael R. Fellows, Fedor V. Fomin, Daniel Lokshtanov, Elena Losievskaja, Frances A. Rosamond, Saket Saurabh 0001 |
Distortion Is Fixed Parameter Tractable. |
ICALP (1) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Joachim Giesen, Balint Miklos, Mark Pauly, Camille Wormser |
The scale axis picture show. |
SCG |
2009 |
DBLP DOI BibTeX RDF |
union of balls, skeleton, medial axis |
11 | Petr A. Golovach, Pinar Heggernes |
Choosability of P5-Free Graphs. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Marcelo N. Kapp, Robert Sabourin, Patrick Maupin |
A PSO-based framework for dynamic SVM model selection. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
support vector machines, particle swarm optimization, model selection, dynamic optimization |
11 | Stefan Kratsch, Frank Neumann 0001 |
Fixed-parameter evolutionary algorithms and the vertex cover problem. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
evolutionary algorithms, combinatorial optimization, multi-objective optimization, runtime analysis |
11 | Uriel Feige, Nicole Immorlica, Vahab S. Mirrokni, Hamid Nazerzadeh |
PASS Approximation. |
APPROX-RANDOM |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Michael R. Fellows, Jiong Guo, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann |
Graph-Based Data Clustering with Overlaps. |
COCOON |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Xin He, Brian S. Caffo, Eric C. Frey |
Toward Realistic and Practical Ideal Observer (IO) Estimation for the Optimization of Medical Imaging Systems. |
IEEE Trans. Medical Imaging |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Paul Blain Levy |
Global State Considered Helpful. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Samia Nefti, Mourad Oussalah 0002, Uzay Kaymak |
A New Fuzzy Set Merging Technique Using Inclusion-Based Fuzzy Clustering. |
IEEE Trans. Fuzzy Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Benoît Vaillant, Stéphane Lallich, Philippe Lenca |
On the behavior of the generalizations of the intensity of implication: A data-driven comparative study. |
Statistical Implicative Analysis |
2008 |
DBLP DOI BibTeX RDF |
Statistical interestingness measures, intensity of implication, generalized measures |
11 | José-Luis Blanco, Javier Gonzalez 0001, Juan-Antonio Fernández-Madrigal |
An optimal filtering algorithm for non-parametric observation models in robot localization. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Yi Guo 0004, Tang Tang |
Optimal trajectory generation for nonholonomic robots in dynamic environments. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Sergio Cabello, Panos Giannopoulos, Christian Knauer, Günter Rote |
Geometric clustering: fixed-parameter tractability and lower bounds with respect to the dimension. |
SODA |
2008 |
DBLP BibTeX RDF |
clustering, complexity, lower bound, dimension, fixed-parameter tractability |
11 | Henning Fernau, Daniel Raible 0001 |
Exact Algorithms for Maximum Acyclic Subgraph on a Superclass of Cubic Graphs. |
WALCOM |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Monotonic Abstraction in Action. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Andrei A. Krokhin, Dániel Marx |
On the Hardness of Losing Weight. |
ICALP (1) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Hans L. Bodlaender, Rodney G. Downey, Michael R. Fellows, Danny Hermelin |
On Problems without Polynomial Kernels (Extended Abstract). |
ICALP (1) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Ananda S. Chowdhury, Jianhua Yao 0001, Robert L. Van Uitert Jr., Marius George Linguraru, Ronald M. Summers |
Detection of anatomical landmarks in human colon from computed tomographic colonography images. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Chanying Li, Lei Guo 0001 |
An impossibility theorem on feedback based on stochastic embedding. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Itthisek Nilkhamhang, Akira Sano |
Model-based adaptive friction compensation for accurate position control. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Hans L. Bodlaender, Michael R. Fellows, Pinar Heggernes, Federico Mancini 0001, Charis Papadopoulos, Frances A. Rosamond |
Clustering with Partial Information. |
MFCS |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Ravi Jampani, Fei Xu, Mingxi Wu, Luis Leopoldo Perez, Christopher M. Jermaine, Peter J. Haas |
MCDB: a monte carlo approach to managing uncertain data. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
mcdb, uncertainty, monte carlo |
11 | Athanassios Koutsonas, Dimitrios M. Thilikos |
Planar Feedback Vertex Set and Face Cover: Combinatorial Bounds and Subexponential Algorithms. |
WG |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Yong Gao 0001 |
Random Instances of W[2]-Complete Problems: Thresholds, Complexity, and Algorithms. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Antonio Cansado, Eric Madelaine |
Specification and Verification for Grid Component-Based Applications: From Models to Tools. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Georgia Koutrika, Robert Ikeda, Benjamin Bercovitz, Hector Garcia-Molina |
Flexible recommendations over rich data. |
RecSys |
2008 |
DBLP DOI BibTeX RDF |
courserank, flexible recommendations, workflows |
11 | Ngo Anh Vien, TaeChoong Chung |
Policy Gradient Semi-markov Decision Process. |
ICTAI (2) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Yuan Zhang, Limin Zhang |
Research on CGF Entity Model Based on Factory Mechanism. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Yassin M. Hasan |
From stream to provably secure block ciphers based on pseudorandom matrix transformations. |
COMSWARE |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Saharon Rosset |
Bi-level path following for cross validated solution of kernel quantile regression. |
ICML |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Pangan Ting, Chao-Kai Wen, Jiunn-Tsair Chen |
An Efficient CSI Feedback Scheme for MIMO-OFDM Wireless Systems. |
IEEE Trans. Wirel. Commun. |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Frank K. H. A. Dehne, Michael R. Fellows, Michael A. Langston, Frances A. Rosamond, Kim Stevens |
An O(2O(k)n3) FPT Algorithm for the Undirected Feedback Vertex Set Problem. |
Theory Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Ravishankar Rao, Sarma B. K. Vrudhula |
Energy optimal speed control of a producer-consumer device pair. |
ACM Trans. Embed. Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
joint optimization, processor, Energy optimization, disk drive, speed control |
11 | Man Cheuk Ng, Muralidaran Vijayaraghavan, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks |
From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM Protocols. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
11 | David Sheldon, Frank Vahid, Stefano Lonardi |
Interactive presentation: Soft-core processor customization using the design of experiments paradigm. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Tian Song, Zhizhong Tang, Dongsheng Wang 0002 |
Multilevel Pattern Matching Architecture for Network Intrusion Detection and Prevention System. |
ICESS |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Full Maude: Extending Core Maude. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Module Operations. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Thomas Poonnen, Adly T. Fam |
A Novel VLSI Divide and Conquer Implementation of the Iterative Array Multiplier. |
ITNG |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Alicja Mieszkowicz-Rolka, Leszek Rolka |
Determining Significance of Attributes in the Unified Rough Set Approach. |
RSFDGrC |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Marko Samer, Stefan Szeider |
Backdoor Sets of Quantified Boolean Formulas. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Mohamad Saad 0002 |
Nonlinear control of a one flexible link in the vertical plane. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Quan Yuan, Ashwin Thangali, Vitaly Ablavsky, Stan Sclaroff |
Parameter Sensitive Detectors. |
CVPR |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Guoyan Zheng, Xiao Dong, Miguel Ángel González Ballester |
Unsupervised Reconstruction of a Patient-Specific Surface Model of a Proximal Femur from Calibrated Fluoroscopic Images. |
MICCAI (1) |
2007 |
DBLP DOI BibTeX RDF |
proximal femur, fluoroscopy, multiple-component geometrical model, surface reconstruction, particle filter, point distribution model |
11 | Guoyan Zheng, Xiao Dong |
Particle Filter Based Automatic Reconstruction of a Patient-Specific Surface Model of a Proximal Femur from Calibrated X-Ray Images for Surgical Navigation. |
ACIVS |
2007 |
DBLP DOI BibTeX RDF |
proximal femur, fluoroscopy, multiple-component geometrical model, surface reconstruction, particle filter, point distribution model |
11 | Michael R. Fellows, Frances A. Rosamond |
The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Rachel Heck, Michael Gleicher |
Parametric motion graphs. |
SI3D |
2007 |
DBLP DOI BibTeX RDF |
motion capture, motion synthesis, motion graphs |
11 | Yijia Chen, Jörg Flum |
Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Joachim Kneis, Daniel Mölle, Peter Rossmanith |
Partial vs. Complete Domination: t-Dominating Set. |
SOFSEM (1) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Hao Yu 0001, Chunta Chu, Lei He 0001 |
Off-chip Decoupling Capacitor Allocation for Chip Package Co-Design. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Wojciech Burakiewicz, Robert van Liere |
Analyzing Complex FTMS Simulations: a Case Study in High-Level Visualization of Ion Motions. |
IEEE Trans. Vis. Comput. Graph. |
2006 |
DBLP DOI BibTeX RDF |
Particle visualization, motion, motion features |
11 | Gregory Hornby |
Shortcomings with using edge encodings to represent graph structures. |
Genet. Program. Evolvable Mach. |
2006 |
DBLP DOI BibTeX RDF |
Neural networks, Genetic programming, Graphs, Representations, Circuits |
11 | Jean-Philippe Martin, Lorenzo Alvisi |
Fast Byzantine Consensus. |
IEEE Trans. Dependable Secur. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Distributed systems, consensus, Byzantine fault tolerance |
11 | E. Allen Emerson, Richard J. Trefler, Thomas Wahl |
Reducing Model Checking of the Few to the One. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Thomas M. Howard, Alonzo Kelly |
Trajectory and Spline Generation for All-Wheel Steering Mobile Robots. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | José-Luis Blanco, Javier González 0001, Juan-Antonio Fernández-Madrigal |
The Trajectory Parameter Space (TP-Space): A New Space Representation for Non-Holonomic Mobile Robot Reactive Navigation. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Adrian M. Peter, Anand Rangarajan 0001 |
Shape analysis using the Fisher-Rao Riemannian metric: unifying shape representation and deformation. |
ISBI |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Sylvain Guillemot, François Nicolas |
Solving the Maximum Agreement SubTree and the Maximum Compatible Tree Problems on Many Bounded Degree Trees. |
CPM |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan |
Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Nina Bohr, Lars Birkedal |
Relational Reasoning for Recursive Types and References. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Anand P. Santhanam, Cali M. Fidopiastis, Paul Davenport, Katja Langen, Sanford L. Meeks, Jannick P. Rolland |
Real-Time Simulation and Visualization of Subject-Specific 3D Lung Dynamics. |
CBMS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Jeremy G. Siek, Walid Taha |
A Semantic Analysis of C++ Templates. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet |
Mixing signals and modes in synchronous data-flow systems. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
mode automata, compilation, synchronous, languages |
11 | Liyu Tang, Chongcheng Chen, Qinmin Wang, Jingjing Sun |
Modeling of Pinus Massoniana Based Morphological Architecture. |
ICAT Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
What's Decidable About Arrays? |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
Robust Model-Checking of Linear-Time Properties in Timed Automata. |
LATIN |
2006 |
DBLP DOI BibTeX RDF |
robust verification, Implementability, timed systems |
11 | Cédric du Mouza, Philippe Rigaux, Michel Scholl |
On-line Aggregation and Filtering of Pattern-based Queries. |
SSDBM |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Argyriou, Raphael Hauser, Charles A. Micchelli, Massimiliano Pontil |
A DC-programming algorithm for kernel selection. |
ICML |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Mohammad M. Mansour, Naresh R. Shanbhag |
A Novel Design Methodology for High-Performance Programmable Decoder Cores for AA-LDPC Codes. |
J. VLSI Signal Process. |
2005 |
DBLP DOI BibTeX RDF |
turbo-decoding message-passing algorithm, VLSI decoder architectures, LDPC codes, Ramanujan graphs |
11 | Snehal Thakkar, José Luis Ambite, Craig A. Knoblock |
Composing, optimizing, and executing plans for bioinformatics web services. |
VLDB J. |
2005 |
DBLP DOI BibTeX RDF |
Dataflow-style streaming execution, Data integration, Bioinformatics, Query optimization, Web service composition |
11 | Jia Zhou, Kendra M. L. Cooper, I-Ling Yen, Raymond A. Paul |
Rule-Base Technique for Component Adaptation to Support QoS-based Reconfiguration. |
ISORC |
2005 |
DBLP DOI BibTeX RDF |
component parameterization technique, QoS tradeoffs, rule base |
11 | Haruo Hosoya, Alain Frisch, Giuseppe Castagna |
Parametric polymorphism for XML. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
XML, polymorphism, subtyping, tree automata |
11 | Shuhao Li, Ji Wang 0001, Xin Wang, Zhi-Chang Qi |
Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. |
COMPSAC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Chun-Ting Chou, S. N. Shankar, Kang G. Shin |
Achieving per-stream QoS with distributed airtime allocation and admission control in IEEE 802.11e wireless LANs. |
INFOCOM |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Claudiu Zissulescu, Bart Kienhuis, Ed F. Deprettere |
Expression Synthesis in Process Networks generated by LAURA. |
ASAP |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller |
Automated type-based analysis of data races and atomicity. |
PPoPP |
2005 |
DBLP DOI BibTeX RDF |
type system, type inference, atomicity, data races |
11 | Frank K. H. A. Dehne, Michael R. Fellows, Michael A. Langston, Frances A. Rosamond, Kim Stevens |
An O(2O(k)n3) FPT Algorithm for the Undirected Feedback Vertex Set Problem. |
COCOON |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Jianer Chen, Fenghui Zhang |
On Product Covering in Supply Chain Models: Natural Complete Problems for W[3] and W[4]. |
AAIM |
2005 |
DBLP DOI BibTeX RDF |
|
|
|