Sciweavers

8689 search results - page 74 / 1738
» Software: hard data
Sort
View
CIIA
2009
13 years 10 months ago
Practical Use of an Audiometer Based on a Computer Software for Hearing Loss Screening
The project aimed at developing a software audiometer for hearing loss screening. The proposed software is definitely based on the internal peripherals of the computer without any ...
Ykhlef Fayçal, W. Benzaba, L. Bendaouia, A....
APSEC
2005
IEEE
14 years 3 months ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
FM
2005
Springer
88views Formal Methods» more  FM 2005»
14 years 3 months ago
Timing Tolerances in Safety-Critical Software
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
Alan Wassyng, Mark Lawford, Xiayong Hu
ECOOP
2008
Springer
13 years 11 months ago
ReCrash: Making Software Failures Reproducible by Preserving Object States
It is very hard to fix a software failure without being able to reproduce it. However, reproducing a failure is often difficult and time-consuming. This paper proposes a novel tech...
Shay Artzi, Sunghun Kim, Michael D. Ernst
ICASSP
2010
IEEE
13 years 9 months ago
Implementation of cooperative communications using software defined radios
—Cooperative communications leverages the spatial diversity available in a wireless network enabling multiple radio nodes work together to improve the overall system performance....
Michael Knox, Elza Erkip