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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

526 篇 会议
196 篇 期刊文献
21 册 图书

馆藏范围

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

日期分布

学科分类号

466 篇 工学
- 376 篇 计算机科学与技术...
- 307 篇 软件工程
- 55 篇 信息与通信工程
- 52 篇 控制科学与工程
- 27 篇 电气工程
- 27 篇 土木工程
- 24 篇 电子科学与技术（可...
- 23 篇 船舶与海洋工程
- 22 篇 生物工程
- 19 篇 机械工程
- 16 篇 建筑学
- 15 篇 网络空间安全
- 14 篇 生物医学工程（可授...
- 10 篇 材料科学与工程（可...
- 9 篇 农业工程
222 篇 理学
- 124 篇 数学
- 38 篇 系统科学
- 35 篇 物理学
- 29 篇 生物学
- 27 篇 统计学（可授理学、...
- 21 篇 海洋科学
117 篇 管理学
- 76 篇 管理科学与工程(可...
- 44 篇 图书情报与档案管...
- 41 篇 工商管理
18 篇 经济学
- 17 篇 应用经济学
15 篇 法学
- 14 篇 社会学
15 篇 教育学
- 13 篇 教育学
15 篇 医学
- 12 篇 临床医学
- 11 篇 基础医学(可授医学...
12 篇 农学
- 11 篇 作物学
3 篇 文学
2 篇 哲学
1 篇 军事学

主题

21 篇 application soft...
21 篇 artificial intel...
20 篇 software enginee...
20 篇 semantics
17 篇 programming
17 篇 software
14 篇 testing
14 篇 unified modeling...
13 篇 optimization
12 篇 monitoring
12 篇 data models
11 篇 runtime
11 篇 hardware
10 篇 java
9 篇 computer archite...
9 篇 model checking
9 篇 analytical model...
8 篇 computer science
8 篇 software systems
8 篇 electronic mail

机构

15 篇 institute for pr...
11 篇 department of sy...
10 篇 technical univer...
8 篇 programming syst...
7 篇 chair for progra...
7 篇 department of pr...
6 篇 department of co...
6 篇 programming syst...
6 篇 department of co...
6 篇 computer enginee...
6 篇 computer techniq...
5 篇 department of co...
5 篇 department of el...
5 篇 department of pr...
5 篇 technical univer...
5 篇 tu braunschweig ...
5 篇 department of co...
5 篇 department of co...
5 篇 institute for so...
5 篇 institute for pr...

作者

49 篇 steffen bernhard
33 篇 margaria tiziana
22 篇 bernhard steffen
18 篇 michael philipps...
17 篇 bauer bernhard
15 篇 philippsen micha...
14 篇 tiziana margaria
13 篇 goltz ursula
13 篇 wu youfeng
13 篇 lochau malte
12 篇 gancheva veska
12 篇 christopher muts...
10 篇 veska gancheva
9 篇 wang cheng
9 篇 lamprecht anna-l...
9 篇 youfeng wu
9 篇 christiansen hen...
9 篇 naujokat stefan
9 篇 niehren joachim
8 篇 mostafa abotaleb

语言

714 篇 英文
19 篇 其他
6 篇 德文
2 篇 中文
1 篇 法文
1 篇 日文

检索条件"机构=Systems and Programming"

共 743 条记录，以下是121-130 订阅

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

详细简洁

排序：

Formal specification of virtual process topologies 1

Formal specification of virtual process topologies

引用

1st IEEE Computer Society International Workshop on Cluster Computing, IWCC 1999

作者： Kazemi, K. McDonald, C. Programming Languages and Systems Group Department of Computer Science University of Western Australia NedlandsWA6907 Australia

ISBN: (纸本)0769503438

A lack of adequate and flexible topology support in the popular message passing systems such as Parallel Virtual Machine was a major factor in the development of our Virtual Process Topology Environment. This parallel programming environment provides high level abstractions for interprocess communication, relieving the application developer of the cumbersome task of mapping logical neighbours to their task identifiers within message passing systems. The novel approach of separating topological specification from the APIs provided extreme flexibility to the developers of the applications using regular topologies. We believed that the task of supporting process topologies could be made even easier and, in this paper present our new method which uses recurrence relations to define topologies. Within the new environment, the recurrence relationships can be passed to the topology server which then is used in the generation of the topological specification. © 1999 IEEE.

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

Software transactional memory validation - Time and space considerations

Software transactional memory validation - Time and space co...

引用

作者： Welc, Adam Saha, Bratin Programming Systems Lab Intel Corporation Santa Clara CA 95054 United States

ISBN: (纸本)9783642245671

With single thread performance hitting the power wall, hardware architects have turned to chip-level multiprocessing to increase processor performance. As a result, issues related to the construction of scalable and reliable multi-threaded applications have become increasingly important. One of the most pressing problems in concurrent programming has been synchronizing accesses to shared data among multiple concurrent threads. Traditionally, accesses to shared memory have been synchronized using lock-based techniques resulting in scalability, composability and safety problems. Recently, transactional memory has been shown to eliminate many problems associated with lock-based synchronization, and transactional constructs have been added to languages to facilitate programming with transactions. Hardware transactional memory (HTM) is at this point readily available only in the simulated environments. Furthermore, some of the TM systems relying on the hardware support are hybrid solutions that require TM operations to be supported in software as well. Therefore, providing an efficient software transactional memory (STM) implementation has been an important area of research. One of the largest overheads in an STM implementation is incurred in the validation procedure (that is, in ensuring correctness of transactional read operations). This paper presents novel solutions to reduce the validation overhead in an STM. We first present a validation algorithm that is linear in the number of read operations executed by a transaction, and yet does not add any overhead to transactional reads and writes. We then present an algorithm that uses bitmaps to encode information about transactional operations and further reduces both the time and space overheads related to validation. We evaluate the effectiveness of both algorithms in the context of a state-of-the-art STM implementation. © 2011 Springer-Verlag Berlin Heidelberg.

关键词： Locks (fasteners)

来源：评论

学校读者我要写书评

暂无评论

Higher-order process modeling: Product-lining, variability modeling and beyond

Higher-order process modeling: Product-lining, variability m...

引用

Semantics, Abstract Interpretation, and Reasoning About Programs: Essays Dedicated to David A. Schmidt on the Occasion of His 60th Birthday

作者： Neubauer, Johannes Steffen, Bernhard Margaria, Tiziana Programming Systems Technische Universität Dortmund Germany Service and Software Engineering Universität Potsdam Germany

We present a graphical and dynamic framework for binding and execution of (business) process models. It is tailored to integrate 1) ad hoc processes modeled graphically, 2) third party services discovered in the (Inter)net, and 3) (dynamically) synthesized process chains that solve situationspecific tasks, with the synthesis taking place not only at design time, but also at runtime. Key to our approach is the introduction of type-safe stacked second-order execution contexts that allow for higher-order process modeling. Tamed by our underlying strict service-oriented notion of abstraction, this approach is tailored also to be used by application experts with little technical knowledge: users can select, modify, construct and then pass (component) processes during process execution as if they were data. We illustrate the impact and essence of our framework along a concrete, realistic (business) process modeling scenario: the development of Springer's browser-based Online Conference Service (OCS). The most advanced feature of our new framework allows one to combine online synthesis with the integration of the synthesized process into the running application. This ability leads to a particularly flexible way of implementing self-adaption, and to a particularly concise and powerful way of achieving variability not only at design time, but also at runtime.

