This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
In computer science curricula the two areas programming and software engineering are usually separated. In programming students learn an object oriented language and then deepen t...
We describe in this paper an advanced protocol for the discrimination and the classification of neuronal spike waveforms within multichannel electrophysiological recordings. Sparse...
Vincent Vigneron, Hsin Chen, Yen-Tai Chen, Hsin-Yi...
Program-counter-based (PC-based) prediction techniques have been shown to be highly effective and are widely used in computer architecture design. In this paper, we explore the op...
A method for recognizing design patterns from C++ programs is presented. The method consists of two separate phases, analysis and reverse engineering of the C++ code, and architec...