4 search results - page 1 / 1 » Matching system and component behaviour in MIMOLA synthesis ... |
EURODAC
1990
IEEE
13 years 8 months ago
1990
IEEE
This paper discusses the selection of available components during high-level synthesis. We stress the importance of describing the behaviour of available components in some langua...
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
SIGSOFT
2001
ACM
14 years 5 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
EMSOFT
2004
Springer
13 years 10 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...