4107 search results - page 272 / 822 » The Generalized Lambda Test |
166
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
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...
144
click to vote
TEI
2009
ACM
16 years 1 months ago
2009
ACM
This paper introduces the Impatient Toaster, a kitchen appliance designed to motivate its owners to eat more often and in regular intervals: After not using it for a while, it sig...
180
click to vote
WSDM
2009
ACM
16 years 1 months ago
2009
ACM
With the overwhelming number of reports on similar events originating from different sources on the web, it is often hard, using existing web search paradigms, to find the origi...
169
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In the real world, many applications are nonstationary optimization problems. This requires that optimization algorithms need to not only find the global optimal soluti...
179
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...