6770 search results - page 145 / 1354 » How GPUs Work |
106
click to vote
APPML
2006
15 years 2 months ago
2006
This work deals with the qualitative analysis of a nonlinear integro-differential model of immune competition with special attention to the dynamics of tumor cells contrasted by t...
121
click to vote
FAC
2008
15 years 2 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
106
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
We consider the wavelet transform of a finite, rooted, node-ranked, p-way tree, focusing on the case of binary (p = 2) trees. We study a Haar wavelet transform on this tree. Wave...
100
Voted
CONCURRENCY
2004
15 years 2 months ago
2004
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...
91
Voted
DCG
2000
15 years 2 months ago
2000
We show how the flag f -vector of a polytope changes when cutting off any face, generalizing work of Lee for simple polytopes. The result is in terms of explicit linear operators o...