Sciweavers

3415 search results - page 444 / 683
» Lower bounds on kernelization
Sort
View
APN
2010
Springer
15 years 4 months ago
Learning Workflow Petri Nets
Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or ...
Javier Esparza, Martin Leucker, Maximilian Schlund
ICCAD
2010
IEEE
124views Hardware» more  ICCAD 2010»
15 years 4 months ago
Symbolic performance analysis of elastic systems
Elastic systems, either synchronous or asynchronous, can be optimized for the average-case performance when they have units with early evaluation or variable latency. The performan...
Marc Galceran Oms, Jordi Cortadella, Michael Kishi...
IPPS
2010
IEEE
15 years 4 months ago
Scalability analysis of embarassingly parallel applications on large clusters
This work presents a scalability analysis of embarrassingly parallel applications running on cluster and multi-cluster machines. Several applications can be included in this catego...
Fabrício Alves Barbosa da Silva, Hermes Sen...
ISAAC
2010
Springer
233views Algorithms» more  ISAAC 2010»
15 years 4 months ago
Computing Sparse Multiples of Polynomials
We consider the problem of finding a sparse multiple of a polynomial. Given f F[x] of degree d, and a desired sparsity t, our goal is to determine if there exists a multiple h F[...
Mark Giesbrecht, Daniel S. Roche, Hrushikesh Tilak
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
15 years 4 months ago
The asymmetric sinistral/dextral Markov-Dubins problem
Abstract-- We consider a variation of the classical MarkovDubins problem dealing with curvature-constrained, shortest paths in the plane with prescribed initial and terminal positi...
Efstathios Bakolas, Panagiotis Tsiotras