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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是1-10 订阅

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

详细简洁

排序：

PLOS 2021 - Proceedings of the 2021 11th workshop on programming languages and operating systems

PLOS 2021 - Proceedings of the 2021 11th Workshop on Program...

引用

11th workshop on programming languages and operating systems, PLOS 2021

ISBN: (纸本)9781450387071

the proceedings contain 12 papers. the topics discussed include: AnyCall: fast and flexible system-call aggregation;Asterope: a cross-platform optimization method for fast memory copy;files-as-filesystems for POSIX Shell data processing;decoupling application logic from persistent memory frameworks with AspectC++;PyMM: heterogeneous memory programming for python data science;FlashCube: Fast provisioning of serverless functions with streamlined container runtimes;using coroutines for multi-core preemptive scheduling;understanding the overheads of hardware and language-based IPC mechanisms;CppSig: extracting type information for C-preprocessor macro expansions;and generating correct initial page tables from formal hardware descriptions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PLOS 2023 - Proceedings of the 12th workshop on programming languages and operating systems, Part of: SOSP 2023

PLOS 2023 - Proceedings of the 12th Workshop on Programming ...

引用

12th workshop on programming languages and operating systems, PLOS 2023

ISBN: (纸本)9798400704048

the proceedings contain 11 papers. the topics discussed include: pancake: verified systems programming made sweeter;synthesizing device drivers with ghost writer;takeaways of implementing a native rust UDP tunneling network driver in the Linux kernel;dynamic linkers are the narrow waist of operating systems;process composition with typed Unix pipes;towards just-in-time compiling of operating systems;software compartmentalization trade-offs with hardware capabilities;CHERI-picking: leveraging capability hardware for prefetching;panic recovery in rust-based embedded systems;extending rust with support for zero copy communication;and on the challenge of sound code for operating systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

How ISO C became unusable for operating systems development 11

How ISO C became unusable for operating systems development

引用

11th workshop on programming languages and operating systems

作者： Yodaiken, Victor E27182 Austin TX 78725 USA

ISBN: (纸本)9781450387071

the C programming language was developed in the 1970s as a fairly unconventional systems and operating systems development tool, but has, through the course of the ISO Standards process, added many attributes of more conventional programming languages and become less suitable for operating systems development. operating system programming continues to be done in non-ISO dialects of C. the differences provide a glimpse of operating system requirements for programming languages.

关键词： operating systems programming languages C UNIX ISO-C compiler

来源：评论

学校读者我要写书评

暂无评论

Using Coroutines for Multi-core Preemptive Scheduling 11

Using Coroutines for Multi-core Preemptive Scheduling

引用

11th workshop on programming languages and operating systems

作者： Madsen, Ole Lehrmann Aarhus Univ Aarhus Denmark

ISBN: (纸本)9781450387071

the advent of multi-core processors has increased the demand for programming concurrent systems. In this paper, we explore the use of SIMULA style coroutines and other primitives as a basis for defining a broad class of high-level concurrency abstractions including the definition of associated schedulers. the main contribution in this paper is an implementation of preemptive coroutines for a multi-core processor in an experimental version of Beta. the overall goal is to use a high-level language to program applications on a bare bone platform without an operating system.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

PyMM: Heterogeneous Memory programming for Python Data Science 11

PyMM: Heterogeneous Memory Programming for Python Data Scien...

引用

11th workshop on programming languages and operating systems

作者： Waddington, Daniel Hershcovitch, Moshik Dickey, Clem IBM Res San Jose CA 95120 USA

ISBN: (纸本)9781450387071

While persistent memory (PMEM) is a promising technology, leveraging it with legacy applications is non-trivial. this is primarily because legacy applications assume all memory is volatile and there is no notion of crash-consistency or state recovery. As new types of persistent and intelligent memory emerge, propelled by the CXL standard, the problem of integration and adoption remains. In this paper we present PyMM, a framework for heterogeneous memory management in Python. It provides a means to abstract upon different memory types and their underlying traits (e.g., persistence, near/far). PyMM focuses on ease-of-use and employs an approach of sub-classing existing heavily-used types such as NumPy ndarray and PyTorch tensors. By doing so, PyMM allows new memory adoption with only minor modification to the application.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

Shape-Constrained Array programming with Size-Dependent Types 11

Shape-Constrained Array Programming with Size-Dependent Type...

引用

11th ACM SIGPLAN International workshop on Functional High-Performance and Numerical Computing (FHPNC)

作者： Bailly, Lubin Henriksen, Troels Elsman, Martin Ecole Normale Super PSL Dept Informat ENS Paris France Univ Copenhagen DIKU Copenhagen Denmark

ISBN: (纸本)9798400702969

We present a dependent type system for enforcing array-size consistency in an ML-style functional array language. Our goal is to enforce shape-consistency at compile time and allow nontrivial transformations on array shapes, without the complexity such features tend to introduce in dependently typed languages. Sizes can be arbitrary expressions and size equality is purely syntactical, which fits naturally within a scheme that interprets size-polymorphic functions as having implicit arguments. When non-syntactical equalities are needed, we provide dynamic checking. In contrast to other dependently typed languages, we automate the book-keeping involved in tracking existential sizes, such as when filtering arrays. We formalise a large subset of the presented type system and prove it sound. We also discuss how to adapt the type system for a real implementation, including type inference, within the Futhark programming language.

