3792 search results - page 701 / 759 » Techniques for Trusted Software Engineering |
111
Voted
ISORC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...
122
Voted
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
98
Voted
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
With multicore architectures being introduced to the market, the research community is revisiting problems to evaluate them under the new preconditions set by those new systems. A...
118
click to vote
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
112
click to vote
FSTTCS
2007
Springer
15 years 6 months ago
2007
Springer
We study several cost coloring problems, where we are given a graph and a cost function on the independent sets and are to find a coloring that minimizes the function costs of the...