检索结果-内蒙古大学图书馆

12th Annual International Cryptology Conference, CRYPTO 1992

作者： Sakurai, Kouichi Itoh, Toshiya Computer and Information Systems Laboratory Mitsubishi Electric Corporation 5-1-1 Ofuna Kamakura247 Japan Department of Information Processing Interdisciplinary Graduate School of Science and Engineering Tokyo Institute of Technology 4259 Nagatsuta Midori-ku Yokohama227 Japan

ISBN: (纸本)9783540573401

In this paper, we investigate the discrepancy between a serìal version and a parallel version of zero-knowledge protocols, and clarify the information "leaked" in the parallel version, which is not zero-knowledge unlike the case of the serial version. We consider two sides: one negative and the other positive in the parallel version of zero-knowledge protocols, especially of the Fiat-Sbamir scheme. © Springer-Verlag Berlin Heidelberg 1993.

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

Optimal polynomial predictors with application specific fixed prefilters

Optimal polynomial predictors with application specific fixe...

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： T.I. Laakso S.J. Ovaska NOKIA Research Center Espoo Finland Laboratory of Signal Processing and Computer Technology Helsinki University of Technology Espoo Finland Deparbnent of Information Technology Lapeenranta University of Technology Lappeeranta Finland

A prefiltering approach for optimal prediction of polynomial signals is proposed. The new scheme enables the use of an arbitrary prefilter for which a finite impulse response (FIR) postfilter is optimized. The FIR postfilter is designed such that polynomial signals of given order are predicted unchanged, with additional degrees of freedom used for minimization of the noise gain. It is shown with examples that by providing an FIR predictor with a simple first-order recursive prefilter the noise gain can be greatly reduced at minimal additional implementation cost.< >

关键词： Polynomials Finite impulse response filter Narrowband Application software Signal processing Signal design Noise reduction Filtering Band pass filters IIR filters

来源：评论

学校读者我要写书评

暂无评论

Any language in IP has a divertible ZKIP 1st

Any language in IP has a divertible ZKIP

引用

1st International Conference on the Theory and Application of Cryptology, ASIACRYPT 1991

作者： Itoh, Toshiya Sakurai, Kouichi Shizuya, Hiroki Department of Information Processing The Graduate School at Nagatsuta Tokyo Institute of Technology 4259 Nagatsuta Midori-ku Yokohama227 Japan Computer & Information Systems Laboratory Mitsubishi Electric Corporation 5-1-1 ofuna Kamakura247 Japan Department of Electrical Communications Tohoku University Aramaki-Aza-Aoba Aoba-ku Sendai980 Japan Département d'IRO Univexsité de Montréal C.P. 6128 Succ. A MontréalQcH3C 3J7 Canada

ISBN: (纸本)9783540573326

A notion of "divertible" zero-knowledge interactive proof systems was introduced by Okamoto and Ohta, and they showed that for any commutative random self-reducible relation, there exists a divertible (perfect) zero-knowledge interactive proof system of possession of information. In addition, Burmester and Desmedt proved that for any language L ∈ NP, there exists a divertible zero-knowledge interactive proof system for the language L under the assumption that probabilistic encryption homomorphisms exist. In this paper, we classify the notion of divertible into three types, i.e., perfectly divertible, almost perfectly divertible, and computationally divertible, and investigate which complexity class of languages has a perfectly (almost perfectly) (computationally) divertible zero-knowledge interactive proof system. The main results in this paper are: (1) there exists a perfectly divertible perfect zero-knowledge interactive proof system for graph non-isomorphism (GNI) without any unproven assumption;and (2) for any language L having an interactive proof system, there exists a computationally divertible computational zero-knowledge interactive proof system for the language L under the assumption that probabilistic encryption homomorphisms exist. © 1993, Springer Verlag. All rights reserved.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

On optimal population size of genetic algorithms

On optimal population size of genetic algorithms

引用

CompEuro

作者： J.T. Alander Laboratory of Information Processing Science Department of Computer Science Helsinki University of Technology Espoo Finland

A description is given of the results of experiments to find the optimum population size for genetic algorithms as a function of problem complexity. It seems that for moderate problem complexity the optimal population size for problems coded as bitstrings is approximately the length of the string in bits for sequential machines. This result is also consistent with earlier experimentation. In parallel architectures the optimal population size is larger than in the corresponding sequential cases, but the exact figures seem to be sensitive to implementation details.< >

