551 search results - page 79 / 111 » Using Model Checking for Reducing the Cost of Test Generatio... |
SIGSOFT
2004
ACM
14 years 2 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
VLSI
2005
Springer
14 years 2 months ago
2005
Springer
This work addresses the problem of application mapping in networks-on-chip (NoCs) having as goal to minimize the total dynamic energy consumption of a complex system-on-a-chip (So...
AAAI
2006
13 years 10 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
ICMLA
2008
13 years 10 months ago
2008
We propose a novel approach for on-line treatment verification using cine EPID (Electronic Portal Imaging Device) images for hypofractionated lung radiotherapy based on a machine ...
ICASSP
2011
IEEE
13 years 21 days ago
2011
IEEE
In this paper, we present new results from our research into the vulnerability of a speaker veriļ¬cation (SV) system to synthetic speech. We use a HMM-based speech synthesizer, w...