7766 search results - page 1069 / 1554 » Testing Nondeterminate Systems |
144
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents the experiments carried out at Jadavpur University as part of the participation in the GREC Named Entity Generation Challenge 2010. The Baseline system is base...
208
Voted
IWMM
2011
Springer
14 years 9 months ago
2011
Springer
To achieve optimal performance, garbage-collected applications must balance the sizes of their heaps dynamically. Sizing the heap too small can reduce throughput by increasing the...
220
click to vote
LPAR
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
290
click to vote
Book
"The documentation is missing or obsolete, and the original developers have departed. Your team has limited understanding of the system, and unit tests are missing for many, i...
147
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
A computationally enhanced message contains some embedded programmatic components that are interpreted and executed automatically upon receipt. Unlike ordinary text email or insta...