We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
We report Linpack benchmark results on the TSUBAME supercomputer, a large scale heterogeneous system equipped with NVIDIA Tesla GPUs and ClearSpeed SIMD accelerators. With all of 1...
Abstract. This paper describes the 2007 meeting speech-to-text system for lecture rooms developed at the Interactive Systems Laboratories (ISL), for the multiple distant microphone...
Abstract. This paper discusses about the different user-interfaces of mobile development and modeling environments in order to extract important details in which the user-interface...
A designer has a choice of many models, methods, frameworks, and architectures. There is little consistency between these terms among researchers. Some of the most widely used arc...