16725 search results - page 2633 / 3345 » Engineering Software Correctness |
170
click to vote
ISCA
2003
IEEE
16 years 18 days ago
2003
IEEE
On a N-way issue superscalar processor, the front end instruction fetch engine must deliver instructions to the execution core at a sustained rate higher than N instructions per c...
221
click to vote
MM
2003
ACM
16 years 17 days ago
2003
ACM
When querying a news video archive, the users are interested in retrieving precise answers in the form of a summary that best answers the query. However, current video retrieval s...
173
click to vote
DOCENG
2007
ACM
15 years 11 months ago
2007
ACM
Genre, like layout, is an important factor in effective communication, and automated tools which assist in genre compliance are thus of considerable value. Genres are reusable met...
215
click to vote
SP
2010
IEEE
15 years 11 months ago
2010
IEEE
—EMV is the dominant protocol used for smart card payments worldwide, with over 730 million cards in circulation. Known to bank customers as “Chip and PIN”, it is used in Eur...
204
click to vote
AAAI
1996
15 years 8 months ago
1996
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...