17082 search results - page 3180 / 3417 » Abstractions for Mobile Computation |
186
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
440
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. In this talk, I will review some of the work performed by the research community in cryptology and security since the invention of public key cryptography by Diffie and H...
177
click to vote
RECOMB
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Metagenomics is the study of microbial communities sampled directly from their natural environment, without prior culturing. Among the computational tools recently develo...
191
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...
163
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Customized semantic query answering, personalized search, focused crawlers and localized search engines frequently focus on ranking the pages contained within a subgrap...