3911 search results - page 487 / 783 » Using Operational Architecture to Model Embedded Software |
179
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
197
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
182
Voted
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
167
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, relatively little work has been done for the cases where the ...
148
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Application profiling ? the process of monitoring an application to determine the frequency of execution within specific regions ? is an essential step within the design process f...