7766 search results - page 1161 / 1554 » Testing Nondeterminate Systems |
142
click to vote
PR
2006
15 years 4 months ago
2006
Sign language communication includes not only lexical sign gestures but also grammatical processes which represent inflections through systematic variations in sign appearance. We...
119
click to vote
SIAMSC
2008
15 years 4 months ago
2008
We derive a Godunov-type relaxation scheme for turbulent flows with heat transfer. The building block of this approach is a kinetic Boltzmann-type formulation for a model of turbul...
151
click to vote
IJCOMSYS
2007
15 years 4 months ago
2007
TCP is the most widely used transport protocol on the Internet today. Over the years, especially recently, due to requirements of high bandwidth transmission, various approaches h...
126
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
Evaluation measures act as objective functions to be optimized by information retrieval systems. Such objective functions must accurately reflect user requirements, particularly w...
117
click to vote
SIGOPS
2008
15 years 4 months ago
2008
Virtual private servers and application checkpoint and restart are two advanced operating system features which place different but related requirements on the way kernel-provided...