Daniel de Rauglaudre

Learn More
We present the operational semantics of streams and stream matching as discussed in. Streams are data structures such as lists, but with different primitive operations. Streams not only provide an interface to usual imput/output channels, but may used as a data structure <italic>per se</italic>, holding any kind of element. A special pattern matching(More)
The aim of this paper is to address the problem of correctly dimensioning real-time embedded systems scheduled with Fixed Priority (FP) scheduling. It is well known that computers which control systems are greatly affected by delays and jitter occurring in the control loop. In the literature, a deadline reduction approach has been considered as one solution(More)
  • 1