467 search results - page 24 / 94 » Partial Behavioural Models for Requirements and Early Design |
129
click to vote
ECBS
2005
IEEE
15 years 11 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
178
click to vote
ESWA
2008
15 years 6 months ago
2008
DADICC is the abbreviated name for an intelligent system able to detect on-line and diagnose anomalies as soon as possible in the dynamic evolution of the behaviour of a power pla...
134
click to vote
CIB
2005
15 years 5 months ago
2005
Unlike the data approached in traditional data mining activities, software data are featured with partial-repeatability or parepeatics, which is an invariant property that can neit...
195
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
161
click to vote
SAMOS
2005
Springer
15 years 11 months ago
2005
Springer
An analytical performance model for out of order issue superscalar micro-processors is presented. This model quantifies the performance impacts of micro-architecture design option...