Sciweavers

11172 search results - page 466 / 2235
» Testing Physical Systems
Sort
View
IEAAIE
2009
Springer
15 years 4 months ago
Two Applications of Lexical Information to Computer-Assisted Item Authoring for Elementary Chinese
1 Testing is a popular way to assess one's competence in a language. The assessment can be conducted by the students for self evaluation or by the teachers in achievement test...
Chao-Lin Liu, Kan-Wen Tien, Yi-Hsuan Chuang, Chih-...
SBCCI
2005
ACM
276views VLSI» more  SBCCI 2005»
16 years 15 days ago
Virtual channels in networks on chip: implementation and evaluation on hermes NoC
Networks on chip (NoCs) draw on concepts inherited from distributed systems and computer networks subject areas to interconnect IP cores in a structured and scalable way. Congesti...
Aline Mello, Leonel Tedesco, Ney Calazans, Fernand...
APLAS
2008
ACM
15 years 9 months ago
The Complexity of Coverage
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majum...
AUTOMATICA
1999
64views more  AUTOMATICA 1999»
15 years 6 months ago
Spatial balanced model reduction for flexible structures
This paper considers the problem of balanced model reduction for a class of distributed parameter systems. The system is assumed to have a finite-dimensional state vector as well ...
S. O. Reza Moheimani, Hemanshu Roy Pota, Ian R. Pe...
KI
2010
Springer
15 years 5 months ago
CoTeSys - Cognition for Technical Systems
The COTESYS cluster of excellence1 investigates cognition for technical systems such as vehicles, robots, and factories. Cognitive technical systems (CTS) are information processi...
Martin Buss, Michael Beetz