-
Formalism for the high-level design of hard real-time embedded systems
Real-time embedded systems are at the core of modern industrialized societies. They are a privileged target for the application of formal methods. The importance of... -
IA-TCP: Improving Acknowledgement Mechanism of TCP for better performance in ...
International audience
