1399 search results - page 55 / 280 » Verification of Test Suites |
154
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
115
click to vote
CCGRID
2008
IEEE
15 years 6 months ago
2008
IEEE
As the adoption of grid technology moves from science to industry, new requirements arise. In todays grid middlewares, the notion of paying for a job is a secondary requirement. In...
143
click to vote
ENTCS
2010
14 years 11 months ago
2010
Porting an application written for personal computer to embedded devices requires conversion of floating-point numbers and operations into fixed-point ones. Testing the conversion...
134
Voted
CICLING
2004
Springer
15 years 9 months ago
2004
Springer
This paper reports the most significant issues related to the launching of a Monolingual Spanish Question Answering evaluation track at the Cross Language Evaluation Forum (CLEF 20...
128
Voted
DATE
1998
IEEE
15 years 8 months ago
1998
IEEE
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the res...