1271 search results - page 190 / 255 » On Simulation-Checking with Sequential Systems |
COMPSAC
2009
IEEE
14 years 4 months ago
2009
IEEE
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a hardware-based approach to improve the resilience of a computer system against the errors occurred in the main memory with the help of error detecting and correcting ...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
We introduce a direct model for speech recognition that assumes an unstructured, i.e., flat text output. The flat model allows us to model arbitrary attributes and dependences o...
ICDAR
2009
IEEE
14 years 4 months ago
2009
IEEE
A new handwritten text database, GERMANA, is presented to facilitate empirical comparison of different approaches to text line extraction and off-line handwriting recognition. G...
INFOCOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—Peer-to-peer (P2P) file distribution is a scalable way to disseminate content to a wide audience. For a P2P network, one fundamental performance metric is the average time need...