关键词： Process engineering

来源：评论

学校读者我要写书评

暂无评论

"A User's Experience in Computer Aided Manufacturing" or "CAM" at GTE - Automatic Electric 78

"A User's Experience in Computer Aided Manufacturing" or "CA...

引用

Design Automation Conference

作者： H.T. Olson Manager Systems and Programming

The term “Computer Aided Manufacturing” (CAM) congers up different ideas in the minds of different people, depending upon their particular area of expertise, and the size and type of the company they are associated with. It ranges from those types of activites such as Material Requirements Planning, Inventory Management, Factory Capacity Planning, Shop Floor Control etc. to such activities as routing and placement of components on printed wiring cards as well as the art work generation. Another idea of 'CAM' is the actual operation and control of process equipment as well as production test equipment. Some feel that CAM is all of these things together. This paper deals with the actual operation and control of process and test equipment on the factory floor.

关键词： Computer aided manufacturing CADCAM Manufacturing automation Circuit testing Production facilities Electronic equipment manufacture Business communication Materials requirements planning Inventory management Capacity planning

来源：评论

学校读者我要写书评

暂无评论

Policy expression and checking in XACML, WS-Policies, and the jABC

Policy expression and checking in XACML, WS-Policies, and th...

引用

Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2008

作者： Karusseit, Martin Margaria, Tiziana Willebrandt, Holger Department of Programming Systems TU Dortmund Germany Department of Service and Software Engineering Universität Potsdam Germany

