7557 search results - page 741 / 1512 » Modeling Timed Concurrent Systems |
183
click to vote
FTRTFT
1998
Springer
15 years 11 months ago
1998
Springer
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
199
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
Complex design, targeting System-on-Chip based on reconfigurable architectures, still lacks a generalized methodology allowing both the automatic derivation of a complete system s...
197
click to vote
CMSB
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
217
click to vote
JCISE
2002
15 years 7 months ago
2002
Online resources of engineering design information are a critical resource for practicing engineers. These online resources often contain references and content associated with te...
221
click to vote
IEEEPACT
2009
IEEE
16 years 2 months ago
2009
IEEE
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...