QALD-3: Multilingual question answering over linked data
Elena Cabrio, Philipp Cimiano, et al.
CLEF 2013
Automatic generation of test programs plays major role in the verification of modern processors and hardware systems. In this paper, we formulate the generation of test programs as a constraint satisfaction problem and develop techniques for dealing with the challenges we face, most notably: huge variable domains (e.g., magnitude of 264) and the need to randomly generate "well distributed" samplings of the solution space. We describe several applications of our method, which include specific test generators targeted at various parts of a design or stages of the verification process.
Elena Cabrio, Philipp Cimiano, et al.
CLEF 2013
Khaled A.S. Abdel-Ghaffar
IEEE Trans. Inf. Theory
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997