1760 search results - page 31 / 352 » Program Analysis Using Weighted Pushdown Systems |
AUTOMATICA
2006
13 years 11 months ago
2006
Controlling non-affine non-linear systems is a challenging problem in control theory. In this paper, we consider adaptive neural control of a completely non-affine pure-feedback s...
LCTRTS
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. Previously published methods for estimation of the worstcase execution time on contemporary processors with complex pipelines and multi-level memory hierarchies result in...
ICDM
2009
IEEE
14 years 5 months ago
2009
IEEE
—We consider the problem of learning a linear combination of pre-specified kernel matrices in the Fisher discriminant analysis setting. Existing methods for such a task impose a...
ISPD
2004
ACM
14 years 4 months ago
2004
ACM
VLSI placement tools usually work in two steps: First, the cells that have to be placed are roughly spread out over the chip area ignoring disjointness (global placement). Then, i...
EUROPAR
2000
Springer
14 years 2 months ago
2000
Springer
One of the advantages of logic programming is the fact that it offers many sources of implicit parallelism, such as and-parallelism and or-parallelism. Arguably, or-parallel system...