9387 search results - page 33 / 1878 » An Optimal Process Model for a Real Time Process |
103
click to vote
ICFEM
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
We present a methodology for the real time alignment of music signals using sequential Montecarlo inference techniques. The alignment problem is formulated as the state tracking o...
120
click to vote
RSP
2005
IEEE
15 years 5 months ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
IPPS
2000
IEEE
15 years 3 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...
100
Voted
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Design variability due to within-die and die-todie process variations has the potential to significantly reduce the maximum operating frequency and the effective yield...