224 search results - page 12 / 45 » Software for advanced HRV analysis |
SIGOPS
2010
13 years 8 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
UML
2004
Springer
14 years 3 months ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
VISUALIZATION
2005
IEEE
14 years 3 months ago
2005
IEEE
In this case study, a data-oriented approach is used to visualize a complex digital signal processing pipeline. The pipeline implements a Frequency Modulated (FM) Software-Defined...
TSE
2010
13 years 4 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...