ISBN: (纸本)9781605580524

Web-based access to sensitive and confidential data is realized today via different approaches, using a variety of methods to specify and combine access control policies. In an optic of change management and evolution, a structured and flexible model is needed to handle dynamicity, particularly when handling rights in systems with many users which hold different roles. Furthermore the validation of security constraints is an important key to warrant the reliability of control mechanisms. This paper compares the temporal logic-based approach for modeling access control used by the jABC framework with two popular XML-based description languages (XACML and WS-Policy), which are quasi-standards for policy expression in Web applications. Its usage is illustrated here on the example of the web-based Online Conference Service (OCS). The respective functionalities are described and examined in consideration of their ability to validate and enforce the needed policies. Copyright 2008 ACM.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Inside architecture evaluation: Analysis and representation of optimization potential

Inside architecture evaluation: Analysis and representation ...

引用

2007 Working IEEE/IFIP Conference on Software Architecture, WICSA'07

作者： Florentz, Bastian Institute for Programming and Reactive Systems Technical University Braunschweig P.O. Box 3329 38023 Germany

ISBN: (纸本)0769527442

The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation has become an important part of embedded systems design to define, assess, and assure architecture and system quality. Furthermore, design space exploration can be based on architecture evaluation. To achieve an efficient exploration process, architectural decisions need to be well considered. In this paper, analysis of architecture evaluation is performed to uncover dependencies of the quality attributes which are the first class citizens of architecture evaluation. With an explicit representation of such dependencies, valuable changes of an architecture can be calculated. Next to the exploration support, the analysis results help to document architecture knowledge and make architectural decisions explicit and traceable. The development process can now be based on dependable and well documented architectural decisions. Effects of changes become more predictable. Time and costs can be saved by avoiding suboptimal changes. © 2007 IEEE.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

Healthcare Data Analytics Based on Machine Learning

Healthcare Data Analytics Based on Machine Learning

引用

2024 IEEE International Conference on Communications, Computing, Cybersecurity and Informatics, CCCI 2024

作者： Gancheva, Veska Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies Sofia1000 Bulgaria

ISBN: (纸本)9798350349832

Technology advancements have transformed medical science and practice, leading to the vast gathering of a wide range of medical data. Medical researchers use artificial intelligence techniques extensively because they enable the identification and creation of models of complicated datasets and the interactions between them. This, in turn, enables the successful prediction of future outcomes associated with a specific sickness type. An artificial intelligence-based approach to healthcare data analytics is presented, which leverages data to build a desired model and solve a particular issue. The suggested approach for healthcare data analytics uses a random forest and feedforward artificial neural network with two hidden layers as its basis to get the best model. © 2024 IEEE.

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

Fast and effective query refinement 97

