Sciweavers

2124 search results - page 132 / 425
» Aggregating time partitions
Sort
View
143
Voted
WCET
2010
15 years 1 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 5 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
104
Voted
JSCIC
2006
72views more  JSCIC 2006»
15 years 3 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
117
Voted
IJCNN
2008
IEEE
15 years 10 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
115
Voted
RP
2010
Springer
133views Control Systems» more  RP 2010»
15 years 2 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