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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,315 篇 会议
152 篇 期刊文献
6 册 图书

馆藏范围

4,472 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

3,285 篇 工学
- 3,132 篇 计算机科学与技术...
- 1,644 篇 软件工程
- 413 篇 信息与通信工程
- 373 篇 电气工程
- 227 篇 控制科学与工程
- 82 篇 电子科学与技术（可...
- 53 篇 网络空间安全
- 48 篇 生物工程
- 35 篇 机械工程
- 30 篇 建筑学
- 24 篇 动力工程及工程热...
- 22 篇 生物医学工程（可授...
- 20 篇 化学工程与技术
- 19 篇 环境科学与工程（可...
- 18 篇 仪器科学与技术
- 18 篇 农业工程
- 16 篇 材料科学与工程（可...
807 篇 理学
- 672 篇 数学
- 129 篇 统计学（可授理学、...
- 65 篇 系统科学
- 52 篇 生物学
- 43 篇 物理学
- 26 篇 化学
376 篇 管理学
- 225 篇 管理科学与工程(可...
- 176 篇 图书情报与档案管...
- 170 篇 工商管理
120 篇 教育学
- 120 篇 教育学
46 篇 法学
- 37 篇 社会学
45 篇 经济学
- 44 篇 应用经济学
17 篇 农学
- 17 篇 作物学
16 篇 医学
1 篇 文学
1 篇 军事学

主题

372 篇 distributed comp...
262 篇 distributed comp...
134 篇 distributed algo...
106 篇 grid computing
99 篇 cloud computing
93 篇 distributed syst...
91 篇 computational mo...
62 篇 computer network...
61 篇 concurrent compu...
55 篇 computer science
53 篇 fault tolerance
50 篇 distributed algo...
50 篇 algorithms
49 篇 application soft...
46 篇 parallel computi...
44 篇 computer archite...
44 篇 distributed data...
43 篇 message passing
42 篇 computer systems...
42 篇 edge computing

机构

48 篇 swiss fed inst t...
32 篇 technion haifa
30 篇 universidade do ...
27 篇 carnegie mellon ...
24 篇 mit cambridge ma...
22 篇 univ freiburg fr...
17 篇 vienna universit...
16 篇 univ michigan an...
15 篇 university of au...
14 篇 tel aviv univ te...
14 篇 natl univ singap...
12 篇 univ toronto on
12 篇 georgia inst tec...
12 篇 uas technikum vi...
12 篇 ben gurion univ ...
12 篇 cornell univ ith...
12 篇 aalto univ espoo
12 篇 univ calif berke...
11 篇 ecole polytech f...
11 篇 indiana univ blo...

作者

33 篇 kuhn fabian
31 篇 ghaffari mohsen
24 篇 elkin michael
22 篇 awerbuch baruch
22 篇 chen haibo
22 篇 pandurangan gopa...
21 篇 suomela jukka
20 篇 censor-hillel ke...
19 篇 peleg david
19 篇 fraigniaud pierr...
18 篇 chang yi-jun
18 篇 wattenhofer roge...
18 篇 rui oliveira
17 篇 raynal michel
16 篇 rajsbaum sergio
16 篇 guerraoui rachid
16 篇 kutten shay
16 篇 brandt sebastian
15 篇 karl m. goeschka
15 篇 patt-shamir boaz

语言

4,425 篇 英文
44 篇 其他
4 篇 中文

检索条件"任意字段=Proceedings of the ACM Symposium on Principles of Distributed Computing"

共 4473 条记录，以下是161-170 订阅

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

详细简洁

排序：

distributed Computations in Fully-Defective Networks 22

Distributed Computations in Fully-Defective Networks

引用

acm symposium on principles of distributed computing (PODC)

作者： Censor-Hillel, Keren Cohen, Shir Gelles, Ran Sela, Gal Technion Haifa Israel Bar Ilan Univ Ramat Gan Israel

ISBN: (纸本)9781450392624

We address fully-defective asynchronous networks, in which all links are subject to an unlimited number of alteration errors, implying that all messages in the network may be completely corrupted. Despite the possible intuition that such a setting is too harsh for any reliable communication, we show how to simulate any algorithm for a noiseless setting over any fully-defective setting, given that the network is 2-edge connected. We prove that if the network is not 2-edge connected, no non-trivial computation in the fully-defective setting is possible. The key structural property of 2-edge-connected graphs that we leverage is the existence of an oriented (non-simple) cycle that goes through all nodes [Robbins, 1939]. The core of our technical contribution is presenting a construction of such a Robbins cycle in fully-defective networks, and showing how to communicate over it despite total message corruption. These are obtained in a content-oblivious manner, since nodes must ignore the content of received messages.

关键词： Fully-defective Networks Noise Resilience Robbins' Theorem

来源：评论

学校读者我要写书评

暂无评论

The 0'th PEPM Event: October 1987-And Andrei Petrovich Ershov: 1977-1988 (Invited Contribution) 2024

The 0'th PEPM Event: October 1987-And Andrei Petrovich Ersho...

引用

2024 acm SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, in affiliation with the annual symposium on principles of Programming Languages, POPL 2024

作者： Bjørner, Dines Technical University of Denmark LyngbyDK-2800 Kgs Denmark

An attempt is made to record events leading up to the The 0'th PEPM Event: The October 1987 Partial Evaluation and Mixed Computation IFIP TC2 Working Conference at Gl. Avernæs, Denmark. © 2024 Copyright ... 详细信息

ISBN: (纸本)9798400704871

关键词： History of computing

来源：评论

学校读者我要写书评

暂无评论

Encrypted distributed Systems 22

Encrypted Distributed Systems

引用

acm symposium on principles of distributed computing (PODC)

作者： Kamara, Seny MongoDB Atlanta GA 30305 USA Brown Univ Providence RI 02912 USA

ISBN: (纸本)9781450392624

distributed computing is at the heart of modern system architectures and infrastructures. But as security and privacy have increasingly become critical to every organization, modern cryptography is making its way into core systems. In this talk, I will describe work that focuses on using modern cryptographic techniques in large scale practical distributed systems in order to improve their security and privacy guarantees. I will show how both cryptographic techniques and distributed systems need to be adapted to make this work and how to think about the security of these new encrypted distributed systems.

关键词： Cryptography distributed systems

来源：评论

学校读者我要写书评

暂无评论

principles of the Internet - Model Lessons for Lower Secondary School: Experience Report 2025

Principles of the Internet - Model Lessons for Lower Seconda...

引用

56th Technical symposium on Computer Science Education

作者： Yaghobova, Anna Mazna, Michaela Drobna, Anna Dechterenko, Filip Brom, Cyril Charles Univ Prague Fac Math & Phys Prague Czech Republic Charles Univ Prague Fac Educ Prague Czech Republic Charles Univ Prague Fac Arts Prague Czech Republic

ISBN: (纸本)9798400705311

The national computing curriculum in Czechia was revised in 2021 to incorporate various topics, including fundamental principles of the internet and computer networks at the ISCED level 2 (age similar to 11-15). However, schools face a shortage of age-appropriate teaching materials on this subject. To address this gap, we developed four model lessons and corresponding materials tailored for ISCED 2 students and teachers at two levels of difficulty. The primary objective of these lessons is to elucidate the structure and fundamental principles of the internet, building on prevalent student preconceptions. This work is grounded in the constructivist instructional framework known as Evocation - Realisation of Meaning Reflection (ERR). The lessons were created and validated through design-based research conducted across six schools, involving 13 classes and a total of approximately 270 students. Pre-post-delayed testing revealed very large immediate improvements following the intervention (d = 1.72, p < 0.001, n = 204) as well as large, sustained effects months later (d = 1.10, p < 0.001, n = 59). This paper details the development, implementation, and evaluation of these lessons, providing a valuable resource for educators in various contexts.

关键词： Computer science Education K-8 ERR framework Constructivism Internet

来源：评论

学校读者我要写书评

暂无评论

PERMAVOST 2024 - proceedings of the 2024 4th Workshop on Performance EngineeRing, Modelling, Analysis, and VisualizatiOn STrategy, Part of: HPDC 2024 - 33rd International symposium on High-Performance Parallel and distributed computing

PERMAVOST 2024 - Proceedings of the 2024 4th Workshop on Per...

引用

4th Workshop on Performance EngineeRing, Modelling, Analysis, and VisualizatiOn STrategy, PERMAVOST 2024

The proceedings contain 3 papers. The topics discussed include: cost-efficient construction of performance models;using benchmarking and regression models for predicting CNN training time on a GPU;and benchmarking mac...

ISBN: (纸本)9798400706455

关键词：

来源：评论

学校读者我要写书评

暂无评论

Partial Failure Resilient Memory Management System for (CXL-based) distributed Shared Memory 23

Partial Failure Resilient Memory Management System for (CXL-...

引用

29th acm symposium on Operating Systems principles (SOSP)

作者： Zhang, Mingxing Ma, Teng Hua, Jinqi Liu, Zheng Chen, Kang Ding, Ning Du, Fan Jiang, Jinlei Ma, Tao Wu, Yongwei Tsinghua Univ Beijing Peoples R China Alibaba Grp Hangzhou Peoples R China Zhongguancun Lab Beijing Peoples R China Intel Santa Clara CA USA

ISBN: (纸本)9798400702297

The efficiency of distributed shared memory (DSM) has been greatly improved by recent hardware technologies. But, the difficulty of distributed memory management can still be a major obstacle to the democratization of DSM, especially when a partial failure of the participating clients (e.g., due to crashed processes or machines) should be tolerated. In this paper, we present CXL-SHM, an automatic distributed memory management system based on reference counting. The reference count maintenance in CXL-SHM is implemented with a special era-based non-blocking algorithm. Thus, there are no blocking synchronization, memory leak, double free, and wild pointer problems, even if some participating clients unexpectedly fail without freeing their possessed memory references. We evaluated our system on real CXL hardware with both micro-benchmarks and end-to-end applications, which demonstrate the efficiency of CXL-SHM and the simplicity/flexibility of using CXL-SHM to build efficient distributed applications.

关键词： CXL distributed Shared Memory Non-blocking

来源：评论

学校读者我要写书评

暂无评论

Flame: Simplifying Topology Extension in Federated Learning 14

Flame: Simplifying Topology Extension in Federated Learning

引用

14th Annual acm symposium on Cloud computing (SoCC)

作者： Daga, Harshit Shin, Jaemin Garg, Dhruv Gavrilovska, Ada Lee, Myungjin Kompella, Ramana Rao Georgia Inst Technol Atlanta GA 30332 USA Korea Adv Inst Sci & Technol Seoul South Korea Cisco Res San Jose CA 95134 USA

ISBN: (纸本)9798400703874

distributed machine learning approaches, including a broad class of federated learning (FL) techniques, present a number of benefits when deploying machine learning applications over widely distributed infrastructures. The benefits are highly dependent on the details of the underlying machine learning topology, which specifies the functionality executed by the participating nodes, their dependencies and interconnections. Current systems lack the flexibility and extensibility necessary to customize the topology of a machine learning deployment. We present Flame, a new system that provides flexibility of the topology configuration of distributed FL applications around the specifics of a particular deployment context, and is easily extensible to support new FL architectures. Flame achieves this via a new high-level abstraction Topology Abstraction Graphs (TAGs). TAGs decouple the ML application logic from the underlying deployment details, making it possible to specialize the application deployment with reduced development effort. Flame is released as an open source project, and its flexibility and extensibility support a variety of topologies and mechanisms, and can facilitate the development of new FL methodologies.

关键词： distributed Machine Learning Federated Learning

来源：评论

学校读者我要写书评

暂无评论

Probabilistic Bayesian Neural Networks for Efficient Inference 24

Probabilistic Bayesian Neural Networks for Efficient Inferen...

引用

34th Great Lakes symposium on VLSI (GLSVLSI)

作者： Ishak, Md Alawad, Mohammed Wayne State Univ Dept Elect & Comp Engn Detroit MI 48202 USA

ISBN: (纸本)9798400706059

Bayesian Neural Networks (BNNs) offer a principled framework for modeling uncertainty in deep learning tasks. However, conventional BNNs often suffer from high computational complexity and parameter overhead. In this paper, we propose a novel approach, termed Probabilistic BNN (ProbBNN), which leverages probabilistic computing principles to streamline the inference process. Unlike traditional deterministic approaches, ProbBNN represents inputs and parameters as random variables governed by probability distributions, allowing for the propagation of uncertainty throughout the network. We employ Gaussian Mixture Models (GMMs) to represent the parameters of each neuron or convolutional kernel, enabling efficient encoding and processing of uncertainty. Our approach simplifies the inference process by replacing complex deterministic computations with lightweight probabilistic operations, resulting in reduced computational complexity and improved scalability. Experimental results demonstrate the effectiveness of ProbBNN in achieving competitive accuracy to traditional BNNs while significantly reducing the number of parameters. The transition to ProbBNN yields a reduction of two orders of magnitude in the number of parameters compared to baseline approaches, making our approach promising for deployment in resource-constrained applications such as edge computing and IoT devices.

关键词： Bayesian neural network probabilistic computing Gaussian Mixture Model

来源：评论

学校读者我要写书评

暂无评论

On the Integration of Ledger Technology and Edge computing for Intelligent Transportation Systems 20

On the Integration of Ledger Technology and Edge Computing f...

引用

20th acm International symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN)

作者： Moura, Douglas L. L. Aquino, Andre L. L. Loureiro, Antonio A. F. Univ Fed Minas Gerais Dept Comp Sci Belo Horizonte MG Brazil Univ Fed Alagoas Comp Inst Maceio Alagoas Brazil

ISBN: (纸本)9798400703706

Intelligent Transportation Systems (ITS) involve integrating information and communication technologies with traffic infrastructure and vehicles to support the development of more sustainable transportation systems. However, ITS face security, reliability, and efficiency challenges in storage and sharing real-time critical data. To address these issues, we propose an architecture based on edge computing and blockchain to enable secure data storage and sharing for ITS. By leveraging edge computing capabilities and blockchain's distributed ledger technology, our architecture enhances data security, ensures data integrity, and improves real-time data processing in ITS. We analyze a smart parking system application scenario, and the results demonstrate a significant reduction in average latency and storage usage, highlighting the positive impact of our solution on enhancing the overall performance and reliability of ITS.

关键词： edge computing distributed ledger technologies intelligent transportation systems

来源：评论

学校读者我要写书评

暂无评论

Advancing Equity through a Research-Practice Partnership: A Case Study of a Professional Development Initiative for Educators of Color 2024

Advancing Equity through a Research-Practice Partnership: A ...

引用

55th acm Technical symposium on Computer Science Education, SIGCSE 2024

作者： Childs, Joshua Ogden, Kaitlin Fletcher, Carol Antoine, Allen Baker, Stephanie Madrigal, Alejandro Educational Leadership and Policy University of Texas at Austin AustinTX United States Education Leadership and Policy University of Texas at Austin AustinTX United States Texas Advanced Computing Center AustinTX United States Expanding Pathways in Computing Texas Advanced Computing Center AustinTX United States University of Texas at Austin AustinTX United States

ISBN: (纸本)9798400704246

There is growing consensus that focused attention on increasing the computer science (CS) certification of Black and Brown teachers is needed. More certified CS Black and Brown teachers can propel equity-based CS principles, support diverse CS classrooms, and diffuse culturally relevant teaching practices. The computing Educator Diversity Initiative (CEDI) is a tailored in-person and online professional development program that supports the growth and development of CS knowledge and inclusive pedagogy for educators. CEDI specifically recruits teachers who reflect the racial and ethnic identities of the student populations in their schools. Through a Research-Practice Partnership (RPP) that facilitated use of improvement science tools, culturally relevant professional development, and collaboration, CEDI assisted aspiring CS teachers to become certified. Findings from two cohorts of CS teachers revealed that engaging within a cohesive community of practice led to the cultivation of CS expertise, pedagogical proficiencies, and equitable teaching methodologies. © 2024 Owner/Author.

关键词： Cultivation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共448页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：