2779 search results - page 422 / 556 » Modelling Immunological Memory |
114
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
111
Voted
VTC
2007
IEEE
15 years 9 months ago
2007
IEEE
— We design a coding scheme for Costa’s dirty paper coding (DPC) [6] using a channel and a shaping code. We show that by transforming the channel noise distribution the DPC cha...
135
Voted
PVM
2007
Springer
15 years 9 months ago
2007
Springer
The MPI remote-memory access (RMA) operations provide a different programming model from the regular MPI-1 point-to-point operations. This model is particularly appropriate for ca...
122
click to vote
SAMOS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Embedded systems are special purpose systems which perform predefined tasks with very specific requirements like high performance, low volume or low power. Most of the ...
144
Voted
TAMC
2007
Springer
15 years 9 months ago
2007
Springer
We consider the following problem in a stream model: Given a sequence a = a1, a2, . . . , am wich each ai ∈ [n] = {1, . . . , n} and m > n, find a duplicate in the sequence, ...