15778 search results - page 2991 / 3156 » Aikido and software engineering |
171
click to vote
EMSOFT
2007
Springer
16 years 13 days ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
192
click to vote
EMSOFT
2007
Springer
16 years 13 days 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...
160
click to vote
EMSOFT
2007
Springer
16 years 13 days 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...
178
click to vote
EMSOFT
2007
Springer
16 years 13 days 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...
148
click to vote
EMSOFT
2007
Springer
16 years 13 days ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...