Sciweavers

2124 search results - page 132 / 425
» Aggregating time partitions
Sort
View
WCET
2010
15 years 4 months ago
On the Use of Context Information for Precise Measurement-Based Execution Time Estimation
The present paper investigates the influence of the execution history on the precision of measurementbased execution time estimates for embedded software. A new approach to timing...
Stefan Stattelmann, Florian Martin
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 8 months ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
Oded Maler, Grégory Batt
JSCIC
2006
72views more  JSCIC 2006»
15 years 6 months ago
Space-Time Adaptive Solution of First Order PDES
An explicit time-stepping method is developed for adaptive solution of time-dependent partial differential equations with first order derivatives. The space is partitioned into bl...
Lars Ferm, Per Lötstedt
IJCNN
2008
IEEE
16 years 1 months ago
Financial time series prediction using a support vector regression network
Abstract— This paper presents a novel support vector regression (SVR) network for financial time series prediction. The SVR network consists of two layers of SVR: transformation...
Boyang Li, Jinglu Hu, Kotaro Hirasawa
RP
2010
Springer
133views Control Systems» more  RP 2010»
15 years 5 months ago
Behavioral Cartography of Timed Automata
We aim at finding a set of timing parameters for which a given timed automaton has a “good” behavior. We present here a novel approach based on the decomposition of the parame...
Étienne André, Laurent Fribourg