Sciweavers

1646 search results - page 276 / 330
» Automatic generation of two-party computations
Sort
View
NOMS
2006
IEEE
129views Communications» more  NOMS 2006»
14 years 4 months ago
A Policy-Based Hierarchical Approach for Management of Grids and Networks
Grids are distributed infrastructures that have been used as an important and powerful resource for distributed computing. Since the nodes of a grid can potentially be located in ...
Tiago Fioreze, Ricardo Neisse, Lisandro Zambenedet...
ACMACE
2006
ACM
14 years 4 months ago
3D object modelling for entertainment applications
Recent advances in three-dimensional (3D) data acquisition techniques have offered an alternative to the traditional 2D metamorphosis (or morphing) approaches, which gradually cha...
Yi Song, Li Bai, Yangsheng Wang
ASPDAC
2006
ACM
140views Hardware» more  ASPDAC 2006»
14 years 4 months ago
A 52mW 1200MIPS compact DSP for multi-core media SoC
- This paper presents a DSP core for multi-core media SoC, which is optimized to execute a set of signal processing tasks very efficiently. The fully-programmable core has a data-c...
Shih-Hao Ou, Tay-Jyi Lin, Chao-Wei Huang, Yu-Ting ...
LAWEB
2005
IEEE
14 years 3 months ago
Devices Descriptions for Context-Based Content Adaptation
Nowadays, networks can be accessed by multiple devices with different characteristics. Some of these characteristics such as low processing power and memory capacity restrict the ...
Robson Eisinger, Marcelo G. Manzato, Rudinei Goula...
LICS
2005
IEEE
14 years 3 months ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth