Sciweavers

5241 search results - page 168 / 1049
» Embedded Programming with C
Sort
View
100
Voted
EMSOFT
2004
Springer
15 years 6 months ago
Towards a higher-order synchronous data-flow language
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
Jean-Louis Colaço, Alain Girault, Gré...
DAC
2003
ACM
15 years 5 months ago
A timing-accurate modeling and simulation environment for networked embedded systems
The design of state-of-the-art, complex embedded systems requires the capability of modeling and simulating the complex networked environment in which such systems operate. This i...
Franco Fummi, Giovanni Perbellini, Paolo Gallo, Ma...
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 20 days ago
Designing and Embedding Reliable Virtual Infrastructures
In a virtualized infrastructure where physical resources are shared, a single physical server failure will terminate several virtual servers and crippling the virtual infrastructu...
Wai-Leong Yeow, Cédric Westphal, Ulas C. Ko...
IFIP
2009
Springer
14 years 10 months ago
Specification and Verification of Side Channel Declassification
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
Josef Svenningsson, David Sands
122
Voted
JTRES
2010
ACM
15 years 24 days ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek