82 search results - page 12 / 17 » Automatically transforming and relating Uppaal models of emb... |
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
109
click to vote
MBEES
2010
14 years 10 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
108
click to vote
EMSOFT
2010
Springer
14 years 9 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
HIPS
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
DAC
2009
ACM
15 years 3 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...