974 search results - page 2 / 195 » Formal Modeling of Communication Traces |
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
130
Voted
DAC
2003
ACM
16 years 2 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
109
Voted
DAC
2001
ACM
16 years 2 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
78
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
105
Voted
CODES
2001
IEEE
15 years 4 months ago
2001
IEEE
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...