4609 search results - page 405 / 922 » Automatic Generation of Sigma-Protocols |
182
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Automatic library generators, such as ATLAS [11], Spiral [8] and FFTW [2], are promising technologies to generate efficient code for different computer architectures. The library...
158
click to vote
POLICY
2007
Springer
16 years 28 days ago
2007
Springer
The implementation of network security devices such as firewalls and IDSs are constantly being improved to accommodate higher security and performance standards. Using reliable a...
183
click to vote
CRV
2009
IEEE
16 years 1 months ago
2009
IEEE
An ongoing challenge in automatic sea-ice monitoring using synthetic aperture radar (SAR) is the automatic segmentation of SAR sea-ice images based on the underlying ice type. Giv...
177
click to vote
LCTRTS
2007
Springer
16 years 28 days ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
205
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: The engineering of ontologies, especially with a view to a text-mining use, is still a new research field. There does not yet exist a well-defined theory and technolog...