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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

34 篇 会议
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

21 篇 工学
- 15 篇 软件工程
- 12 篇 计算机科学与技术...
- 5 篇 电气工程
- 1 篇 动力工程及工程热...
4 篇 管理学
- 2 篇 管理科学与工程(可...
- 2 篇 工商管理
- 2 篇 图书情报与档案管...
1 篇 法学
- 1 篇 法学

主题

2 篇 database systems
2 篇 public key crypt...
2 篇 outages
2 篇 application prog...
2 篇 cgra
2 篇 multicore
2 篇 investments
2 篇 hevc
2 篇 machinery
1 篇 performance
1 篇 file systems
1 篇 scalability
1 篇 dst
1 篇 registers
1 篇 accelerator
1 篇 task analysis
1 篇 delays
1 篇 reconfigurable
1 篇 pattern matching
1 篇 heterogeneous

机构

3 篇 mit comp sci lab...
2 篇 consystant desig...
2 篇 mit laboratory f...
2 篇 carnegie mellon ...
2 篇 department of co...
2 篇 carnegie mellon ...
1 篇 intertrust techn...
1 篇 mpi sws saarbruc...
1 篇 m.i.t. laborator...
1 篇 carnegie mellon ...
1 篇 tampere univ tec...
1 篇 computer science...
1 篇 nyu dept comp sc...
1 篇 nokia technol es...
1 篇 boston coll newt...
1 篇 tampere univ tec...
1 篇 oracle labs sant...
1 篇 cisco system
1 篇 computer system ...
1 篇 kungfu ai austin...

作者

2 篇 nurmi jari
2 篇 ganger gregory r...
2 篇 kaashoek m. fran...
2 篇 schlosser steven...
2 篇 griffin john lin...
2 篇 m. frans kaashoe...
2 篇 nouri sajjad
2 篇 nagle david f.
2 篇 fu kevin
2 篇 gregory r. gange...
2 篇 mazières david
1 篇 milojicic d
1 篇 liskov barbara
1 篇 miguel castro
1 篇 martinez justin ...
1 篇 faltin tomas
1 篇 curtis d
1 篇 munoz a
1 篇 umesh maheshwari
1 篇 shapiro william

语言

35 篇 英文

检索条件"任意字段=4th Conference on Symposium on Operating System Design and Implementation, OSDI 2000"

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

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

详细简洁

排序：

Proceedings of the 4th conference on symposium on operating system design and implementation, osdi 2000

Proceedings of the 4th Conference on Symposium on Operating ...

引用

4th conference on symposium on operating system design and implementation, osdi 2000

the proceedings contain 24 papers. the topics discussed include: policies for dynamic clock scheduling;towards higher disk head utilization: extracting free bandwidth from busy disk drives;checking system rules using system-specific, programmer-written compiler extensions;a low-overhead high-performance unified buffer management scheme that exploits sequential and looping references;how to build a trusted database system on untrusted storage;taming the memory hogs: using compiler-inserted releases to manage physical memory intelligently;latency management in storage systems;surplus fair scheduling: a proportional-share CPU scheduling algorithm for symmetric multiprocessors;DEVIL: an IDL for hardware programming;performance-driven processor allocation;end-to-end authorization;system support for bandwidth management and content adaptation in internet applications;operating system management of MEMS-based storage devices;trading capacity for performance in a disk array;exploring failure transparency and the limits of generic recovery;proactive recovery in a byzantine-fault-tolerant system;and design and evaluation of a continuous consistency model for replicated services.

关键词：

来源：评论

学校读者我要写书评

暂无评论

4th symposium on operating system design and implementation, osdi 2000

4th Symposium on Operating System Design and Implementation,...

引用

4th symposium on operating system design and implementation, osdi 2000

the proceedings contain 24 papers. the topics discussed include: system support for bandwidth management and content adaptation in internet applications;interposed request routing for scalable network storage;processes in KaffeOS: isolation, resource management, and sharing in Java;proactive recovery in a byzantine-fault-tolerant system;surplus fair scheduling: a proportional-share CPU scheduling algorithm for symmetric multiprocessors;and exploring failure transparency and the limits of generic recovery.

关键词：

来源：评论

学校读者我要写书评

暂无评论

How to build a trusted database system on untrusted storage 4

How to build a trusted database system on untrusted storage

引用

4th conference on symposium on operating system design and implementation, osdi 2000

作者： Maheshwari, Umesh Vingralek, Radek Shapiro, William STAR Lab. InterTrust Technologies Corporation Santa ClaraCA95054 United States

Some emerging applications require programs to maintain sensitive state on untrusted hosts. this paper presents the architecture and implementation of a trusted database system, TDB, which leverages a small amount of trusted storage to protect a scalable amount of un-trusted storage. the database is encrypted and validated against a collision-resistant hash kept in trusted storage, so untrusted programs cannot read the database or modify it undetectably. TDB integrates encryption and hashing with a low-level data model, which protects data and metadata uniformly, unlike systems built on top of a conventional database system. the implementation exploits synergies between hashing and log-structured storage. Preliminary performance results show that TDB outperforms an off-the-shelf embedded database system, thus supporting the suitability of the TDB architecture.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

operating system management of MEMS-based storage devices 4

Operating system management of MEMS-based storage devices

引用

4th conference on symposium on operating system design and implementation, osdi 2000

作者： Griffin, John Linwood Schlosser, Steven W. Ganger, Gregory R. Nagle, David F. Carnegie Mellon University United States

MEMS-based storage devices promise significant performance, reliability, and power improvements relative to disk drives. this paper compares and contrasts these two storage technologies and explores how the physical characteristics of MEMS-based storage devices change four aspects of operating system (OS) management: request scheduling, data placement, failure management, and power conservation. Straightforward adaptations of existing disk request scheduling algorithms are found to be appropriate for MEMS-based storage devices. A new bipartite data placement scheme is shown to better match these devices' novel mechanical positioning characteristics. With aggressive internal redundancy, MEMS-based storage devices can mask and tolerate failure modes that halt operation or cause data loss for disks. In addition, MEMS-based storage devices simplify power management because the devices can be stopped and started rapidly.

关键词： Outages

来源：评论

学校读者我要写书评

暂无评论

End-to-end authorization 4

End-to-end authorization

引用

4th conference on symposium on operating system design and implementation, osdi 2000

作者： Howell, Jon Kotz, David Consystant Design Technologies United States Department of Computer Science Dartmouth College United States

Many boundaries impede the flow of authorization information, forcing applications that span those boundaries into hop-by-hop approaches to authorization. We present a unified approach to authorization. Our approach allows applications that span administrative, network, abstraction, and protocol boundaries to understand the end-to-end authority that justifies any given request. the resulting distributed systems are more secure and easier to audit. We describe boundaries that can interfere with end-to-end authorization, and outline our unified approach. We describe the system we built and the applications we adapted to use our unified authorization system, and measure its costs. We conclude that our system is a practical approach to the desirable goal of end-to-end authorization.

关键词： Authorization

来源：评论

学校读者我要写书评

暂无评论

Proactive recovery in a Byzantine-fault-tolerant system 4

Proactive recovery in a Byzantine-fault-tolerant system

引用

4th conference on symposium on operating system design and implementation, osdi 2000

作者： Castro, Miguel Liskov, Barbara Laboratory for Computer Science Massachusetts Institute of Technology 545 Technology Square CambridgeMA02139 United States

this paper describes an asynchronous state-machine replication system that tolerates Byzantine faults, which can be caused by malicious attacks or software errors. Our system is the first to recover Byzantine-faulty replicas proactively and it performs well because it uses symmetric rather than public-key cryptography for authentication. the recovery mechanism allows us to tolerate any number of faults over the lifetime of the system provided fewer than 1/3 of the replicas become faulty within a window of vulnerability that is small under normal conditions. the window may increase under a denial-of-service attack but we can detect and respond to such attacks. the paper presents results of experiments showing that overall performance is good and that even a small window of vulnerability has little impact on service latency.

关键词： Public key cryptography

来源：评论

学校读者我要写书评

暂无评论

Fast and secure distributed read-only file system 4

Fast and secure distributed read-only file system

引用

4th conference on symposium on operating system design and implementation, osdi 2000

作者： Fu, Kevin Frans Kaashoek, M. Mazières, David MIT Laboratory for Computer Science 545 Technology Square CambridgeMA02139 United States

Internet users increasingly rely on publicly avail able data for everything from software installation to investment decisions. Unfortunately, the vast majority of public content on the Internet comes with no integrity or authenticity guarantees. this paper presents the self-certifying read-only file system, a content distribution system providing secure, scal able access to public, read-only data. the read-only file system makes the security of published content independent from that of the distribution infrastructure. In a secure area (per haps off-line), a publisher creates a digitally-signed database out of a file system's contents. the publisher then replicates the database on untrusted content-distribution servers, allowing for high availability. the read-only file system protocol furthermore pushes the cryptographic cost of content verification entirely onto clients, allowing servers to scal to a large number of clients. Measurements of an implementation show that an individual server running on a 550 Mhz Pentium III with FreeBSD can support 1, 012 connections per second and 300 concurrent clients compiling a large software package.

关键词： Investments

来源：评论

学校读者我要写书评

暂无评论

Checking system rules using system-specific, programmer-written compiler extensions 4

Checking system rules using system-specific, programmer-writ...

引用

4th conference on symposium on operating system design and implementation, osdi 2000

作者： Engler, Dawson Chelf, Benjamin Chou, Andy Hallem, Seth Computer Systems Laboratory Stanford University StanfordCA94305 United States

systems software such as OS kernels, embedded systems, and libraries must obey many rules for both correctness and performance. Common examples include "accesses to variable A must be guarded by lock B," "system calls must check user pointers for validity before using them," and "message handlers should free their buffers as quickly as possible to allow greater parallelism." Unfortunately, adherence to these rules is largely unchecked. this paper attacks this problem by showing how system implementors can use meta-level compilation (MC) to write simple, system-specific compiler extensions that automatically check their code for rule violations. By melding domain-specific knowledge with the automatic machinery of compilers, MC brings the benefits of language-level checking and optimizing to the higher, "meta" level of the systems implemented in these languages. this paper demonstrates the effectiveness of the MC approach by applying it to four complex, real systems: Linux, OpenBSD, the Xok exokernel, and the FLASH machine's embedded software. MC extensions found roughly 500 errors in these systems and led to numerous kernel patches. Most extensions were less than a hundred lines of code and written by implementors who had a limited understanding of the systems checked.

关键词： Machinery

来源：评论

学校读者我要写书评

暂无评论

system support for bandwidth management and content adaptation in internet applications 4

System support for bandwidth management and content adaptati...

引用

4th conference on symposium on operating system design and implementation, osdi 2000

作者： Andersen, David Bansal, Deepak Curtis, Dorothy Seshan, Srinivasan Balakrishnan, Hari M.I.T. Laboratory for Computer Science CambridgeMA02139 United States Carnegie Mellon University PittsburghPA United States

this paper describes the implementation and evaluation of an operating system module, the Congestion Manager (CM), which provides integrated network flow management and exports a convenient programming interface that allows applications to be notified of, and adapt to, changing network conditions. We describe the API by which applications interface with the CM, and the architectural considerations that factored into the design. To evaluate the architecture and API, we describe our implementations of TCP;a streaming layered audio/video application;and an interactive audio application using the CM, and show that they achieve adaptive behavior without incurring much end-system overhead. All flows including TCP benefit from the sharing of congestion information, and applications are able to incorporate new functionality such as congestion control and adaptive behavior.

关键词： Application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

operating system Management of MEMS-based Storage Devices 4

Operating System Management of MEMS-based Storage Devices

引用

4th symposium on operating system design and implementation, osdi 2000

作者： Griffin, John Linwood Schlosser, Steven W. Ganger, Gregory R. Nagle, David F. Carnegie Mellon University United States

关键词： Outages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：