Sciweavers

3229 search results - page 160 / 646
» The Theory of Timed Automata
Sort
View
DAC
2004
ACM
16 years 7 months ago
Statistical timing analysis based on a timing yield model
Starting from a model of the within-die systematic variations using principal components analysis, a model is proposed for estimation of the parametric yield, and is then applied ...
Farid N. Najm, Noel Menezes
ECRTS
2003
IEEE
15 years 11 months ago
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
Iain Bate, Peter Nightingale, Anton Cervin
ICFCA
2004
Springer
15 years 12 months ago
Towards a Conceptual Theory of Indistinguishable Objects
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis ï¬rst steps are done into the direction of a conceptual theory of â€...
Karl Erich Wolff
STOC
2009
ACM
156views Algorithms» more  STOC 2009»
16 years 7 months ago
Polynomial-time theory of matrix groups
We consider matrix groups, specified by a list of generators, over finite fields. The two most basic questions about such groups are membership in and the order of the group. Even...
László Babai, Robert Beals, Á...
JCP
2007
115views more  JCP 2007»
15 years 6 months ago
Toward The Use Of The Time-Warping Principle With Discrete-Time Sequences
Abstract—This paper establishes a new coherent framework to extend the class of unitary warping operators to the case of discrete–time sequences. Providing some a priori consid...
Arnaud Jarrot, Cornel Ioana, André Quinquis