Sciweavers

4299 search results - page 397 / 860
» Concurrent Test Generation
Sort
View
VTS
1999
IEEE
114views Hardware» more  VTS 1999»
15 years 9 months ago
Partial Scan Using Multi-Hop State Reachability Analysis
Sequential test generators fail to yield tests for some stuck-at-faults because they are unable to reach certain states necessary for exciting propagating these target faults. Add...
Sameer Sharma, Michael S. Hsiao
CONCUR
2006
Springer
15 years 8 months ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
Stefan Leue, Alin Stefanescu, Wei Wei
ACL
1998
15 years 6 months ago
Automatic Construction of Frame Representations for Spontaneous Speech in Unrestricted Domains
This paper presents a system which automatically generates shallow semantic frame structures for conversational speech in unrestricted domains. We argue that such shallow semantic...
Klaus Zechner
CEC
2010
IEEE
15 years 6 months ago
Evolving a CUDA kernel from an nVidia template
Rather than attempting to evolve a complete program from scratch we demonstrate genetic interface programming (GIP) by automatically generating a parallel CUDA kernel with identica...
William B. Langdon, Mark Harman
PAMI
2006
128views more  PAMI 2006»
15 years 5 months ago
Multisurface Proximal Support Vector Machine Classification via Generalized Eigenvalues
A new approach to support vector machine (SVM) classification is proposed wherein each of two data sets are proximal to one of two distinct planes that are not parallel to each oth...
Olvi L. Mangasarian, Edward W. Wild