关键词： type systems parallel programming functional programming

来源：评论

学校读者我要写书评

暂无评论

Analysing the Energy Usage of the Erlang BEAM 11

Analysing the Energy Usage of the Erlang BEAM

引用

11th workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, SQAMIA 2024

作者： Youssef, Gharbi Tóth, Melinda Bozó, István ELTE Eötvös Loránd University Faculty of Informatics Budapest Hungary

the evolution of programming languages and their runtime systems has been a continuous journey toward efficiency and performance. One such significant milestone in this journey is the introduction of Just-In-Time (JIT) compilation in the Erlang/Open-Telecom-Platform (OTP). this paper presents an in-depth investigation into the impact of JIT compilation in Erlang/OTP applications. We demonstrate our cross-platform measurement framework and evaluate a few problems on Windows and Linux with different BEAM versions. the findings emphasise the critical role of both proficient algorithm design and runtime optimisations in minimizing energy consumption and enhancing performance. © 2024 Copyright for this paper by its authors.

关键词： Computer operating systems

来源：评论

学校读者我要写书评

暂无评论

Transparent Actor Model 11

Transparent Actor Model

引用

IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE)

作者： Ghassemi, Fatemeh Sirjani, Marjan Khamespanah, Ehsan Mirani, Mahrokh Hojjat, Hossein Univ Tehran Tehran Iran Khatam Univ Tehran Iran Malardalen Univ Vasteras Sweden

ISBN: (纸本)9798350312638

Several programming and formal modeling languages are designed based on actors. Each language has certain policies for message delivery between actors and for handling the messages in the buffers. these policies are implicit in the semantics of each language. One can infer interesting properties of actor languages related to communication and coordination based on different policies and their interactions. We define the "Transparent Actor" model where we make policies explicit as points of possible variations. We identify an abstract network entity and define the semantics of Transparent Actors in three parts: actors, network, and composition. We define a core actor language named BABEL as a basis to describe the semantics of Transparent Actors using structural operational semantics (SOS) rules with variation points. these parametric rules make the implicit policies clear and can be used as a template to define the semantics of different actor-based languages. We evaluate the applicability of the template by examining the semantics for actor-based languages Rebeca, Lingua Franca, ABS, AKKA, and Erlang. We implement BABEL in Maude as a proof of concept, then concretize the parametric rules to implement some of the above languages. We consider a few properties, check them via a set of designated litmus test cases using our Maude implementations, and discuss the policy interactions.

关键词： Distributed systems Actor languages Design policy Structural operational semantics

来源：评论

学校读者我要写书评

暂无评论

Decoupling Application Logic from Persistent Memory Frameworks with AspectC++ 11

Decoupling Application Logic from Persistent Memory Framewor...

引用

11th workshop on programming languages and operating systems, PLOS 2021

作者： Köppen, Marcel Friesel, Daniel Borchert, Christoph Spinczyk, Olaf Universität Osnabrück Germany

ISBN: (纸本)9781450387071

Over the past decade, various systems and software libraries have been developed that provide crash consistency on byte-addressable persistent memory. they often require programmers to adapt their code significantly or to use special compiler plugins. Constant innovation in this evolving field makes it desirable to be able to easily switch to more recent systems without massive code refactoring, and without changing compilers. In this paper, we show how aspect-oriented programming can be used to automatically apply crash consistency to normal, sparsely annotated C++ code. In two case studies, we find that our approach significantly reduces the amount of code required to apply state-of-the-art crash consistency frameworks such as PMDK libpmemobj++ and Pronto. © 2021 ACM.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Implementation of C Program Invocation in PLC Based on Vxworks operating System

Implementation of C Program Invocation in PLC Based on Vxwor...

引用

Electrical Engineering and Automation (IFEEA), International Forum on

作者： Yang Gao Daiquan Li R&D Department CGN Digital Technology Co. Ltd. Shanghai China

ISBN: (数字)9798331516611

ISBN: (纸本)9798331516628

As industrial controller technology continues to evolve, the capabilities of PLCs (Programmable Logic Controllers) are experiencing steady enhancements. Nonetheless, in the realm of intricate engineering applications, there is a growing necessity for the integration of sophisticated algorithms, performance enhancements, code re-usability, and the utilization of preexisting libraries. this underscores the imperative to execute C language programs within PLCs. PLCs operating on the VxWorks operating system can leverage CODESYS as a programming interface to facilitate the execution of IEC61131-3 compliant languages. However, it is important to note that the standard edition of CODESYS lacks the functionality to edit and compile C language programs. To tackle this limitation, this paper delineates a methodology for invoking and executing C language programs on PLC controllers and provides a detailed account of the procedure involved in implementing this methodology.

关键词： Electrical engineering Codes Automation operating systems Source coding Programmable logic devices C languages programming Libraries Standards

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：