Sciweavers

615 search results - page 85 / 123
» Meta-Programming Techniques for Distributed Real-time and Em...
Sort
View
257
Voted
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 7 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
122
Voted
ACMACE
2004
ACM
15 years 8 months ago
Compelling experiences in mixed reality interactive storytelling
Entertainment systems promise to be a significant application for Mixed Reality. Recently, a growing number of Mixed Reality applications have included interaction with virtual ac...
Fred Charles, Marc Cavazza, Steven J. Mead, Olivie...
ASPDAC
2007
ACM
120views Hardware» more  ASPDAC 2007»
15 years 6 months ago
Integrating Power Management into Distributed Real-time Systems at Very Low Implementation Cost
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
Bita Gorjiara, Nader Bagherzadeh, Pai H. Chou
133
Voted
ISTA
2004
15 years 4 months ago
A Conceptual Modeling Technique Based on Semantically Complete Model, Its Applications
: The article proposes a conceptual modeling technique based on Semantically Complete model, the main property of which is that relations carry complete information about interconn...
Vladimir Ovchinnikov
113
Voted
EMSOFT
2007
Springer
15 years 9 months ago
Scheduling multiple independent hard-real-time jobs on a heterogeneous multiprocessor
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
Orlando Moreira, Frederico Valente, Marco Bekooij