3171 search results - page 143 / 635 » Application of Reduce Order Modeling to Time Parallelization |
126
click to vote
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
110
Voted
JPDC
2011
14 years 10 months ago
2011
Networks-on-chip (NoCs) are used in a growing number of SoCs and multi-core processors. Because messages compete for the NoC’s shared resources, quality of service and resource ...
142
Voted
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
The performance skeleton of an application is a short running program whose performance in any scenario reflects the performance of the application it represents. Such a skeleton ...
142
Voted
SASO
2007
IEEE
15 years 9 months ago
2007
IEEE
— Designing and implementing artificial self-organizing systems is a challenging task since they typically behave nonintuitive and no theoretical foundations exist. Predicting a...
150
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...