1082 search results - page 87 / 217 » tools 2000 |
PTS
2000
13 years 11 months ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...
VMV
2000
13 years 11 months ago
2000
In global illumination computations the photon map is a powerful tool for approximating the irradiance, which is stored independent from scene geometry. By presenting a new algori...
WEBNET
2000
13 years 11 months ago
2000
: Portfolios are valuable authentic assessment tools in preservice teacher education programs, as they allow for student demonstration of performance, interconnected tasks, respons...
WSC
2000
13 years 11 months ago
2000
Investigation of the performance and operation of complex systems in manufacturing or other environments, analytical models of these systems become very complicated. Because of th...
WSC
2000
13 years 11 months ago
2000
This paper will present a case study on the use of simulation to develop and implement an assembly line for the assembly and test of customer located telephony equipment. The simu...