385 search results - page 21 / 77 » Verified Code Generation for Embedded Systems |
136
Voted
ADHOCNETS
2009
Springer
15 years 4 months ago
2009
Springer
This paper is a sequel of previous work, in which we have studied the traffic management problem in UMTS. The main objective was to improve the spectral efficiency of cellular netw...
101
click to vote
VLSID
2003
IEEE
15 years 7 months ago
2003
IEEE
— This paper reports a cryptosystem designed for security of embedded systems. It is based on the theory of Cellular Automata(CA). The Cellular Automata based Cryptosystem(CAC) e...
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
118
click to vote
IASTEDSEA
2004
15 years 3 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
135
Voted
BIRTHDAY
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...