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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

118 篇 会议
34 册 图书
3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

73 篇 工学
- 68 篇 软件工程
- 66 篇 计算机科学与技术...
- 3 篇 电气工程
- 2 篇 控制科学与工程
- 1 篇 电子科学与技术（可...
- 1 篇 信息与通信工程
- 1 篇 建筑学
12 篇 理学
- 10 篇 数学
- 1 篇 大气科学
- 1 篇 系统科学
12 篇 管理学
- 7 篇 管理科学与工程(可...
- 7 篇 工商管理
- 5 篇 图书情报与档案管...
2 篇 教育学
- 2 篇 教育学

主题

27 篇 software enginee...
25 篇 software enginee...
15 篇 operating system...
14 篇 computer languag...
14 篇 programming lang...
13 篇 programming
13 篇 programming tech...
12 篇 mathematical log...
12 篇 logics and meani...
10 篇 artificial intel...
9 篇 computer communi...
8 篇 programming prof...
8 篇 computer program...
7 篇 real time system...
7 篇 hardware
7 篇 algorithm analys...
6 篇 software systems
6 篇 theory of comput...
6 篇 application soft...
5 篇 semantics

机构

2 篇 faculty of scien...
2 篇 metacase yliston...
1 篇 chair for softwa...
1 篇 lucent technol m...
1 篇 rechen- und komm...
1 篇 univ copenhagen ...
1 篇 mohammed v unive...
1 篇 logicblox atlant...
1 篇 politehnica univ...
1 篇 395 dreese labor...
1 篇 university of li...
1 篇 conacyt centroge...
1 篇 the laurels tele...
1 篇 caltech jet prop...
1 篇 natl univ of les...
1 篇 distributed prog...
1 篇 dipartimento di ...
1 篇 microsoft
1 篇 lehrstuhl für wi...
1 篇 universitat poli...

作者

3 篇 gray jeff
3 篇 spinczyk olaf
2 篇 clarke dave
2 篇 friesel daniel
2 篇 rossi matti
2 篇 b.c.p. tang
2 篇 tolvanen juha-pe...
2 篇 sprinkle jonatha...
2 篇 ferguson edward ...
2 篇 michel r. v. cha...
2 篇 ligler george t.
1 篇 dražen drašković
1 篇 gerard allwein
1 篇 h. tokuda
1 篇 fredlund lars-åk...
1 篇 arnd poetzsch-he...
1 篇 handurukande s.b...
1 篇 c. aiswarya
1 篇 hammond l
1 篇 erik proper

语言

154 篇 英文
1 篇 其他

检索条件"任意字段=11th Workshop on Programming Languages and Operating Systems"

共 155 条记录，以下是111-120 订阅

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

详细简洁

排序：

the dark side of risk (what your mother never told you about Time Warp)

The dark side of risk (what your mother never told you about...

引用

workshop on Principles of Advanced and Distributed Simulation (PADS)

作者： D.M. Nicol X. Liu Department of Computer Science Dartmouth College Hanover NH USA

this paper is a reminder of the danger of allowing "risk" when synchronizing a parallel discrete-event simulation: a simulation code that runs correctly on a serial machine may, when run in parallel, fail catastrophically. this can happen when Time Warp presents an "inconsistent" message to an LP, a message that makes absolutely no sense given the LP's state. Failure may result if the simulation modeler did not anticipate the possibility of this inconsistency. While the problem is not new, there has been little discussion of how to deal with it; furthermore the problem may not be evident to new users or potential users of parallel simulation. this paper shows how the problem may occur, and the damage it may cause. We show how one may eliminate inconsistencies due to lagging rollbacks and stale state, but then show that so long as risk is allowed it is still possible for an LP to be placed in a state that is inconsistent with model semantics, again making it vulnerable to failure. We finally show how simulation code can be tested to ensure safe execution under a risk-free protocol. Whether risky or risk-free, we conclude that under current practice the development of correct and safe parallel simulation code is not transparent to the modeler; certain protections must be included in model code or model testing that are not rigorously necessary if the simulation were executed only serially.

关键词： Protocols Libraries Discrete event simulation Testing Computer science Educational institutions Protection operating systems Time warp simulation Computer languages

来源：评论

学校读者我要写书评

暂无评论

Architecture-oriented visualization 96

Architecture-oriented visualization

引用

Proceedings of the 1996 Conference on Object-Oriented programming systems, languages & Applications

作者： Sefika, Mohlalefi Sane, Aamod Campbell, Roy H. Natl Univ of Lesotho Lesotho South Africa

ISBN: (纸本)9780897917889

Tracking the changing dynamics of object-oriented frameworks, design patterns, architectural styles, and subsystems during the development and reuse cycle can aid producing complex systems. Unfortunately, current object-oriented programming tools are relatively oblivious to the rich architectural abstractions in a system. this paper shows that architecture-oriented visualization, the graphical presentation of system statics and dynamics in terms of its architectural abstractions, is highly beneficial in designing complex systems. In addition, the paper presents architecture-aware instrumentation, a new technique for building efficient on-line instrumentation to support architectural queries. We demonstrate the effectiveness and performance of the scheme with case studies in the design of the Choices object-oriented operating system.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A model for I/O in equational languages with don’t care non-determinism 11th

A model for I/O in equational languages with don’t care non...

引用

Joint 11th workshop on Abstract Data Types was held jointly with the 8th workshop on Recent Trends in Data Type Specification, COMPASS 1995

作者： Walters, H.R. Kamperman, J. F. th. CWI P.O. Box 94079 Amsterdam1090 GB Netherlands

ISBN: (纸本)3540616292

Existing models for I/O in side-effect free languages focus on functional languages, which are usually based on a largely deterministic reduction strategy, allowing for a strict sequentialization of I/O operations. In concurrent logic programming languages a model is used which allows for don't care non-determinism. We apply this model to equational languages, which are closely related to functional languages, but exhibit don't care non-determinism. the semantics are formulated as constrained narrowing, a relation that contains the rewrite relation, and is contained in the narrowing relation. We present constrained narrowing and some of its properties;a constructive method to transform conventional term rewriting systems (TRSs) to constrained narrowing systems (CNSs);and a discussion on requirements for an implementation. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

11th workshop on Abstract Data Types, 1995

11th Workshop on Abstract Data Types, 1995

引用

Joint 11th workshop on Abstract Data Types was held jointly with the 8th workshop on Recent Trends in Data Type Specification, COMPASS 1995

ISBN: (纸本)3540616292

the proceedings contain 31 papers. the special focus in this conference is on Abstract Data Types, 1995. the topics include: Seven years of COMPASS;inductively defined relations;on the role of category theory in the area of algebraic specifications;a challenge for computing science;the larch shared language: some open problems;the lambda calculus as an abstract data type;unifying theories in different institutions;interchange format for inter-operability of tools and translation;experiments with partial evaluation domains for rewrite specifications;class-sort polymorphism in glider;deontic concepts in the algebraic specification of dynamic systems;reification - changing viewpoint but preserving truth;a category-based equational logic semantics to constraint programming 200;concurrent state transformations on abstract data types;categories of circuits;combining algebraic and set-theoretic specifications;minimal term rewriting systems;an interactive theorem and completeness prover for algebraic specifications with conditional equations;the non-ground case completeness;termination of curryfied rewrite systems;correctness and oracle;behavioural equivalence, bisimulation, and minimal realisation;using limits of parchments to systematically construct institutions of partial algebras;behavioural specifications in type theory;syntax, semantics, and theory;context institutions;object-oriented functional programming and type reconstruction;moving between logical systems;modular algebraic specifications and the orientation of equations into rewrite rules;a model for I/O in equational languages with don't care non-determinism and tool design for structuring mechanisms for algebraic specification languages with initial semantics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 11th IEEE workshop on Real-Time operating systems and Software

Proceedings of the 11th IEEE Workshop on Real-Time Operating...

引用

Proceedings of the 11th IEEE workshop on Real-Time operating systems and Software

ISBN: (纸本)0818657103

the proceedings contain 22 papers on real time systems. Topics discussed include: computer operating systems, computer programming, data handling, computer programming languages, interfaces, algorithms, network protocols, task scheduling, computer networks, telecommunication networks, concurrency control, computer programs and matheamtical tehcniques used for system analysis and design.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Constructing a heterogeneous real-time system

Constructing a heterogeneous real-time system

引用

IEEE workshop on Real-Time operating systems and Software, RTOSS

作者： S. Mostert Department of Electrical and Electronic Engineering Stellenbosch University Stellenbosch South Africa

the construction of a real-time system on heterogeneous hardware platforms, forces one to make choices on which programming language, operating system, development process and application programmers interface to use. the application (a micro-satellite) requirements state that the system must be dependable in a remote and harsh environment such as space. this paper details the choices made and the experience gained from living with the choices made in the development of a micro-satellite and its associated ground support. the emphasis is on simple solutions throughout. the simple solution is important for the verification and validation of the complete system.< >

关键词： Real time systems Hardware Application software Power system reliability operating systems programming profession Ground support Satellites Costs Computer languages

来源：评论

学校读者我要写书评

暂无评论

User-level real-time threads

User-level real-time threads

引用

IEEE workshop on Real-Time operating systems and Software, RTOSS

作者： S. Oikawa H. Tokuda Faculty of Environmental Information Keio University Japan School of Computer Science Carnegie Mellon University USA

Continuous-media applications require more efficient and flexible support from real-time threads than traditional real-time systems. It includes functionalities such as the dynamic management of thread attributes and the support of multiple thread models. We describe the design and implementation of user-level real-time threads on the RT-Mach micro kernel. Since they are implemented at user-level, both of the fast management of thread attributes and the support of multiple thread models are possible.< >

关键词： Yarn Kernel Real time systems Timing programming profession Costs Environmental management Resource management Subspace constraints Dynamic scheduling

来源：评论

学校读者我要写书评

暂无评论

Temporal protection in real-time operating systems

Temporal protection in real-time operating systems

引用

IEEE workshop on Real-Time operating systems and Software, RTOSS

作者： C. Mercer R. Rajkumar J. Zelenka Department of Computer Science Carnegie Mellon University Pittsburgh PA USA Software Engineering Institute Carnegie Mellon University Pittsburgh PA USA

Real-time systems manipulate data types with inherent timing constraints. Priority-based scheduling is a popular approach to build hard real-time systems, when the timing requirements, supported run-time configurations, and task sets are known a priori. Future real-time systems will need to support these hard real-time constraints but in addition (a) provide friendly user and programming interfaces with audio and video data types (b) be able to communicate with global networks and systems on demand, and (c) support critical command and control services despite potential risks introduced by such added flexibility and dynamics. We argue that temporal protection mechanisms can be as beneficial in these systems as virtual memory protection. the processor reservation mechanism that we have implemented in Real-Time Mach, for example, provides guaranteed timing behavior for critical activities.< >

关键词： Protection Real time systems operating systems Timing Delay Processor scheduling Dynamic programming Contracts Computer science Data engineering

来源：评论

学校读者我要写书评

暂无评论

Timing analysis of superscalar processor programs using ACSR

Timing analysis of superscalar processor programs using ACSR

引用

IEEE workshop on Real-Time operating systems and Software, RTOSS

作者： Jin-Young Choi Insup Lee Inhye Kang Department of Computer and Information Science University of Pennsylvania Philadelphia PA USA

ISBN: (纸本)0818657103

this paper illustrates a formal technique for describing the timing properties and resource constraints of pipelined superscalar processor instructions at high level. Superscalar processors can issue and execute multiple instructions simultaneously. the degree of parallelism depends on the multiplicity of hardware functional units as well as data dependencies among instructions. thus, the timing properties of a superscalar program is difficult. To analyze and predict. We describe how to model the instruction-level architecture of a superscalar processor using ACSR and how to derive the temporal behavior of an assembly program using the ACSR laws. the salient aspect of ACSR is that the notions of time, resources and priorities are supported directly in the algebra. Our approach is to model superscalar processor registers as ACSR resources, instructions as ACSR processes, and use ACSR priorities to achieve maximum possible instruction-level parallelism.< >

关键词： Timing Parallel processing Algebra Hardware Pipelines Assembly Registers programming profession Computer aided instruction Information science

来源：评论

学校读者我要写书评

暂无评论

Language support for the Maruti real-time system

Language support for the Maruti real-time system

引用

Real-Time systems Symposium (RTSS)

作者： V.M. Nirkhe S.K. Tripathi A.K. Agrawala Department of Computer Science and Institute for Advanced Computer Studies University of Maryland College Park MD USA

Maruti is a testbed for the design of time-driven hard real-time systems. It uses the technique of prescheduling, where the application is scheduled prior to execution and resources required by the application are reserved, in order to ensure that deadlines are met. A description is given of the features of MPL, a language for Maruti. MPL provides constructs for expressing time constraints, precedence relations, and synchronization directly in the programs. the MPL features are designed to facilitate prescheduling.< >

关键词： Real time systems Time factors Processor scheduling Computer languages System testing Computer science Educational institutions Application software programming profession operating systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共16页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：