3130 search results - page 292 / 626 » Design Correctness of Digital Systems |
185
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
In the design of low power systems, it is important to analyze and optimize both the hardware and the software component of the system. To evaluate the software component of the s...
156
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes an accent identification system for Portuguese, that explores different type of properties: acoustic, phonotactic and prosodic. The system is designed to be ...
151
click to vote
NAACL
2003
15 years 8 months ago
2003
In this paper, we introduce a generative probabilistic optical character recognition (OCR) model that describes an end-to-end process in the noisy channel framework, progressing f...
160
click to vote
USENIX
2008
15 years 9 months ago
2008
We propose an approach to remote display systems in which the client predicts the screen update events that the server will send and applies them to the screen immediately, thus e...
185
click to vote
SIGOPSE
2004
ACM
16 years 4 days ago
2004
ACM
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...