475 search results - page 39 / 95 » Formal Analysis of Processor Timing Models |
112
click to vote
DSD
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...
130
click to vote
ENTCS
2007
15 years 3 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
137
click to vote
HASE
1999
IEEE
15 years 7 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
115
click to vote
FDL
2007
IEEE
15 years 9 months ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
144
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
The paper presents how the Random PROLOG Processor (RPP), a bio-inspired model of computations, can be used for formalization and analysis of a phenomenon - the Collective Intelli...