1784 search results - page 201 / 357 » Formal Models for Embedded System Design |
78
Voted
CONCUR
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
ASPDAC
2007
ACM
15 years 2 months ago
2007
ACM
- Estimation tools are a key component of system-level methodologies, enabling a fast design space exploration. Estimation of software performance is essential in current software-...
BPM
2008
Springer
15 years 4 days ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
104
click to vote
IRI
2008
IEEE
15 years 4 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
100
click to vote
DAC
2007
ACM
15 years 11 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...