4386 search results - page 87 / 878 » A Tamper-Resistant Programming Language System |
112
click to vote
SAC
2006
ACM
15 years 1 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
190
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
CC
2005
Springer
15 years 7 months ago
2005
Springer
CC
2005
Springer
15 years 7 months ago
2005
Springer
119
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...