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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

71 篇 会议
3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

53 篇 工学
- 31 篇 计算机科学与技术...
- 30 篇 软件工程
- 11 篇 电气工程
- 4 篇 信息与通信工程
- 3 篇 动力工程及工程热...
- 3 篇 电子科学与技术（可...
- 3 篇 环境科学与工程（可...
- 2 篇 机械工程
- 2 篇 控制科学与工程
- 2 篇 交通运输工程
- 2 篇 航空宇航科学与技...
- 1 篇 力学（可授工学、理...
- 1 篇 仪器科学与技术
- 1 篇 材料科学与工程（可...
- 1 篇 冶金工程
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 水利工程
9 篇 管理学
- 6 篇 管理科学与工程(可...
- 5 篇 工商管理
- 3 篇 图书情报与档案管...
5 篇 理学
- 2 篇 系统科学
- 1 篇 数学
- 1 篇 物理学
- 1 篇 化学
- 1 篇 大气科学
2 篇 经济学
- 2 篇 应用经济学
1 篇 法学
- 1 篇 法学
1 篇 军事学

主题

2 篇 scalability
2 篇 database systems
2 篇 public key crypt...
2 篇 safety
2 篇 outages
2 篇 program processo...
2 篇 specifications
2 篇 application prog...
2 篇 cgra
2 篇 costs
2 篇 semantics
2 篇 clocks
2 篇 multicore
2 篇 investments
2 篇 testing
2 篇 hevc
2 篇 machinery
2 篇 virtual machine
1 篇 activated sludge
1 篇 semiconductor de...

机构

3 篇 mit comp sci lab...
2 篇 consystant desig...
2 篇 mit laboratory f...
2 篇 mit csail cambri...
2 篇 carnegie mellon ...
2 篇 department of co...
2 篇 carnegie mellon ...
1 篇 intelligent syst...
1 篇 intertrust techn...
1 篇 cam lab. departm...
1 篇 mpi sws saarbruc...
1 篇 computer science...
1 篇 computing labora...
1 篇 commissariat ene...
1 篇 inst tecnol aero...
1 篇 m.i.t. laborator...
1 篇 facebook 1 hacke...
1 篇 carnegie mellon ...
1 篇 univ british col...
1 篇 boston coll bost...

作者

3 篇 kaashoek m. fran...
2 篇 nurmi jari
2 篇 ganger gregory r...
2 篇 schlosser steven...
2 篇 griffin john lin...
2 篇 m. frans kaashoe...
2 篇 zeldovich nickol...
2 篇 chajed tej
2 篇 nouri sajjad
2 篇 nagle david f.
2 篇 howell jon
2 篇 fu kevin
2 篇 tassarotti josep...
2 篇 theng mark
2 篇 gregory r. gange...
2 篇 mazières david
1 篇 rahman n.a.
1 篇 milojicic d
1 篇 liskov barbara
1 篇 choi tae-hoon

语言

74 篇 英文

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

共 74 条记录，以下是61-70 订阅

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

详细简洁

排序：

Self-securing storage: protecting data in compromised system 00

Self-securing storage: protecting data in compromised system

引用

Proceedings of the 4th conference on symposium on operating system design & implementation - Volume 4

作者： John D. Strunk Garth R. Goodson Michael L. Scheinholtz Craig A. N. Soules Gregory R. Ganger Carnegie Mellon University

Self-securing storage prevents intruders from undetectably tampering with or permanently deleting stored data. To accomplish this, self-securing storage devices internally audit all requests and keep old versions of data for a window of time, regardless of the commands received from potentially compromised host operating systems. Within the window, system administrators have this valuable information for intrusion diagnosis and recovery. Our implementation, called S4, combines log-structuring with journal-based metadata to minimize the performance costs of comprehensive versioning. Experiments show that self-securing storage devices can deliver performance that is comparable with conventional storage systems. In addition, analyses indicate that several weeks worth of all versions can reasonably be kept on state-of-the-art disks, especially when differencing and compression technologies are employed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

design and evaluation of a continuous consistency model for replicated services 00

Design and evaluation of a continuous consistency model for ...

引用

Proceedings of the 4th conference on symposium on operating system design & implementation - Volume 4

作者： Haifeng Yu Amin Vahdat Computer Science Department Duke University Durham NC

the tradeoffs between consistency, performance, and availability are well understood. Traditionally, however, designers of replicated systems have been forced to choose from either strong consistency guarantees or none at all. this paper explores the semantic space between traditional strong and optimistic consistency models for replicated services. We argue that an important class of applications can tolerate relaxed consistency, but benefit from bounding the maximum rate of inconsistent access in an application-specific manner. thus, we develop a set of metrics, Numerical Error, Order Error, and Staleness, to capture the consistency spectrum. We then present the design and implementation of TACT, a middleware layer that enforces arbitrary consistency bounds among replicas using these metrics. Finally, we show that three replicated applications demonstrate significant semantic and performance benefits from using our framework.

关键词：

来源：评论

学校读者我要写书评

暂无评论

operating system management of MEMS-based storage devices 00

Operating system management of MEMS-based storage devices

引用

Proceedings of the 4th conference on symposium on operating system design & implementation - Volume 4

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

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Web-based implementation of virtual machine tools

Web-based implementation of virtual machine tools

引用

International Forum on Strategic Technology, IFOST

作者： Yoonho Seo Tae-Hoon Choi Suk-Hwan Suh Intelligent System Design Laboratory School of Industrial Engineering University of Ulsan Ulsan South Korea Department of Industrial Engineering CAM Laboratory South Korea

In this research, the virtual machine tool that is implemented for WWW and their associated technologies, is introduced. Also, modeling techniques to express the machine tool on Internet are introduced. the Web-based ... 详细信息

关键词： Virtual machining Machine tools Internet World Wide Web Solid modeling Industrial engineering Intelligent systems Machine intelligence Computer aided manufacturing CADCAM

来源：评论

学校读者我要写书评

暂无评论

Proactive recovery in a Byzantine-fault-tolerant system 00

Proactive recovery in a Byzantine-fault-tolerant system

引用

Proceedings of the 4th conference on symposium on operating system design & implementation - Volume 4

作者： Miguel Castro Barbara Liskov Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Methodology for EME-Reduction on Chip Level

Methodology for EME-Reduction on Chip Level

引用

EMC Europe 2000 Brugge, 4th European symposium on Electromagnetic Compatibility

作者： W. John th. Steincke H. Köhne R. Niebauer Fraunhofer Institute Reliability and Microintegration Berlin -Germany- Infineon Technologies AG München -Germany

ISBN: (纸本)9076019142

the increasing customer requirements for high-quality semiconductor devices are created by the introduction of a new technology (submicron) and by the higher packaging density on subsystem level (placing more functionality on the same area as used previously). therefore, semiconductor manufacturers today have to deal with constraints on chip level coming from EMC requirements of systems and subsystems. thus, the design of integrated circuits has to be carried out considering their applications, particularly regarding physical constraints. In the past some work has been done to improve EMC on system level, but this work mainly focussed on measurements based methodologies and on printed circuit board level supported by tools. Because of complementary experiences with EMC and a growing number of customer requests from many different application areas such as telecommunication, automotive, multimedia and computer, the EMC issues of both IC and system level in order to improve the overall quality of design have to be combined. this paper focuses on the development of an EME reduction methodology for chip design with regard to automotive applications. In addition to that a corresponding design methodology is presented at the example of microcontroller development. the task implementation of EME adequate design of integrated circuit in the system developed will likewise be dealt with.

关键词： Power cables Automotive engineering Standards Electromagnetics Costs Switches Semiconductor device measurement Cable TV Silicon Noise

来源：评论

学校读者我要写书评

暂无评论

Fast and secure distributed read-only file system 00

Fast and secure distributed read-only file system

引用

Proceedings of the 4th conference on symposium on operating system design & implementation - Volume 4

作者： Kevin Fu M. Frans Kaashoek David Mazières MIT Laboratory for Computer Science Cambridge MA

Internet users increasingly rely on publicly available 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, scalable access to public, read-only *** read-only file system makes the security of published content independent from that of the distribution infrastructure. In a secure area (perhaps 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 scale 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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Overcast: reliable multicasting with on overlay network 00

Overcast: reliable multicasting with on overlay network

引用

Proceedings of the 4th conference on symposium on operating system design & implementation - Volume 4

作者： John Jannotti David K. Gifford Kirk L. Johnson M. Frans Kaashoek James W. O'Toole Cisco System

Overcast is an application-level multicasting system that can be incrementally deployed using today's Internet infrastructure. these properties stem from Overcast's implementation as an overlay network. An overlay network consists of a collection of nodes placed at strategic locations in an existing network fabric. these nodes implement a network abstraction on top of the network provided by the underlying substrate *** provides scalable and reliable single-source multicast using a simple protocol for building efficient data distribution trees that adapt to changing network conditions. To support fast joins, Overcast implements a new protocol for efficiently tracking the global status of a changing distribution *** based on simulations confirm that Overcast provides its added functionality while performing competitively with IP Multicast. Simulations indicate that Overcast quickly builds bandwidth-efficient distribution trees that, compared to IP Multicast, provide 70%-100% of the total bandwidth possible, at a cost of somewhat less than twice the network load. In addition, Overcast adapts quickly to changes caused by the addition of new nodes or the failure of existing nodes without causing undue load on the multicast source.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

Proceedings of the 4th conference on symposium on operating system design & implementation - Volume 4

作者： Dawson Engler Benjamin Chelf Andy Chou Seth Hallem Computer System Laboratory Stanford University Stanford CA

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 *** 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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

design of an ASIC for fast Signal Recognition and Code Acquisition in DS-SS-CDMA receivers

Design of an ASIC for fast Signal Recognition and Code Acqui...

引用

IEEE 4th International symposium on Spread Spectrum Techniques and Applications (IEEE ISSSTA 96)

作者： Fanucci, L European Space Agency Noordwijk Netherlands

ISBN: (纸本)0780335678

this paper deals with the design and realization of an Application Specific integrated Circuit (ASIC) for fast Signal Recognition and Code Acquisition (SR/CA) in Direct-Sequence Spread-Spectrum Code Division Multiple Access (DS-SS-CDMA) receivers operating in a satellite or terrestrial radio network. the SR/CA problem is often the bottleneck of any DS-SS-CDMA system operating in spread-Aloha random access mode for the common access channel or when packet mode operation is envisaged. the single ASIC implementation provides a reliable, high-performance, low-cost, low-power consumption solution to such a problem. In particular, this paper explains how a parallel acquisition circuit can be effectively implemented on a single chip with a 1.0 mu m CMOS (Complementary Metal Oxide Silicon) technology, complying with the specifications of the ESA (European Space Agency)/Inisel Ku-band CDMA VSAT (Very Small Aperture Terminal) system.

关键词： Application specific integrated circuits

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：