Sciweavers

7380 search results - page 125 / 1476
» time 2008
Sort
View
ENTCS
2008
144views more  ENTCS 2008»
15 years 5 months ago
Platform Independent Timing of Java Virtual Machine Bytecode Instructions
The accurate measurement of the execution time of Java bytecode is one factor that is important in order to estimate the total execution time of a Java application running on a Ja...
Jonathan M. Lambert, James F. Power
PVLDB
2008
93views more  PVLDB 2008»
15 years 5 months ago
Querying and mining of time series data: experimental comparison of representations and distance measures
The last decade has witnessed a tremendous growths of interests in applications that deal with querying and mining of time series data. Numerous representation methods for dimensi...
Hui Ding, Goce Trajcevski, Peter Scheuermann, Xiao...
SIAMAM
2000
131views more  SIAMAM 2000»
15 years 6 months ago
The Description of Homogeneous Branched-Chain Explosions with Slow Radical Recombination by Self-Adjusting Time Scales
A nonlinear multiscale technique is used to describe the time history of a spatially homogeneous chain-branching/chain-breaking explosion when chain branching is much faster than c...
Antonio L. Sanchez, Luis L. Bonilla, Manuel Carret...
AUTOMATICA
2008
152views more  AUTOMATICA 2008»
15 years 6 months ago
A design methodology for switched discrete time linear systems with applications to automotive roll dynamics control
In this paper we consider the asymptotic stability of a class of discrete-time switching linear systems, where each of the constituent subsystems is Schur stable. We first present...
Selim Solmaz, Robert Shorten, Kai Wulff, Fiacre &O...
ADAEUROPE
2008
Springer
15 years 8 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs