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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

168 篇 会议
14 册 图书
10 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

120 篇 工学
- 103 篇 计算机科学与技术...
- 90 篇 软件工程
- 8 篇 电气工程
- 7 篇 信息与通信工程
- 3 篇 冶金工程
- 2 篇 力学（可授工学、理...
- 2 篇 材料科学与工程（可...
- 2 篇 控制科学与工程
- 2 篇 建筑学
- 2 篇 土木工程
- 2 篇 交通运输工程
- 1 篇 矿业工程
- 1 篇 生物工程
18 篇 理学
- 16 篇 数学
- 2 篇 物理学
- 2 篇 统计学（可授理学、...
- 1 篇 生物学
18 篇 管理学
- 10 篇 图书情报与档案管...
- 9 篇 管理科学与工程(可...
- 2 篇 工商管理
1 篇 教育学
- 1 篇 教育学

主题

15 篇 programming
13 篇 software enginee...
13 篇 computer languag...
11 篇 languages
10 篇 query languages
10 篇 computer program...
9 篇 database languag...
9 篇 programming tech...
8 篇 computer science
8 篇 logic programmin...
8 篇 programming lang...
7 篇 programming prof...
7 篇 application soft...
7 篇 mathematical log...
7 篇 databases
7 篇 artificial intel...
6 篇 object oriented ...
6 篇 concurrent compu...
6 篇 xml
6 篇 parallel program...

机构

4 篇 univ edinburgh e...
2 篇 transnct univ li...
2 篇 univ colorado bo...
2 篇 transnat univ li...
2 篇 hasselt univ has...
2 篇 univ oslo oslo
2 篇 ibm corp tj wats...
2 篇 univ mons b-7000...
2 篇 tu dortmund univ...
2 篇 univ koblenz lan...
2 篇 university of ok...
1 篇 computing depart...
1 篇 department of co...
1 篇 polytech inst po...
1 篇 univ oslo dept i...
1 篇 poznan univ life...
1 篇 the hong kong an...
1 篇 xerox research c...
1 篇 riken aics wako ...
1 篇 school of comput...

作者

4 篇 steffen bernhard
3 篇 van den bussche ...
2 篇 peshansky igor
2 篇 procter adam
2 篇 gelade wouter
2 篇 krumrey marco
2 篇 page rex
2 篇 horváth zoltán
2 篇 allwein gerard
2 篇 zsók viktória
2 篇 smyth steven
2 篇 bosselmann steve
2 篇 neven frank
2 篇 becchi michela
2 篇 harrison william...
2 篇 anon
2 篇 graves ian
2 篇 laemmel ralf
2 篇 wijsen jef
2 篇 reichenbach chri...

语言

188 篇 英文
4 篇 其他

检索条件"任意字段=11th International Symposium on Database Programming Languages"

共 192 条记录，以下是71-80 订阅

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

详细简洁

排序：

Adaptive Data Parallelism for Internet Clients on Heterogeneous Platforms

Adaptive Data Parallelism for Internet Clients on Heterogene...

引用

11th international Conference on Generative programming and Component Engineering8th symposium on Dynamic languages

作者： Pignotti, Alessandro Welc, Adam Mathiske, Bernd Scuola Superiore Sant'Anna Italy Oracle Labs United States Adobe United States

Today's Internet is long past static web pages filled with HTML-formatted text sprinkled with an occasional image or animation. We have entered an era of Rich Internet Applications executed locally on Internet clients such as web browsers: games, physics engines, image rendering, photo editing, etc. Yet today's languages used to program Internet clients have limited ability to tap to the computational capabilities of the underlying, often heterogeneous, platforms. In this paper we present how a Domain Specific Language (DSL) can be integrated into ActionScript, one of the most popular scripting languages used to program Internet clients and a close cousin of JavaScript. We demonstrate how our DSL, called ASDP (ActionScript Data Parallel), can be used to enable data parallelism for existing sequential programs. We also present a prototype of a system where data parallel workloads can be executed on either CPU or a GPU, with the runtime system transparently selecting the best processing unit, depending on the type of workload as well as the architecture and current load of the execution platform. We evaluate performance of our system on a variety of benchmarks, representing different types of workloads: physics, image processing, scientific computing and cryptography.

关键词： languages performance programming languages data-parallelism ActionScript

来源：评论

学校读者我要写书评

暂无评论

Tuning Static Data Race Analysis for Automotive Control Software

Tuning Static Data Race Analysis for Automotive Control Soft...

引用

11th IEEE international Working Conference on Source Code Analysis and Manipulation/IEEE international Conference on Software Maintenance/IEEE international symposium on Web Systems Evolution/VISSOFT/MESOCA

作者： Keul, Steffen Univ Stuttgart Dept Programming Languages ISTE Stuttgart Germany

ISBN: (纸本)9780769543475

Implementation of concurrent software systems is difficult and error-prone. Race conditions can cause intermittent failures, which are rarely found during testing. In safety-critical applications, the absence of race conditions should be demonstrated before deployment of the system. Several static analysis techniques to show the absence of data races are known today. In this paper, we report on our experiences with a static data race detector. We define a basic analysis based on classical lockset analysis and present three enhancements to that algorithm. We evaluate and compare the effectiveness of the basic and enhanced analysis algorithms empirically for an automotive embedded system. We find that the number of warnings could be reduced by more than 40% and that the ratio of true positives per total number of warnings could be doubled.

关键词： data race detection static program analysis embedded automotive

来源：评论

学校读者我要写书评

暂无评论

Computer Simulation of an Arbitrary Acoustical Field in Rooms

Computer Simulation of an Arbitrary Acoustical Field in Room...

引用

Asia Modelling symposium (AMS) / 11th international Conference on Mathematical Modelling and Computer Simulation

作者： Chusov, Andrei A. Statsenko, Lubov G. Anisimov, Pavel N. Mirgoronskaya, Yulia V. Cherkasova, Nina A. Bernavskaya, Maya V. FEFU Dept Elect & Commun Vladivostok Russia Peter Great St Petersburg Polytech Univ Higher Sch Foreign Languages St Petersburg Russia

ISBN: (纸本)9781538637524

the work provides an algorithmic model of sound propagation in rooms with respect to the principles of the object-oriented programming paradigm, i.e. in terms of classes, their instances and relations in order to model the behavior of acoustical fields developed to support various sets of input parameters specifying radiation and propagation of acoustical waves. the approach supports several forms of computational parallelism which allowed achieving scalable performance of the implementation in terms of both time consumptions and accuracy of the results as described in the paper.

关键词： computer simulation of acoustical fields high-performance computing object-oriented design architectural acoustics computer modelling parallel computing

来源：评论

学校读者我要写书评

暂无评论

Loop-Aware Optimizations in PyPy's Tracing JIT

Loop-Aware Optimizations in PyPy's Tracing JIT

引用

11th international Conference on Generative programming and Component Engineering8th symposium on Dynamic languages

作者： Ardo, Hakan Bolz, Carl Friedrich Fijalkowski, Maciej Lund Univ Ctr Math Sci S-22100 Lund Sweden Univ Dusseldorf Dusseldorf Germany

One of the nice properties of a tracing just-in-time compiler (JIT) is that many of its optimizations are simple, requiring one forward pass only. this is not true for loop-invariant code motion which is a very important optimization for code with tight kernels. Especially for dynamic languages that typically perform quite a lot of loop invariant type checking, boxed value unwrapping and virtual method lookups. In this paper we explain a scheme pioneered within the context of the LuaJIT project for making basic optimizations loop-aware by using a simple pre-processing step on the trace without changing the optimizations themselves. We have implemented the scheme in RPython's tracing JIT compiler. PyPy's Python JIT executing simple numerical kernels can become up to two times faster, bringing the performance into the ballpark of static language compilers.

关键词： languages Performance Experimentation Tracing JIT Optimization Loop-Invariant Code Motion

来源：评论

学校读者我要写书评

暂无评论

Evaluating LLM-Generated Persian Questions for Teaching Conditional programming Using Bloom's Taxonomy 11

Evaluating LLM-Generated Persian Questions for Teaching Cond...

引用

11th international symposium on Telecommunication, IST 2024

作者： Alidadi, Marzieh Taghiyareh, Fattaneh Shahhoseini, Narges University of Tehran Department of Electrical and Computer Engineering Tehran Iran

ISBN: (纸本)9798350356250

the use of Large Language Models (LLMs) to generate educational content is increasingly becoming popular, but we still need to learn more about their effectiveness in non-English languages, especially for professional areas such as teaching computational concepts. Using Bloom's taxonomy as a framework of assessment, this study evaluates the ability of LLMs to author Persian (Farsi) Learning Objects (LOs) for teaching conditional programming. We provided four LLMs (BloomGPT, Code Tutor, Copilot, and LLaMa) with a prompt in Persian to create educational questions and exercises to teach conditional programming structures to novice learners. A group of experts was asked to evaluate questions generated by LLMs based on their alignment with the specified level of Bloom's cognitive domain, suitability for teaching conditional programming structures, and clarity in using Persian language. Results show almost no agreement among experts in language clarity and fair agreement on other aspects of the study. BloomGPT proves itself to be dominant overall in Bloom's Taxonomy, especially at the 'Analyze' level. Meanwhile, Copilot closely followed Code Tutor in most aspects of the study. Our findings provide insights into the ability of LLMs to design high-quality Persian learning resources in computer programming. © 2024 IEEE.

关键词： Taxonomies

来源：评论

学校读者我要写书评

暂无评论

An Agent Language with Destructive Assignment and Model-theoretic Semantics

An Agent Language with Destructive Assignment and Model-Theo...

引用

11th international Workshop on Computational Logic in Multi-Agent Systems

作者： Kowalski, Robert Sadri, Fariba Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England

ISBN: (纸本)9783642149764

In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. the language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an operational semantics that uses destructive assignment to manipulate a database, which represents the current state of the environment. the language builds upon the ALP combination of logic programs, to represent an agent's beliefs, and integrity constraints, to represent the agent's goals. Logic programs are used to define macro-actions, intensional predicates, and plans to reduce goals to sub-goals including actions. Integrity constraints are used to represent reactive rules, which are triggered by the current state of the database and recent agent actions and external events. the execution of actions and the assimilation of observations generate a sequence of database states. In the case of the successful solution of all goals, this sequence, taken as a whole, determines a model that makes the agent's goals and beliefs all true.

关键词： abductive logic programming agent languages model-theoretic semantics

来源：评论

学校读者我要写书评

暂无评论

Embedding Invertible languages with Binders A Case of the FliPpr Language 11

Embedding Invertible Languages with Binders A Case of the Fl...

引用

Haskell Conference

作者： Matsuda, Kazutaka Wang, Meng Tohoku Univ Sendai Miyagi Japan Univ Bristol Bristol Avon England

ISBN: (纸本)9781450358354

this paper describes a new embedding technique of invertible programming languages, through the case of the FliPpr language. Embedded languages have the advantage of inheriting host languages' features and supports;and one of the influential methods of embedding is the tagless-final style, which enables a high level of programmability and extensibility. However, it is not straightforward to apply the method to the family of invertible/reversible/bidirectional languages, due to the different ways functions in such domains are represented. We consider FliPpr, an invertible pretty-printing system, as a representative of such languages, and show that Atkey et al.'s unembedding technique can be used to address the problem. Together with a reformulation of FliPpr, our embedding achieves a high level of interoperability with the host language Haskell, which is not found in any other invertible languages. We implement the idea and demonstrate the benefits of the approach with examples.

关键词： EDSL Program Inversion Pretty-Printing Parsing

来源：评论

学校读者我要写书评

暂无评论

Secure Implementation of Meta-predicates

引用

11th international symposium on Practical Aspects of Declarative languages

作者： Moura, Paulo Dep. of Computer Science University of Beira Interior Portugal Center for Research in Advanced Computing Systems INESC-Porto Portugal

ISBN: (纸本)9783540929949

this paper identifies potential security loopholes in the implementation of support for meta-predicates Closing these loopholes depends on three conditions: a clear distinction between closures and goals, support for an extended meta-predicate directive that allows the specification of closures, and the availability of the call/2-N family of built-in meta-predicates. these conditions provide the basis for a set of simple safety rules that allows meta-predicates to be securely supported. these safety rules are currently implemented by Logtalk, all object-oriented logic programming language, and may also be applied in the context of Prolog predicate-based module systems. Experimental results illustrate how these rules can prevent several security problems, including accidental or malicious changes to the original meta-predicate arguments and bypassing of predicate scope rules and predicate scope directives.

关键词： Logic-programming meta-predicates security

来源：评论

学校读者我要写书评

暂无评论

Analyzing the Effect of Preprocessor Annotations on Code Clones

Analyzing the Effect of Preprocessor Annotations on Code Clo...

引用

作者： Schulze, Sandro Juergens, Elmar Feigenspan, Janet Univ Magdeburg D-39106 Magdeburg Germany Tech Univ Munich Munich Germany

ISBN: (纸本)9780769543475

the C preprocessor cpp is a powerful and language-independent tool, widely used to implement variable software in different programming languages (C, C++) using conditional compilation. Preprocessor annotations can used on different levels of granularity such as functions or statements. In this paper, we investigate whether there is a relation between code clones and preprocessor annotations. Specifically, we address the question whether the discipline of annotation has an effect on code clones. To this end, we perform a case study on fifteen different C programs and analyze them regarding code clones and # ifdef occurrences. We found only minor effects of annotations on code clones, but a relationship between annotations that align with the code structure (and code clones). With this work, we provide new insights why code clones occur in C programs. Furthermore, the results can support the decision whether or not it is beneficial to remove clones.

关键词： #ifdef occurrences Algorithm design and analysis C language C preprocessor C preprocessor C programs Cloning programming Software systems Synchronization XML code clones code clones cpp empirical study language independent tool preprocessor annotations pr

来源：评论

学校读者我要写书评

暂无评论

A Data Flow Language for Hybrid Query and programming languages 12

A Data Flow Language for Hybrid Query and Programming Langua...

引用

11th international symposium on Functional and Logic programming (FLOPS)

作者： Rose, Kristoffer H. Villard, Lionel Sato, Naoto IBM Thomas J Watson Res Ctr Yorktown Hts NY 10598 USA IBM Res Tokyo Tokyo Japan

ISBN: (纸本)9783642298226

In this paper, we present trix, which formalizes the data flow mechanisms used in low level descriptions of algorithms that implement data base as well as programming constructs. We show that the data flow formalism permits concise expression of physical data base operators and functional evaluation, and that the formalism permits unified reasoning about the equivalence of programs of each and all of these paradigms. Specifically, we present trix formally, illustrate how programming patterns (specifically queries) translate into trix, and use "data flow equivalence" equational reasoning to show some common optimizations correct. Finally we show how the use of trix as an intermediate language can improve performance for some standard benchmarks.

关键词： Data transfer

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共20页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：