关键词： Genetic algorithms Robot control Laboratories information processing computer science Parallel architectures Robustness Parallel processing Problem-solving Distributed computing

来源：评论

学校读者我要写书评

暂无评论

Convergence behavior and convergence rates of stack filters

Convergence behavior and convergence rates of stack filters

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： M. Gabbouj P.-T. Yu E.J. Coyle Signal Processing Laboratory Tampere University of Technology Tampere Finland Institute of Computer Science and Information Engineering National Chung Cheng University Chiayi Taiwan School of Electrical Engineering Purdue University West Lafayette IN USA

The convergence behavior of type-0 through type-3 stack filters is investigated. It is shown that stack filters of type-0 through type-2 all possess the convergence property; that is, they filter any input signal to a root after consecutive passes of the filter under any appending strategy. A counterexample is given to show that not all type-3 stack filters have this convergence property. The rate of convergence for convergent stack filters is also shown. It is shown that stack filters of type-0 will take at most a single pass to filter any input signal to a root. The rate of convergence of type-1 and type-2 stack filters is shown to be linear in the length of the input signal.< >

关键词： Convergence Filters Boolean functions Signal processing Laboratories computer science Shape Filtering theory Design methodology Signal design

来源：评论

学校读者我要写书评

暂无评论

ON THE COMPLEXITY OF HYPERELLIPTIC DISCRETE LOGARITHM PROBLEM

ON THE COMPLEXITY OF HYPERELLIPTIC DISCRETE LOGARITHM PROBLE...

引用

WORKSHOP ON THE THEORY AND APPLICATION OF CRYPTOGRAPHIC TECHNIQUES

作者： SHIZUYA, H ITOH, T SAKURAI, K Department of Electrical Communications Faculity of Engineering Tohoku University Aramaki-Aza-Aoba Aoba-ku Sendai 980 Japan Département d’I.R.O. Université de Montréal C.P.6128 Succ.A Montréal H3C 3J7 QC Canada Department of Information Processing The Graduate School at Nagatsuta Tokyo Institute of Technology 4259 Nagatsuta Midori-ku Yokohama 227 Japan Computer & Information Systems Laboratory Mitsubishi Electric Corporation 5-1-1 Ofuna Kamakura 247 Japan

ISBN: (纸本)3540546200

We give a characterization for the intractability of hyperelliptic discrete logarithm problem from a viewpoint of computational complexity theory. It is shown that the language of which complexity is equivalent to that of the hyperelliptic discrete logarithm problem is in NP ∩ co-AM, and that especially for elliptic curves, the corresponding language is in NP ∩ co-NP. It should be noted here that the language of which complexity is equivalent to that of the discrete logarithm problem defined over the multiplicative group of a finite field is also characterized as in NP ∩ co-NP. © Springer-Verlag Berlin Heidelberg 1991.

关键词： Computational complexity

来源：评论

学校读者我要写书评

暂无评论

End-to-end performance modeling for layered communication protocol

End-to-end performance modeling for layered communication pr...

引用

IEEE Annual Joint Conference: INFOCOM, IEEE computer and Communications Societies

作者： H. Inai T. Nishida T. Yokohira H. Miyahara Information Processing Center Kobe University Kobe Japan Communication Research Department C & C Systems Research Laboratory NEC Corporation Limited Kawasaki Japan Department of Information Technology Okayama University Naka Okayama Japan Department of Information and Computer Sciences Osaka University Toyonaka Japan

ISBN: (纸本)0818620498

An analytical model for predicting the performance of protocol software implementation in a layered communication architecture is proposed. Each layer is modeled by a queuing network. The model is constructed by focusing the behavior of the protocol entity in a layer. A first come, first served (FCFS) server queue with preemptive priority is employed for an entity and an infinite-server queue for response time of acknowledge packets. Respective layer models are piled up by embedding the lower services in the infinite-server queue. From the perspective of end-to-end performance, the model provides a solution for the following problems, which arise in implementing a layered communication protocol: assigning each layer's process to a processor; giving priority to respective processes in each processor; and providing an error recovery service. The authors present an approximate analysis to obtain an average end-to-end transmission delay and discuss the possible solutions for the problems mentioned.< >

