Sciweavers

1414 search results - page 55 / 283
» Cover Time and Broadcast Time
Sort
View
GFKL
2004
Springer
154views Data Mining» more  GFKL 2004»
14 years 3 months ago
Discovering Temporal Knowledge in Multivariate Time Series
Abstract. An overview of the Time Series Knowledge Mining framework to discover knowledge in multivariate time series is given. A hierarchy of temporal patterns, which are not a pr...
Fabian Mörchen, Alfred Ultsch
ASPDAC
2010
ACM
135views Hardware» more  ASPDAC 2010»
13 years 8 months ago
Statistical timing verification for transparently latched circuits through structural graph traversal
Level-sensitive transparent latches are widely used in high-performance sequential circuit designs. Under process variations, the timing of a transparently latched circuit will ada...
Xingliang Yuan, Jia Wang
ICCAD
2001
IEEE
128views Hardware» more  ICCAD 2001»
14 years 6 months ago
An Assembly-Level Execution-Time Model for Pipelined Architectures
The aim of this work is to provide an elegant and accurate static execution timing model for 32-bit microprocessor instruction sets, covering also inter–instruction effects. Suc...
Giovanni Beltrame, Carlo Brandolese, William Forna...
ICLP
2003
Springer
14 years 3 months ago
Concurrency, Time, and Constraints
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
Frank D. Valencia
FMSD
2008
94views more  FMSD 2008»
13 years 10 months ago
Optimal infinite scheduling for multi-priced timed automata
Abstract. This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start...
Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larse...