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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

51 篇 会议
4 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

26 篇 工学
- 20 篇 计算机科学与技术...
- 13 篇 软件工程
- 4 篇 信息与通信工程
- 2 篇 动力工程及工程热...
- 2 篇 生物工程
- 1 篇 力学（可授工学、理...
- 1 篇 光学工程
- 1 篇 电气工程
- 1 篇 电子科学与技术（可...
- 1 篇 环境科学与工程（可...
- 1 篇 网络空间安全
14 篇 理学
- 8 篇 系统科学
- 3 篇 生物学
- 2 篇 数学
- 1 篇 物理学
- 1 篇 海洋科学
7 篇 管理学
- 6 篇 管理科学与工程(可...
- 1 篇 工商管理
- 1 篇 图书情报与档案管...
2 篇 法学
- 2 篇 社会学
1 篇 教育学
- 1 篇 教育学

主题

4 篇 systems analysis
2 篇 virtual reality
2 篇 open source soft...
1 篇 libraries
1 篇 pi-controller
1 篇 precision time p...
1 篇 matlab
1 篇 three-dimensiona...
1 篇 fault tolerance
1 篇 model checking
1 篇 prototypes
1 篇 testbeds
1 篇 tri-level sync
1 篇 machine design
1 篇 brain modeling
1 篇 cameras
1 篇 bandwidth
1 篇 formal languages
1 篇 energy utilizati...
1 篇 robot sensing sy...

机构

3 篇 university of ca...
2 篇 intel research b...
2 篇 uc berkeley unit...
2 篇 microsoft redmon...
2 篇 university of ut...
2 篇 icsi
2 篇 mit csail
1 篇 epfl
1 篇 intel research u...
1 篇 usc/information ...
1 篇 intel labs unite...
1 篇 ucla united stat...
1 篇 sri internationa...
1 篇 microsoft united...
1 篇 unc chapel hill ...
1 篇 university colle...
1 篇 university of ca...
1 篇 computer systems...
1 篇 budapest univ te...
1 篇 hewlett packard ...

作者

3 篇 ratnasamy sylvia
2 篇 atkinson kevin
2 篇 sylvia ratnasamy
2 篇 nedevschi sergiu
2 篇 ricci robert
2 篇 stoica ion
1 篇 hibler mike
1 篇 mirkovic jelena
1 篇 casado martín
1 篇 shi guangyu
1 篇 muthukrishnan ch...
1 篇 jaideep chandras...
1 篇 he yuan
1 篇 guo chuanxiong
1 篇 shelar pravin
1 篇 castro-karney br...
1 篇 shinoda yoichi
1 篇 jiang haotian
1 篇 anand ashok
1 篇 stockwell gareth

语言

54 篇 英文
1 篇 中文

检索条件"任意字段=16th USENIX Symposium on Networked Systems Design and Implementation"

共 55 条记录，以下是1-10 订阅

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

详细简洁

排序：

Proceedings of the 16th usenix symposium on networked systems design and implementation, NSDI 2019

Proceedings of the 16th USENIX Symposium on Networked System...

引用

16th usenix symposium on networked systems design and implementation, NSDI 2019

ISBN: (纸本)9781931971492

the proceedings contain 49 papers. the topics discussed include: Eiffel: efﬁcient and flexible software packet scheduling;size-aware sharding for improving tail latencies in in-memory key-value stores;JANUS: fast and flexible deep learning via symbolic graph execution of imperative programs;understanding lifecycle management complexity of datacenter topologies;towards programming the radio environment with large arrays of inexpensive antennas;and conﬂuo: distributed monitoring and diagnosis stack for high-speed networks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 20th usenix symposium on networked systems design and implementation, NSDI 2023

Proceedings of the 20th USENIX Symposium on Networked System...

引用

20th usenix symposium on networked systems design and implementation, NSDI 2023

ISBN: (纸本)9781939133335

the proceedings contain 96 papers. the topics discussed include: understanding RDMA microarchitecture resources for performance isolation;transparent GPU sharing in container clouds for deep learning workloads;Zeus: understanding and optimizing GPU energy consumption of DNN training;Canvas: isolated and adaptive swapping for multi-applications on remote memory;Hermit: low-latency, high-throughput, and transparent remote memory via feedback-directed asynchrony;understanding the impact of host networking elements on traffic bursts;Poseidon: efficient, robust, and practical datacenter CC via deployable INT;Hydra: serialization-free network ordering for strongly consistent distributed applications;the benefit of hindsight: tracing edge-cases in distributed systems;and Waverunner: an elegant approach to hardware acceleration of state machine replication.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 19th usenix symposium on networked systems design and implementation, NSDI 2022

Proceedings of the 19th USENIX Symposium on Networked System...

引用

19th usenix symposium on networked systems design and implementation, NSDI 2022

ISBN: (纸本)9781939133274

the proceedings contain 78 papers. the topics discussed include: efficient scheduling policies for microsecond-scale tasks;a case for task sampling based learning for cluster job scheduling;starlight: fast container provisioning on the edge and over the WAN;swift: adaptive video streaming with layered neural codecs;Ekya: continuous learning of video analytics models on edge compute servers;modular switch programming under resource constraints;Privid: practical, privacy-preserving video analytics queries;spectrum: high-bandwidth anonymous broadcast;closed-loop network performance monitoring and diagnosis with SpiderMon;Cetus: releasing P4 programmers from the chore of trial and error compiling;exploiting digital micro-mirror devices for ambient light communication;learning to communicate effectively between battery-free devices;and Saiyan: design and implementation of a low-power demodulator for LoRa backscatter systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 18th usenix symposium on networked systems design and implementation, NSDI 2021

Proceedings of the 18th USENIX Symposium on Networked System...

引用

18th usenix symposium on networked systems design and implementation, NSDI 2021

ISBN: (纸本)9781939133212

the proceedings contain 59 papers. the topics discussed include: accessing cloud with disaggregated software-defined router;CodedBulk: inter-datacenter bulk transfers using network coding;twenty years after: hierarchical core-stateless fair queuing;breaking the transience-equilibrium nexus: a new approach to datacenter packet transport;Orion: Google’s software-defined networking control plane;finding invariants of distributed systems: it’s a small (enough) world after all;Avenir: managing data plane diversity with control plane synthesis;contracting wide-area network topologies to solve flow problems quickly;cost-effective cloud edge traffic engineering with CASCARA;and a social network under social distancing: risk-driven backbone management during COVID-19 and beyond.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 16th usenix symposium on Operating systems design and implementation, OSDI 2022

Proceedings of the 16th USENIX Symposium on Operating System...

引用

16th usenix symposium on Operating systems design and implementation, OSDI 2022

ISBN: (纸本)9781939133281

the proceedings contain 49 papers. the topics discussed include: Owl: scale and flexibility in distribution of hot content;BlockFlex: enabling storage harvesting with software-defined flash in modern cloud platforms;MemLiner: lining up tracing and application for a far-memory-friendly runtime;demystifying and checking silent semantic violations in large distributed systems;cancellation in systems: an empirical study of task cancellation patterns and failures;automatic reliability testing for cluster management controllers;ListDB: union of write-ahead logs and persistent SkipLists for incremental checkpointing on persistent memory;Durinn: adversarial memory and thread interleaving for detecting durable linearizability bugs;Walle: an end-to-end, general-purpose, and large-scale production system for device-cloud collaborative machine learning;and unity: accelerating DNN training through joint optimization of algebraic transformations and parallelization.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 17th usenix symposium on networked systems design and implementation, NSDI 2020

Proceedings of the 17th USENIX Symposium on Networked System...

引用

17th usenix symposium on networked systems design and implementation, NSDI 2020

ISBN: (纸本)9781939133137

the proceedings contain 65 papers. the topics discussed include: expanding across time to deliver bandwidth efficiency and low latency;re-architecting congestion management in lossless Ethernet;measuring congestion in high-performance datacenter interconnects;SP-PIFO: approximating push-in first-out behaviors using strict-priority queues;FileMR: rethinking RDMA networking for scalable persistent memory;NetTLP: a development platform for PCIe devices in software interacting with hardware;near-optimal latency versus cost tradeoffs in geo-distributed storage;NetSMC: a custom symbolic model checker for stateful network verification;and automated verification of customizable middlebox properties with gravel.

关键词：

来源：评论

学校读者我要写书评

暂无评论

design and Verification of the Arm Confidential Compute Architecture 16

Design and Verification of the Arm Confidential Compute Arch...

引用

16th usenix symposium on Operating systems design and implementation (OSDI)

作者： Li, Xupeng Li, Xuheng Dall, Christoffer Gu, Ronghui Nieh, Jason Sait, Yousuf Stockwell, Gareth Columbia Univ New York NY 10027 USA Arm Ltd Cambridge England

ISBN: (纸本)9781939133281

the increasing use of sensitive private data in computing is matched by a growing concern regarding data privacy. System software such as hypervisors and operating systems are supposed to protect and isolate applications and their private data, but their large codebases contain many vulnerabilities that can risk data confidentiality and integrity. We introduce Realms, a new abstraction for confidential computing to protect the data confidentiality and integrity of virtual machines. Hardware creates and enforces Realm world, a new physical address space for Realms. Firmware controls the hardware to secure Realms and handles requests from untrusted system software to manage Realms, including creating and running them. Untrusted system software retains control of the dynamic allocation of memory to Realms, but cannot access Realm memory contents, even if run at a higher privileged level. To guarantee the security of Realms, we verified the firmware, introducing novel verification techniques that enable us to prove, for the first time, the security and correctness of concurrent software with hand-over-hand locking and dynamically allocated shared page tables, data races in kernel code running on relaxed memory hardware, integrated C and Arm assembly code calling one another, and untrusted software being in full control of allocating system resources. Realms are included in the Arm Confidential Compute Architecture.

关键词： Firmware

来源：评论

学校读者我要写书评

暂无评论

Saiyan: design and implementation of a Low-power Demodulator for LoRa Backscatter systems 19

Saiyan: Design and Implementation of a Low-power Demodulator...

引用

19th usenix symposium on networked systems design and implementation (NSDI)

作者： Guo, Xiuzhen Shangguan, Longfei He, Yuan Jing, Nan Zhang, Jiacheng Jiang, Haotian Liu, Yunhao Tsinghua Univ Beijing Peoples R China Univ Pittsburgh Pittsburgh PA USA Microsoft Redmond WA USA Yanshan Univ Qinhuangdao Peoples R China

ISBN: (纸本)9781939133274

the radio range of backscatter systems continues growing as new wireless communication primitives are continuously invented. Nevertheless, both the bit error rate and the packet loss rate of backscatter signals increase rapidly with the radio range, thereby necessitating the cooperation between the access point and the backscatter tags through a feedback loop. Unfortunately, the low-power nature of backscatter tags limits their ability to demodulate feedback signals from a remote access point and scales down to such circumstances. this paper presents Saiyan, an ultra-low-power demodulator for long-range LoRa backscatter systems. With Saiyan, a backscatter tag can demodulate feedback signals from a remote access point with moderate power consumption and then perform an immediate packet re-transmission in the presence of packet loss. Moreover, Saiyan enables rate adaption and channel hopping - two PHY-layer operations that are important to channel efficiency yet unavailable on long-range backscatter systems. We prototype Saiyan on a two-layer PCB board and evaluate its performance in different environments. Results show that Saiyan achieves 3.5-5 x gain on the demodulation range, compared with state-of-the-art systems. Our ASIC simulation shows that the power consumption of Saiyan is around 93.2 mu W. Code and hardware schematics can be found at: https://***/ZangJac/Saiyan.

关键词： Electric power utilization

来源：评论

学校读者我要写书评

暂无评论

In-Network Velocity Control of Industrial Robot Arms 19

In-Network Velocity Control of Industrial Robot Arms

引用

19th usenix symposium on networked systems design and implementation (NSDI)

作者： Laki, Sandor Gyorgyi, Csaba Peto, Jozsef Voros, Peter Szabo, Geza Eotvos Lorand Univ Budapest Hungary Budapest Univ Technol & Econ Budapest Hungary Ericsson Res Budapest Hungary

ISBN: (纸本)9781939133274

In-network computing has emerged as a new computational paradigm made possible with the advent of programmable data planes. the benefits of moving computations traditionally performed by servers to the network have recently been demonstrated through different applications. In this paper, we argue that programmable data planes could be a key technology enabler of cloud and edge-cloud robotics, and in general could revitalize industrial networking. We propose an in-network approach for real-time robot control that separates delay sensitive tasks from high-level control processes. the proposed system offloads real-time velocity control of robot arms to P4-enabled programmable data planes and only keeps the high-level control and planning at the industrial controller. this separation allows the deployment of industrial control in non-real-time environments like virtual machines and service containers running in a remote cloud or an edgecomputing infrastructure. In addition, we also demonstrate that our method can smoothly control 100s of robot arms with a single P4-switch, enables fast reroute between trajectories, solves the precise synchronization of multiple robots by design and supports the plug-and-play deployment of new robot devices in the industrial system, reducing both operational and management costs.

关键词： Machine design

来源：评论

学校读者我要写书评

暂无评论

PTP-Synchronized Tri-Level Sync Generation for networked Multi-Sensor systems 30

PTP-Synchronized Tri-Level Sync Generation for Networked Mul...

引用

30th IEEE International Conference on Embedded and Real-Time Computing systems and Applications (RTCSA)

作者： Riggers, Christoph Schleusner, Jens Renke, Oliver Blume, Holger Leibniz Univ Hannover Inst Microelect Syst Hannover Germany

ISBN: (纸本)9798350387964;9798350387957

Synchronization of sensor devices is crucial for concurrent data acquisition. Numerous protocols have emerged for this task, and for some multi-sensor setups to operate synchronized, a conversion between deployed protocols is needed. this paper presents a bare-metal implementation of a Tri-Level Sync signal generator on a microcontroller unit (MCU) synchronized to a master clock via the IEEE 1588 Precision Time Protocol (PTP). Cameras can be synchronized by locking their frame generators to the Tri-Level Sync signal. As this synchronization depends on a stable analog signal, a careful design of the signal generation based on a PTP-managed clock is required. the limited tolerance of a camera to clock frequency adjustments for continuous operations imposes rate-limits on the PTP-controller. Simulations using a software model demonstrate the resulting controller instabilities from rate-limiting. this problem is addressed by introducing a linear prediction mode to the controller, which estimates the realizable offset change during rate-limited frequency alignment. By adjusting the frequency in a timely manner, a large overshoot of the controller can be avoided. Additionally, a cascading controller design that decouples the PTP from the clock update rate proved to be advantageous to increase the camera's tolerable frequency change. this paper demonstrates that a MCU is a viable platform to perform PTP-synchronized Tri-Level Sync generation. Our open source implementation is available for use by the research community at https://***/IMS-AS-LUH/t41-tri-sync-ptp.

关键词： Precision Time Protocol PTP Tri-Level Sync camera SMPTE PI-controller synchronization MCU

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共6页 << < 1 2 3 4 5 6 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：