7429 search results - page 480 / 1486 » Embedded System Update |
181
click to vote
ENTCS
2006
15 years 7 months ago
2006
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
146
click to vote
SAJ
2002
15 years 6 months ago
2002
: Embedded interactive computer systems, such as those found in cellular handsets, can be hard to use. The combination of small form factor
154
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
208
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
171
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...