-
Improving the Quality of Error-Handling Code in Systems Software using Functi...
In C, a typical strategy for implementing error handling code is to follow each operation that may encounter an error by a conditional that checks for an error result... -
Static Analysis of Programs with Imprecise Probabilistic Inputs
International audience -
Points to analysis for the C language
Static analysis algorithms strive to extract the information necessary for the understanding and optimization of programs at compile time. The potential values of the... -
Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive ...
Context-aware pervasive computing has attracted a significant research interest from both academy and industry worldwide. It covers a broad range of applications that... -
Logics for XML
Cette thèse propose une nouvelle logique d'arbres finis pour analyser les programmes manipulant les données du Web. Cette logique offre le meilleur compromis connu entre... -
A machine-learning based methodology to design analytical area and power mode...
In the last decade, Networks-on-chip (NoCs) have emerged as an efficient and flexible interconnect solution to handle the increasing number of processing elements... -
Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Att...
International audience
