606 search results - page 17 / 122 » Discrete Time Process Algebra |
SIAMNUM
2010
14 years 6 months ago
2010
In this paper we develop boundary value methods for detecting Sacker-Sell spectra in discrete time dynamical systems. The algorithms are advancements of earlier methods for comput...
104
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...
RTAS
2008
IEEE
15 years 6 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
100
click to vote
ENTCS
2006
14 years 11 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
ISCAS
2007
IEEE
15 years 6 months ago
2007
IEEE
—CMOS radio receiver architectures, based on radio frequency (RF) sampling followed by discrete-time (D-T) signal processing via switched-capacitor circuits, have recently been p...