4491 search results - page 277 / 899 » Algorithm Engineering |
130
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
146
click to vote
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
Sponsored search is one of the major sources of revenue for search engines on the World Wide Web. It has been observed that while showing ads for every query maximizes shortterm r...
114
click to vote
CSMR
2005
IEEE
15 years 8 months ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
147
click to vote
PDPTA
2010
15 years 1 months ago
2010
Though the GPGPU concept is well-known in image processing, much more work remains to be done to fully exploit GPUs as an alternative computation engine. The difficulty is not refo...
100
click to vote
SEFM
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...