Expediente, n. 10, 2000

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Cryptography 2000±10

Cryptography is both a fascinating mathematical science and a key technology for the emerging information society, with theory and applications being closely related. This article reviews some highlights of the past ten years of research in cryptography and its applications and discusses some of the main challenges for future research. A major future research theme is to weaken the assumptions ...

متن کامل

EPCC - SS 2000 - 10 Java MPI Simulator

The goal of the Message Passing Interface (MPI) is to develop a widely used standard for writing message-passing programs. The interface has become an important and increasingly popular and portable message passing system that makes the development of practical and cost-effective large-scale parallel applications possible. EPCC has been developing an MPI Simulator to be used by the Training and...

متن کامل

University Wednesday , 10 May 2000 Trace Cache

Due to unfortunate circumstances this lecture was not scribed, following are several points that I remember were brought up. If anyone has something to add please tell me. In this session we discussed three papers: Alternative Fetch and Issue Policies for the Trace Cache Fetch Mechanism-describes several enhancements to the original University of Michigan view of the trace cache. Path-Based Nex...

متن کامل

Francis Klay N ̊ 3921 Avril 2000

On a case study, we present a new approach for verifying cryptographic protocols, based on rewriting and on tree automata techniques. Protocols are operationally described using Term Rewriting Systems and the initial set of communication requests is described by a tree automaton. Starting from these two representations, we automatically compute an over-approximation of the set of exchanged mess...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Encontros Bibli: revista eletrônica de biblioteconomia e ciência da informação

سال: 2007

ISSN: 1518-2924

DOI: 10.5007/70