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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

325 篇 会议
10 册 图书
7 篇 期刊文献

馆藏范围

342 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

264 篇 工学
- 239 篇 计算机科学与技术...
- 118 篇 软件工程
- 39 篇 电气工程
- 27 篇 信息与通信工程
- 19 篇 控制科学与工程
- 18 篇 电子科学与技术（可...
- 9 篇 机械工程
- 5 篇 力学（可授工学、理...
- 4 篇 生物医学工程（可授...
- 4 篇 生物工程
- 4 篇 网络空间安全
- 3 篇 仪器科学与技术
- 3 篇 材料科学与工程（可...
- 3 篇 土木工程
- 3 篇 化学工程与技术
- 2 篇 动力工程及工程热...
- 2 篇 石油与天然气工程
75 篇 理学
- 50 篇 数学
- 20 篇 物理学
- 13 篇 统计学（可授理学、...
- 12 篇 系统科学
- 8 篇 化学
- 4 篇 生物学
- 2 篇 大气科学
17 篇 管理学
- 10 篇 管理科学与工程(可...
- 7 篇 工商管理
- 7 篇 图书情报与档案管...
2 篇 经济学
- 2 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 教育学
1 篇 医学

主题

32 篇 computer simulat...
14 篇 computational mo...
12 篇 distributed comp...
11 篇 discrete event s...
10 篇 distributed comp...
9 篇 parallel process...
7 篇 concurrent compu...
7 篇 artificial intel...
6 篇 parallel archite...
6 篇 simulation
6 篇 computer archite...
5 篇 circuit simulati...
5 篇 real time system...
5 篇 costs
5 篇 analytical model...
5 篇 computer network...
5 篇 availability
4 篇 parallel process...
4 篇 scalability
4 篇 message passing

机构

3 篇 university of so...
3 篇 czestochowa univ...
3 篇 university of te...
2 篇 coll of william ...
2 篇 nanyang technol ...
2 篇 vienna universit...
2 篇 plekhanov russia...
2 篇 tu münchen garch...
2 篇 agh univ sci & t...
2 篇 univ n texas dep...
2 篇 los alamos natl ...
2 篇 university of pi...
2 篇 isislab - dipart...
2 篇 tennessee tech u...
2 篇 rwth aachen univ...
2 篇 joint institute ...
2 篇 universitat poli...
2 篇 vilnius universi...
2 篇 georgia inst of ...
2 篇 cracs/inesc-tec ...

作者

5 篇 fujimoto richard...
3 篇 loucks wayne m.
3 篇 jack dongarra
3 篇 ewa deelman
3 篇 konrad karczewsk...
3 篇 boukerche a
3 篇 roman wyrzykowsk...
2 篇 fahringer thomas
2 篇 nicol david m.
2 篇 wonham w.m.
2 篇 nechaevskiy a.v.
2 篇 caselli s
2 篇 ososkov g.a.
2 篇 michael alexande...
2 篇 tokareva v.a.
2 篇 roberto g. casce...
2 篇 das samir r.
2 篇 alexandru costan
2 篇 ershov n.m.
2 篇 luís lopes

语言

333 篇 英文
6 篇 俄文
2 篇 其他
1 篇 中文

检索条件"任意字段=Proceedings of the 7th Workshop on Parallel and Distributed Simulation"

共 342 条记录，以下是331-340 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

A pragmatic basis for the formal development of distributed systems 93

A pragmatic basis for the formal development of distributed ...

引用

International workshop on Software Specification and Design

作者： K.R. Wood Oxford University Computing Laboratory UK

ISBN: (纸本)9780818643606

We present a basis for the formal specification and stepwise development of distributed systems, i.e. programs which are intended (at least conceptually) to run on distributed-memory parallel machines which communicate via synchronized message-passing. Our approach was motivated by the need for a practicable formal complement to the informal "bubbles and arrows" reasoning which is typically used by those who develop such programs for real parallel machines. the approach extends the sequential refinement calculus to allow the introduction of CSP-style concurrency. this extension is achieved by augmenting the language of the sequential calculus with appropriate parallel constructs and by replacing the underlying weakest precondition semantics with an extended failures-divergences semantics originally used to give a denotational semantics to occam. the resulting calculus maintains the laws of the original sequential calculus while allowing the seamless introduction of concurrency.< >

关键词： Calculus Concurrent computing parallel machines distributed computing Laboratories Formal specifications Microprocessors Workstations Usability Solids

来源：评论

学校读者我要写书评

暂无评论

Critical performance path analysis, and efficient code generation issues, for the Seamless architecture 7

Critical performance path analysis, and efficient code gener...

引用

7th International parallel Processing Symposium, IPPS 1993

作者： Bright, D.L. Fineberg, S.A. Pease, B.H. Roderick, M.L. Sundaram, S. Casavant, T.L. Dept. of Electr. and Comput. Eng. Iowa Univ. Iowa CityIA52242 United States Numerical Aerodynamic Simulation NASA Ames Research Center M/S 258-6 Moffett Field CA94035-1000 United States

ISBN: (纸本)0818634421

An analytical study of potential pathological performance areas of the Seamless architecture is presented. Seamless is a latency-tolerant, distributed memory, multiprocessor architecture. A key component of the philosophy of Seamless, however, is the use of standard, commodity components for a large part of the system. A discussion of the unavoidable implementation compromises imposed by this decision is presented, followed by a summary of some optimistic performance studies. then an analytical study that parameterizes the predicts the worst-case impact of using standard components is provided. Finally, it is shown that these bottlenecks are manageable via careful generation of target machine code so that the optimistic performance studies become realistic expectations for a range of program behaviors and granularities. © 1993 IEEE.

关键词： Regression analysis

来源：评论

学校读者我要写书评

暂无评论

A parallel-Pipelined Multiprocessor System for the Radiosity Method 7

A Parallel-Pipelined Multiprocessor System for the Radiosity...

引用

7th Eurographics workshop on Graphics Hardware, EGGH 1992

作者： Shen, L.S. Deprettere, E.F.

Ray-tracing and radiosity algorithms can produce very realistic images, but they require a lot of computations which make them impractical for scenes of high complexity. Several attempts have been made to speed up computations through parallel processing. To get orders of magnitude speedup, massive parallelism involving multiple streams will be necessary. In this paper, a parallel-pipelined multiprocessor system is described, which is made of clusters of specialized computing modules, each constructed of an Intersection Computation Unit (ICU) and a number of Cell Traversal Units (CTUs). Both ICU and CTU are of type pipeline and with data-driven execution. A pseudo-dynamic scheduling is used to reconfigure the system at run time so that the workloads distributed over clusters can be more or less balanced. Furthermore, a hierarchical memory structure is proposed to reduce the average loading time of patches. Performance evaluation has been done and 15% more speedup can be obtained as observed by queueing network simulation. A complete system level simulation is under way by using BONeS which is a block oriented network simulator. © EGGH 1992 - Eurographics workshop on Graphics Hardware 1992. All rights reserved.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

7th European workshop on the theory and Application of Cryptographic Techniques, EUROCRYPT 1989

引用

7th European workshop on the theory and Application of Cryptographic Techniques, EUROCRYPT 1989

ISBN: (纸本)9783540534334

the proceedings contain 72 papers. the special focus in this conference is on the theory and Application of Cryptographic Techniques. the topics include: A secure public-key authentication scheme;how to improve signature schemes;a generalization of El Gamal's public-key cryptosystem;an identity-based key-exchange protocol;how to keep authenticity alive in a computer network;the use of fractions in public-key cryptosystems;a practical protocol for large group oriented networks;counting functions satisfying a higher order strict avalanche criterion;a key distribution system based on any one-way function;non-linearity of exponent permutations;informational divergence bounds for authentication codes;a simple technique for diffusing cryptoperiods;a general zero-knowledge scheme;diver ti ble zero-kno wledge interactive proofs and commutative random self-reducibility;verifiable disclosure of secrets and applications;practical zero-knowledge proofs;an alternative to the fiat-shamir protocol;sorting out zero-knowledge;zero-knowledge proofs of computational power;a single chip 1024 bits RSA processor;security in open distributed processing;online cash checks;efficient offline electronic checks;unconditional sender and recipient untraceability in spite of active attacks;detection of disrupters in the DC protocol;factoring by electronic mail;cryptanalysis of short RSA secret exponents;an information-theoretic treatment of homophonic substitution;cryptanalysis of a modified rotor machine;cryptanalysis of video encryption based on space-filling curves;on the security of schnorr's pseudo random generator;some ideal secret sharing schemes;cartesian authentication schemes;key minimal authentication systems for unconditional secrecy;parallel generation of recurring sequences.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Engineering Societies in the Agents World VIII 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540876540

ISBN: (纸本)9783540876533

this book constitutes the thoroughly refereed post-conference proceedings of the 7th International workshop on Engineering Societies in the Agents World, ESAW 2007, held in Athens, Greece, in October 2007. the 19 revised full papers were carefully reviewed and selected for inclusion in this book. the papers are organized in topical sections on electronic institutions, models of complex distributed systems with agents and societies; interaction in agent societies; engineering social intelligence in multi-agent systems; trust and reputation in agent societies; analysis, design and development of agent societies.

关键词： Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems simulation and Modeling Computer Appl. in Social and Behavioral Sciences Software Engineering

来源：评论

学校读者我要写书评

暂无评论

parallel Processing and Applied Mathematics 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540681113

ISBN: (纸本)9783540681052

this book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on parallel Processing and Applied Mathematics, PPAM 2007, held in Gdansk, Poland, in September 2007. the 63 revised full papers of the main conference presented together with 85 revised workshop papers were carefully reviewed and selected from over 250 initial submissions. the papers are organized in topical sections on parallel/distributed architectures and mobile computing, numerical algorithms and parallel numerics, parallel and distributed non-numerical algorithms, environments and tools for as well as applications of parallel/distributed/grid computing, evolutionary computing, meta-heuristics and neural networks. the volume proceeds with the outcome of 11 workshops and minisymposia dealing with novel data formats and algorithms for dense linear algebra computations, combinatorial tools for parallel sparse matrix computations, grid applications and middleware, large scale computations on grids, models, algorithms and methodologies for grid-enabled computing environments, scheduling for parallel computing, language-based parallel programming models, performance evaluation of parallel applications on large-scale systems, parallel computational biology, high performance computing for engineering applications, and the minisymposium on interval analysis.

关键词： Software Engineering/Programming and Operating Systems Algorithm Analysis and Problem Complexity Mathematics of Computing Memory Structures Computer Communication Networks Computational Mathematics and Numerical Analysis

来源：评论

学校读者我要写书评

暂无评论

parallel Processing and Applied Mathematics 1

Parallel Processing and Applied Mathematics

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Roman Wyrzykowski Konrad Karczewski Jack Dongarra Ewa Deelman

ISBN: (数字)9783031857003

ISBN: (纸本)9783031856990

this book constitutes the refereed proceedings of the 15th International Conference on parallel Processing and Applied Mathematics , PPAM 2024, held in Ostrava, Czech Republic, during September 8–11, 2024. the 75 full papers included in this book were carefully reviewed and selected from 134 submissions. . the papers are organized in the following topical sections: Part I : Numerical Algorithms and parallel Scientific Computing; Architectural Aspects of HPC; parallel Non-numerical Algorithms; GPU Computing; Performance Analysis and Prediction in HPC Systems; Environments and Frameworks for parallel/Cloud/Edge Computing; and Applications of parallel and distributed Computing. Part II : First PPAM workshop on RISC-V (RISC-V PPAM 2024); Special Session on Scheduling for parallel Computing; 10th workshop on Language-Based parallel Programming (WLPP 2024); 7th workshop on Models Algorithms and Methodologies for Hybrid parallelism in New HPC Systems (MAMHYP 2024); and Second workshop on Quantum Computing and Communication. Part III : First workshop on Advancements of Global Challenges Application; Second workshop on Applications of Machine Learning and Artificial Intelligence in High Performance Computing; 5th workshop on Applied High Performance Numerical Algorithms for PDEs; Special Session on parallel EVD/SVD and its Application in Matrix Computations; 6th Minisymposium on HPC Applications in Physical Sciences; and 8th workshop on Complex Collective Systems.

关键词： Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

parallel Processing and Applied Mathematics 1

Parallel Processing and Applied Mathematics

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Roman Wyrzykowski Konrad Karczewski Jack Dongarra Ewa Deelman

ISBN: (数字)9783031857034

ISBN: (纸本)9783031857027

关键词： Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Euro-Par 2014: parallel Processing workshops 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Luís Lopes Julius Žilinskas Alexandru Costan Roberto G. Cascella Gabor Kecskemeti Emmanuel Jeannot Mario Cannataro Laura Ricci Siegfried Benkner Salvador Petit Vittorio Scarano José Gracia Sascha Hunold Stephen L. Scott Stefan Lankes Christian Lengauer Jesús Carretero Jens Breitbart Michael Alexander

ISBN: (数字)9783319143132

ISBN: (纸本)9783319143125

the two volumes LNCS 8805 and 8806 constitute the thoroughly refereed post-conference proceedings of 18 workshops held at the 20th International Conference on parallel Computing, Euro-Par 2014, in Porto, Portugal, in August 2014. the 100 revised full papers presented were carefully reviewed and selected from 173 submissions. the volumes include papers from the following workshops: APCI&E (First workshop on Applications of parallel Computation in Industry and Engineering - BigDataCloud (third workshop on Big Data Management in Clouds) - DIHC (Second workshop on Dependability and Interoperability in Heterogeneous Clouds) - FedICI (Second workshop on Federative and Interoperable Cloud Infrastructures) - Hetero Par (12th International workshop on Algorithms, Models and Tools for parallel Computing on Heterogeneous Platforms) - HiBB (5th workshop on High Performance Bioinformatics and Biomedicine) - LSDVE (Second workshop on Large Scale distributed Virtual Environments on Clouds and P2P) - MuCoCoS (7th International workshop on Multi-/Many-core Computing Systems) - OMHI (third workshop on On-chip Memory Hierarchies and Interconnects) - PADAPS (Second workshop on parallel and distributed Agent-Based simulations) - PROPER (7th workshop on Productivity and Performance) - Resilience (7th workshop on Resiliency in High Performance Computing with Clusters, Clouds, and Grids) - REPPAR (First International workshop on Reproducibility in parallel Computing) - ROME (Second workshop on Runtime and Operating Systems for the Many Core Era) - SPPEXA (workshop on Software for Exascale Computing) - TASUS (First workshop on Techniques and Applications for Sustainable Ultrascale Computing Systems) - UCHPC (7th workshop on Un Conventional High Performance Computing) and VHPC (9th workshop on Virtualization in High-Performance Cloud Computing.

关键词： System Performance and Evaluation Software Engineering/Programming and Operating Systems Computer Communication Networks Database Management Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

Euro-Par 2014: parallel Processing workshops 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783319143255

ISBN: (纸本)9783319143248

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共35页 << < 26 27 28 29 30 31 32 33 34 35 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：