475 search results - page 39 / 95 » Formal Analysis of Processor Timing Models |
148
click to vote
DSD
2009
IEEE
15 years 9 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...
159
click to vote
ENTCS
2007
15 years 5 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...
172
click to vote
HASE
1999
IEEE
15 years 10 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...
156
click to vote
FDL
2007
IEEE
16 years 8 days 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...
174
click to vote
IPPS
1998
IEEE
15 years 10 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...