关键词： Protocols Network servers Software performance Analytical models computer architecture computer errors Size measurement Delay systems Throughput information processing

来源：评论

学校读者我要写书评

暂无评论

FAST ALGORITHM FOR COMPUTING FRACTAL DIMENSIONS OF IMAGE SEGMENTS

FAST ALGORITHM FOR COMPUTING FRACTAL DIMENSIONS OF IMAGE SEG...

引用

SATELLITE CONF AT THE 1988 BIANNUAL INTERNATIONAL CONF ON PATTERN RECOGNITION : RECENT ISSUES IN PATTERN ANALYSIS AND RECOGNITION

作者： CREUTZBURG, R IVANOV, E Central Institute of Cybernetics and Information Processes International Basic Laboratory for Image Processing and Computer Graphics Academy of Sciences of the G.D.R. Kurstr. 33 P. O. Box 1298 Berlin DDR - 1086 Germany Department of Information Techniques University of Technology Mommsenstr. 13 Dresden DDR - 8027 Germany

来源：评论

学校读者我要写书评

暂无评论

A design data manager 88

A design data manager

引用

Proceedings of the 1988 ACM SIGMOD international conference on Management of data

作者： Kari Alho Hannu Peltonen Martti Mäntylä Rejio Sulonen Helsinki University of Technology Department of Computer Science Laboratory of Information Processing Science Otakaari 1 SF-02150 Espoo Finland

ISBN: (纸本)9780897912686

HutBase is a visual design data manager that can be used to store and manipulate data objects created and processed by a variety of design applications. In particular, HutBase allows the user to manipulate the data and start applications, and provides a access mechanism for the *** consists of three software layers. The lowest layer, the Object Management System (OMS), is based on the Entity-Relationship model and includes those basic operations related to the storage and access of design data objects that are common to all applications. The database is divided into workspaces, which are collections of OMS objects and relationships organized according to an application-dependent schema and forming a significant whole (e.g., a design project) from the user's point of view Workspace is also the unit for locking and access *** object is a collection of attributes. Each attribute has a name and value. The name is a string and the value is an arbitrary sequence of bytes. The value of an attribute can be of any length, from a single integer to an external representation of a complicated geometric model. A relationship is a named directed connection between two objects. Relationships have attributes like *** OMS library contains functions for creating, opening and removing workspaces, objects, relationships and attributes. All operations are carried out within transactions. The functions do not change the permanent data on the disk until the user calls the save_changes function, which saves the current state of all workspaces opened in a given *** next layer is a prototype data model built on top of OMS, which stores the objects in each workspace as a hierarchical tree by means of relationships. The leaves of the hierarchy are called representations and contain the actual data manipulated by the applications. Each representation is associated with a representation type, which in turn are linked to the application programs, or too

关键词：

来源：评论

学校读者我要写书评

暂无评论

Performance and architectural evaluation of the PSI machine

引用

Operating Systems Review (ACM) 1987年第4期21卷 128-135页

作者： Taki, Kazuo Nakajima, Katzuto Nakashima, Hiroshi Ikeda, Morihiro Fourth Research Laboratory Institute for New Generation Computer Technology 4-28 Mita 1-Chome Minato-ku Tokyo108 Japan Information Processing Dept. Information Systems and Electronics Development Laboratory Mitsubishi Electric Corporation Japan New Product Development Dept. Computer Works Mitsubishi Electric Corporation 325 Kaminmchiya Kamakura city Kanagawa247 Japan

We evaluated a Prolog machine PSI (Personal Sequential Inference machine) for the purpose of improving and redesigning it. In this evaluation, we measured the execution speed and the dynamic characteristics of cache memory, register file, and branching hardware introduced for high-speed execution of Prolog *** speed of the PSI firmware interpreter was found to be comparable to that of the DEC-10 Prolog compiled code on the DEC-2060. It was also found that PSI was faster than DEC for executing programs containing much unification and backtracking that require runtime *** the cache memory, the hit ratio for application programs was found higher than 96%;this demonstrates that the Prolog execution has much memory access locality. The memory access frequency and the appearance ratio between Read and Write command were also *** the register file, use rate of each dedicated access mode was measured and effect of each mode was discussed. In the branching function we confirmed a high appearance rate of conditional branches and multi-way branches based on tag values. © 1987 Copyright is held by the owner/author(s).

关键词： Cache memory

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：