2670 search results - page 403 / 534 » Modeling systems with internal state using evolino |
189
click to vote
CIIA
2009
15 years 7 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
150
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...
206
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
179
click to vote
CMSB
2009
Springer
16 years 27 days ago
2009
Springer
Systems of ordinary differential equations (ODEs) are often used to model the dynamics of complex biological pathways. We construct a discrete state model as a probabilistic appro...
154
click to vote
ETFA
2006
IEEE
16 years 11 days ago
2006
IEEE
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...