2556 search results - page 156 / 512 » The Triconnected Abstraction of Process Models |
157
click to vote
TCAD
2010
15 years 1 months ago
2010
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...
173
click to vote
LADS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract The variety of existing agent-based simulations is overwhelming. However – especially when comparing agent-based simulation to other simulation paradigms, a reference fr...
178
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...
178
click to vote
JGS
2000
15 years 6 months ago
2000
Abstract. Suppose that geographic data under investigation are rates associated with polygons. For example, disease incidence, mortality, and census undercount data may be displaye...
215
click to vote
SEUS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...