686 search results - page 27 / 138 » Statistical Timing Analysis with Extended Pseudo-Canonical T... |
151
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
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...
161
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
183
click to vote
BIOINFORMATICS
2005
15 years 6 months ago
2005
Motivation: The issue of high dimensionality in microarray data has been, and remains, a hot topic in statistical and computational analysis. Efficient gene filtering and differen...
184
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
207
click to vote
STACS
2012
Springer
14 years 2 months ago
2012
Springer
Queueing networks are gaining attraction for the performance analysis of parallel computer systems. A Jackson network is a set of interconnected servers, where the completion of a...