Sciweavers

7380 search results - page 399 / 1476
» time 2008
Sort
View
POPL
2008
ACM
16 years 7 months ago
Subcubic algorithms for recursive state machines
We show that the reachability problem for recursive state machines (or equivalently, pushdown systems), believed for long to have cubic worst-case complexity, can be solved in sli...
Swarat Chaudhuri
DCC
2008
IEEE
16 years 6 months ago
Probabilistic algorithm for finding roots of linearized polynomials
A probabilistic algorithm is presented for finding a basis of the root space of a linearized polynomial L(x) = t i=0 Lixqi over Fqn . The expected time complexity of the presented ...
Vitaly Skachek, Ron M. Roth
DATE
2008
IEEE
129views Hardware» more  DATE 2008»
16 years 1 months ago
Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timin...
Joost-Pieter Katoen
ICASSP
2008
IEEE
16 years 1 months ago
Multiple fundamental frequency estimation using Gaussian smoothness
A multiple fundamental frequency estimator is presented in this work. At each time frame, a set of fundamental frequencies is found in a frame by frame analysis taking into accoun...
Antonio Pertusa, José Manuel Iñesta ...
KBSE
2008
IEEE
16 years 1 months ago
Automated Mapping from Goal Models to Self-Adaptive Systems
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
Mirko Morandini, Loris Penserini, Anna Perini