Search Sciweavers | Sciweavers

484 search results - page 19 / 97

» Computer-Aided Computing

click to vote

CRYPTO
2011
Springer

222views Cryptology» more CRYPTO 2011»

Computer-Aided Security Proofs for the Working Cryptographer

12 years 7 months ago

Download software.imdea.org

Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...

Gilles Barthe, Benjamin Grégoire, Sylvain H...

claim paper

Read More »

click to vote

VLSID
2009
IEEE

148views VLSI» more VLSID 2009»

DFX and Productivity

14 years 8 months ago

Download vlsiconference.com

Robert C. Aitken

claim paper

Read More »

click to vote

CAGD
2008

134views more CAGD 2008»

A note on the paper "Normal based subdivision scheme for curve design" by Xunnian Yang

13 years 7 months ago

Download inside.mines.edu

In a recent paper (Computer Aided Geometric Design 23 (3), 243

Luming Liang, Huanxi Zhao, Beiji Zou

claim paper

Read More »

click to vote

VLSID
2009
IEEE

110views VLSI» more VLSID 2009»

Security and Dependability of Embedded Systems: A Computer Architects' Perspective

14 years 8 months ago

Download www.ce.pdn.ac.lk

Jörg Henkel, Roshan G. Ragel, Sri Parameswara...

claim paper

Read More »

click to vote

VLSID
2009
IEEE

141views VLSI» more VLSID 2009»

A Comparison of Approaches to Carrier Generation for Zigbee Transceivers

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers