Sciweavers

2763 search results - page 267 / 553
» The Dangerous 'All' in Specifications
Sort
View
DAC
2009
ACM
16 years 1 months ago
Information hiding for trusted system design
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
Junjun Gu, Gang Qu, Qiang Zhou
SIGCSE
2009
ACM
183views Education» more  SIGCSE 2009»
16 years 1 months ago
Enhancing undergraduate education: a REU model for interdisciplinary research
This paper presents a successful model for undergraduate research where student participants work on interdisciplinary research projects; in our case, at the frontier between comp...
Daniela Stan Raicu, Jacob D. Furst
ICASSP
2009
IEEE
16 years 1 months ago
A study on multilingual acoustic modeling for large vocabulary ASR
We study key issues related to multilingual acoustic modeling for automatic speech recognition (ASR) through a series of large-scale ASR experiments. Our study explores shared str...
Hui Lin, Li Deng, Dong Yu, Yifan Gong, Alex Acero,...
ICC
2009
IEEE
105views Communications» more  ICC 2009»
16 years 1 months ago
Decentralized Control and Optimization of Networks with QoS-Constrained Services
—We consider data networks in which real-time/near real-time applications require not only successful transmission of packets from source to destination, but also specific end-to...
Iraj Saniee
TOOLS
2009
IEEE
16 years 1 months ago
Early Crosscutting Metrics as Predictors of Software Instability
Many researchers claim that crosscutting concerns, which emerge in early software development stages, are harmful to software stability. On the other hand, there is a lack of effec...
José María Conejero, Eduardo Figueir...