Fast and effective query refinement

引用

20th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval

作者： Velez, B Weiss, R Sheldon, MA Gifford, DK Programming Systems Research Group MIT Laboratory for Computer Science Lotus Development Corporation

ISBN: (纸本)0897918363

Query Refinement is an essential information retrieval tool that interactively recommends new terms related to a particular query. This paper introduces concept recall, an experimental measure of an algorithm's ability to suggest terms humans have judged to be semantically related to an information need. This study uses precision improvement experiments to measure the ability of an algorithm to produce single term query modifications that predict a user's information need as partially encoded by the query. An oracle algorithm produces ideal query modifications, providing a meaningful context for interpreting precision improvement results. This study also introduces RMAP, a fast and practical query refinement algorithm that refines multiple term queries by dynamically combining precomputed suggestions for single term queries. RMAP achieves accuracy comparable to a much slower algorithm, although both RMAP and the slower algorithm lag behind the best possible term suggestions offered by the oracle. We believe RMAP is fast enough to be integrated into present day Internet search engines: RMAP computes 100 term suggestions for a 160,000 document collection in 15 ms on a low-end PC.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Retro-: An event-sourced platform for serverless applications with retroactive computing support 12

Retro-: An event-sourced platform for serverless application...

引用

12th ACM International Conference on Distributed and Event-Based systems, DEBS 2018

作者： Meißner, Dominik Erb, Benjamin Kargl, Frank Tichy, Matthias Institute of Distributed Systems Ulm University Germany Institute of Software Engineering and Programming Languages Ulm University Germany

ISBN: (纸本)9781450357821

State changes over time are inherent characteristics of stateful applications. So far, there are almost no attempts to make the past application history programmatically accessible or even modifiable. This is primarily due to the complexity of temporal changes and a difficult alignment with prevalent programming primitives and persistence strategies. Retroactive computing enables powerful capabilities though, including computations and predictions of alternate application timelines, post-hoc bug fixes, or retroactive state explorations. We propose an event-driven programming model that is oriented towards serverless computing and applies retroaction to the event sourcing paradigm. Our model is deliberately restrictive, but therefore keeps the complexity of retroactive operations in check. We introduce retro-, a runtime platform that implements the model and provides retroactive capabilites to its applications. While retro- only shows negligible performance overheads compared to similar solutions for running regular applications, it enables its users to execute retroactive computations on the application histories as part of its programming model. © 2018 Copyright held by the owner/author(s).

关键词： Event processing Event sourcing Event-driven architecture Retroaction Retroactive computing Serverless computing

来源：评论

学校读者我要写书评

暂无评论

Multi-perspectives on feature models 12

Multi-perspectives on feature models

引用

15th International Conference on Model Driven Engineering Languages and systems, MODELS 2012

作者： Schroeter, Julia Lochau, Malte Winkelmann, Tim TU Dresden Institute for Software- and Multimedia-Technology Germany TU Braunschweig Institute for Programming and Reactive Systems Germany

ISBN: (纸本)9783642336652

Domain feature models concisely express commonality and variability among variants of a software product line. For supporting separation of concerns, e.g., due to legal restrictions, technical considerations and business requirements, multi-view approaches restrict the configuration choices on feature models for different stakeholders. However, recent approaches lack a formalization for precise, yet flexible specifications of views that ensure every derivable configuration perspective to obey feature model semantics. Here, we introduce a novel approach for preconfiguring feature models to create multi-perspectives. Such customized perspectives result from composition of various concern-relevant views. A structured view model is used to organize features in view groups, wherein a feature may be contained in multiple views. We provide formalizations for view composition and guaranteed consistency of perspectives w.r.t. feature model semantics. Thereupon, an efficient algorithm to verify consistency for entire multi-perspectives is provided. We present an implementation and evaluate our concepts by means of various experiments. © 2012 Springer-Verlag.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共75页 << < 9 10 11 12 13 14 15 16 17 18 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：