Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
The spontaneous activity of working neurons yields synaptic currents that mix up in the volume conductor. This activity is picked up by intracerebral recording electrodes as local ...
Valeri A. Makarov, Ioulia Makarova, Oscar Herreras
Abstract— In this paper we analyse a feedback system consisting of a finite buffer fluid queue and a responsive source. The source alternates between silence periods and active...
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
This paper describes how heterogeneous data sources captured in the SignCom project may be used for the analysis and synthesis of French Sign Language (LSF) utterances. The captur...