3281 search results - page 205 / 657 » An Approach to use Executable Models for Testing |
125
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
133
Voted
WSC
1997
15 years 4 months ago
1997
Effective and timely execution of the Department of Defense’s (DoD) Program Objective Memorandum (POM) and Joint Warfare Capability Assessment (JWCA) process requires objective...
108
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
We describe a new GMM-UBM speaker recognition system that uses standard cepstral features, but selects different frames of speech for different subsystems. Subsystems, or “const...
176
Voted
SOCO
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientific journal artic...
132
click to vote
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
—In an attempt to increase the performance/cost ratio, large compute clusters are becoming heterogeneous at multiple levels: from asymmetric processors, to different system archi...