Sciweavers

1087 search results - page 131 / 218
» Distributed Oblivious Transfer
Sort
View
DATE
2005
IEEE
139views Hardware» more  DATE 2005»
15 years 8 months ago
EM Wave Coupling Noise Modeling Based on Chebyshev Approximation and Exact Moment Formulation
This paper presents a new mathematical approach to modeling EM wave coupling noise so that it can be easily integrated into chip-level noise analysis tools. The new method employs...
Baohua Wang, Pinaki Mazumder
128
Voted
ICECCS
2005
IEEE
87views Hardware» more  ICECCS 2005»
15 years 8 months ago
Scavenging Complex Genomic Information Using Mobile Code: An Evaluation
Mobile code solutions can improve the performances of applications over the Internet by reducing the amount of data that must be transferred across the network. The research on ge...
Mauro Pezzè, Davide Tosi, Gian Pietro Picco
SKG
2005
IEEE
15 years 8 months ago
A Grid Service Infrastructure for Mobile Devices
One of the visions of Grid computing is to access computational resources automatically on demand to deliver the services required with appropriate quality. Because mobile devices ...
Tao Guan, Ed Zaluska, David De Roure
118
Voted
PPAM
2005
Springer
15 years 8 months ago
SILC: A Flexible and Environment-Independent Interface for Matrix Computation Libraries
We propose a new framework, named Simple Interface for Library Collections (SILC), that gives users access to matrix computation libraries in a flexible and environment-independen...
Tamito Kajiyama, Akira Nukada, Hidehiko Hasegawa, ...
CONCUR
2004
Springer
15 years 8 months ago
A Semantics for Concurrent Separation Logic
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
Stephen D. Brookes