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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

160 篇 会议
6 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

132 篇 工学
- 125 篇 计算机科学与技术...
- 75 篇 软件工程
- 16 篇 电气工程
- 8 篇 信息与通信工程
- 7 篇 控制科学与工程
- 4 篇 电子科学与技术（可...
- 3 篇 机械工程
- 2 篇 仪器科学与技术
- 2 篇 安全科学与工程
- 1 篇 动力工程及工程热...
- 1 篇 农业工程
32 篇 理学
- 28 篇 数学
- 5 篇 系统科学
- 2 篇 物理学
- 2 篇 统计学（可授理学、...
11 篇 管理学
- 6 篇 图书情报与档案管...
- 5 篇 管理科学与工程(可...
- 1 篇 工商管理
1 篇 农学
- 1 篇 作物学
1 篇 医学
- 1 篇 临床医学

主题

33 篇 logic programmin...
17 篇 functional progr...
13 篇 semantics
6 篇 computer archite...
5 篇 computer science
5 篇 computer circuit...
5 篇 application soft...
5 篇 dynamic programm...
4 篇 programming prof...
4 篇 object oriented ...
4 篇 programming
4 篇 software enginee...
4 篇 logic gates
3 篇 software systems
3 篇 libraries
3 篇 formal logic
3 篇 embedded systems
3 篇 automatic progra...
3 篇 logic
3 篇 protocols

机构

2 篇 cnrs f-75205 par...
2 篇 gran sasso sci i...
2 篇 no arizona univ ...
2 篇 univ paris dider...
2 篇 univ southampton...
2 篇 max-planck-insti...
2 篇 tohoku univ send...
2 篇 uva subotica ser...
2 篇 cau kiel inst in...
1 篇 xidian univ sch ...
1 篇 univ pisa dipart...
1 篇 institute for vi...
1 篇 univ almeria dep...
1 篇 tu dortmund univ...
1 篇 institut für inf...
1 篇 department of el...
1 篇 informatik ii rw...
1 篇 institute of inf...
1 篇 departamento de ...
1 篇 department of co...

作者

6 篇 hanus michael
3 篇 antoy sergio
3 篇 huch frank
3 篇 brassel bernd
2 篇 dameri enrico
2 篇 kiselyov oleg
2 篇 parlato gennaro
2 篇 habermehl peter
2 篇 simari guillermo...
2 篇 inverso omar
2 篇 eriksson agneta
2 篇 moreno gines
2 篇 tick e
2 篇 fischer sebastia...
2 篇 martelli maurizi...
2 篇 degano pierpaolo
2 篇 johansson anna-l...
2 篇 antoniou grigori...
2 篇 levi giorgio
2 篇 enea constantin

语言

167 篇 英文
1 篇 中文

检索条件"任意字段=5th International Symposium on Functional and Logic Programming"

共 168 条记录，以下是1-10 订阅

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

详细简洁

排序：

programming with Dependent Additive Pairs 25th

Programming with Dependent Additive Pairs

引用

25th international symposium on Trends in functional programming

作者： Sefl, Vit Charles Univ Prague Prague Czech Republic

ISBN: (纸本)9783031745577;9783031745584

Linear logic gives us additive pairs in the form of the additive conjunction. Intuitionistic type theory gives us dependent pairs in the form of the dependent sum type. What happens when we combine these two kinds of pairs together? And is this new pair type useful in practice? To answer these questions, we employ quantitative type theory, which can describe both substructural and dependent types simultaneously. In our previous work, we introduced dependent additive pairs. In this work, we show how these pairs can be used in three completely different scenarios: folding data structures using linear recursion schemes, computing resource-aware proofs, and defining additive versions of inductive and coinductive types. Each of these scenarios is then illustrated by an implementation in the Janus language.

关键词： Dependent types Linear types Quantitative type theory Additive pairs

来源：评论

学校读者我要写书评

暂无评论

System Routing and TDM Assignment Optimization in Multi-2.5D FPGA-Based Prototyping Systems

System Routing and TDM Assignment Optimization in Multi-2.5D...

引用

2nd international symposium of Electronics Design Automation (ISEDA)

作者： Huang, Chenxi Chu, Pengfei Bi, Shunyang Sun, Richard You, Hailong Xidian Univ Sch Microelect Xian Peoples R China S2C Inc Shenzhen Peoples R China

ISBN: (纸本)9798350352047;9798350352030

2.5-D FPGA has been used in many Multi-FPGA Systems (MFS) for prototype verification due to its higher logic capacity and larger number of pins. the FPGA is composed of multiple dies connected with special wires. Due to the limited connections, FPGA-based system-level routing may cause internal congestion and lead to implementation failures. In addition, Time-Division Multiplexing (TDM) is used in inter-FPGA connections to improve logic utilization, and each signal is assigned a TDM ratio. However, the increase in inter-FPGA delay of signals positively correlated with the ratio. And the system performance will be significantly influenced by these internal congestions and TDMs. In this paper, a system-level routing framework with hybrid initial routing and two-stage reroute algorithms that generates legal and high-quality routing results for a 2.5-D MFS is proposed. Afterwards, a three-step framework is proposed to generate legal TDM ratios and optimize the system's performance, where a high-quality discretization algorithm based on bottom-up dynamic programming is implemented to optimize the performance losses. the experimental results demonstrate an average improvement of 8% in the solution's quality compared with our baseline algorithms within reasonable runtime. And compared with the winner of the 5th EDA Elite Challenge, the quality of our solutions achieved the best results in most cases.

关键词： 2.5-D FPGA Multi-FPGA systems Time-Division Multiplex System-level routing TDM assignment Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

WSSE 2023 - 2023 5th World symposium on Software Engineering

WSSE 2023 - 2023 5th World Symposium on Software Engineering

引用

5th World symposium on Software Engineering, WSSE 2023

ISBN: (纸本)9798400708053

the proceedings contain 52 papers. the topics discussed include: methods for application development by non-programmers: a systematic literature review: methods of application development that could be adapted to enable non-programmers to create their own applications;LinkDoc: an automated process in the delivery of documentation in a global software development environment;ROTI-MARK: real-world-impact-driven optimization target identification – metrics assessment and reporting kit;a comparative study of hybrid fault-prone module prediction models using association rule and random forest;using deep learning and object-oriented metrics to identify critical components in object-oriented systems;LLMs in design thinking: autoethnographic insights and design implications;developing distributed systems with multiparty functional reactive programming;and using conversational AI to service organizational agility and flexibility: the dynamic capability and option view.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures 26th

Rhyme: A Data-Centric Expressive Query Language for Nested D...

引用

26th international symposium on Practical Aspects of Declarative Languages (PADL)

作者： Abeysinghe, Supun Rompf, Tiark Purdue Univ W Lafayette IN 47906 USA

ISBN: (纸本)9783031520372;9783031520389

We present Rhyme, an expressive language designed for high-level data manipulation, with a primary focus on querying and transforming nested structures such as JSON and tensors, while yielding nested structures as output. Rhyme draws inspiration from a diverse range of declarative languages, including Datalog, JQ, JSONiq, Einstein summation (Einsum), GraphQL, and more recent functional logic programming languages like Verse. It has a syntax that closely resembles existing object notation, is compositional, and has the ability to perform query optimization and code generation through the construction of an intermediate representation (IR). Our IR comprises loop-free and branch-free code with program structure implicitly captured via dependencies. To demonstrate Rhyme's versatility, we implement Rhyme in JavaScript (as an embedded DSL) and illustrate its application across various domains, showcasing its ability to express common data manipulation queries, tensor expressions (a la Einsum), and more.

关键词： Declarative query languages logic programming Tensor expressions Multi-paradigm languages Rhyme

来源：评论

学校读者我要写书评

暂无评论

Developing Distributed Systems with Multiparty functional Reactive programming 23

Developing Distributed Systems with Multiparty Functional Re...

引用

5th World symposium on Software Engineering, WSSE 2023

作者： Moriguchi, Sosuke Watanabe, Takuo Tokyo Institute of Technology Tokyo Japan

ISBN: (纸本)9798400708053

functional Reactive programming (FRP) is a programming paradigm that describes a system as a data flow between time-varying values, a concept that abstracts values that change over time. It helps describe embedded systems and GUIs. FRP is also useful for describing distributed applications, but avoiding glitches is more complicated. Glitches are inconsistencies between time-varying values caused by differences in update timing and are unavoidable in distributed systems where communication delays are inevitable. Existing methods to avoid glitching incur high communication overhead to ensure consistency among the system’s time-varying values. To address this problem, we propose the concept of multiparty FRP and a language MPFRP based on it. A party is a subset of the time-varying values that make up the system and are updated independently. We propose avoiding glitches with small communication overhead by guaranteeing consistency within each party. © 2023 Copyright held by the owner/author(s).

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Generating C System Description 16th

Generating C System Description

引用

16th international symposium on functional and logic programming (FLOPS)

作者： Kiselyov, Oleg Tohoku Univ Sendai Miyagi Japan

ISBN: (纸本)9783030994600;9783030994617

Heterogeneous metaprogramming is using a generally higherlevel host language to generate code in a lower-lever object language. Its appeal is taking advantage of the module system, higher-order functions, data types, type system and verification tools of the host language to quicker produce high-performant lower-level code with some correctness guarantees. We present two heterogeneous metaprogramming systems whose host language is OCaml and object language is C. the first relies on offshoring: treating a subset of (MetaOCaml-generated) OCaml as a different notation for (a subset of) C. the second embeds C in OCaml in tagless-final style. the systems have been used in several projects, including the generation of C supersets OpenCL and OpenMP. Generating C with some correctness guarantees is far less trivial than it may appear, with pitfalls abound. Not coincidentally, the most subtle ones accompany the introduction of variables into the code. Maintaining the offshoring system has traps of its own. We expound the pitfalls we have came across in our experience, and describe counter-measures.

关键词： Application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

Session Types Without Sophistry System Description 15th

Session Types Without Sophistry System Description

引用

15th international symposium on functional and logic programming (FLOPS)

作者： Kiselyov, Oleg Imai, Keigo Tohoku Univ Sendai Miyagi Japan Gifu Univ Gifu Japan

ISBN: (纸本)9783030590246;9783030590253

Whereas ordinary types approximate the results, session types approximate communication among computations. As a form of typestate, they describe not only what is communicated now but also what is to be communicated next. Writing session-typed programs in an ordinary programming language such an OCaml requires inordinary cleverness to simulate type-level computations and linear typing - meaning the implementation and the error messages are very hard to understand. One is constantly reminded of template metaprogramming in C++. We present a system exploring a very different approach to session typing: lowering type-level sophistry to ordinary programming, while maintaining the static assurances. Error messages are detailed and customizable, and one can use an ordinary debugger to investigate session-type problems. Our system is a binary-session-typed DSL for service-oriented programming in OCaml, supporting multiple communication channels, internal and external choices, recursion, and also channel delegation. the key idea is staging: ordinary run-time checks in the generator play the role of "type-checks" from the point of view of the generated program. What is a fancy type to the latter is ordinary data to the generator.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

5th international Workshop on Graphical Models for Security, GraMSec 2018

5th International Workshop on Graphical Models for Security,...

引用

5th international Workshop on Graphical Models for Security, GraMSec 2018

ISBN: (纸本)9783030154646

the proceedings contain 7 papers. the special focus in this conference is on Graphical Models for Security. the topics include: Combining Bayesian networks and fishbone diagrams to distinguish between intentional attacks and accidental technical failures;Disclosure analysis of SQL workflows;on linear logic, functional programming, and attack trees;the attacker does not always hold the initiative: Attack trees with external refinement;a state machine system for insider threat detection.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Journey into DSL design using generative programming: FPGA mapping of image border handling through refinement 5

A Journey into DSL design using generative programming: FPGA...

引用

5th international Workshop on FPGAs for Software Programmers, FSP 2018, co-located with international Conference on Field Programmable logic and Applications, FPL 2018

作者： Akif Özkan, M. Pérard-Gayot, Arsène Membarth, Richard Slusallek, Philipp Teich, Jürgen Hannig, Frank Germany Germany Germany

ISBN: (纸本)9783800747238

Field Programmable Gate Arrays (FPGAs) are continually improving their computing capabilities and energy efficiency. Yet, programming FPGAs remains a time-consuming task and requires expert knowledge to obtain good performance. Recent advancements in High-Level Synthesis (HLS) promise to solve this problem. However, today's HLS tools still require vendor-specific low-level optimizations in the form of compiler hints and code restructuring. Despite the pursuit of new programming methodologies for many-core, multi-threading, or vector architectures, the FPGA community mostly tries to improve the design techniques from existing programming languages that are either sequential or developed for other computing platforms. In this paper, we use a state-of-the-art functional language that offers explicit control over code refinement to design border handling circuits. this allows us to produce high-level, elegant code descriptions that can be easily refined to low-level hardware designs. Additionally, these descriptions can be exposed to software developers in the form of either a DSL or library. © VDE VERLAG GMBH ∙ Berlin ∙ Offenbach

关键词： High level synthesis

来源：评论

学校读者我要写书评

暂无评论

Control and Optimization of Energy Efficiency in Small-Footprint Embedded Systems: A Coupled Hybrid Systems Model

Control and Optimization of Energy Efficiency in Small-Footp...

引用

SICE international symposium on Control Systems (SICE ISCS) as a part of the 5th SICE Multi-symposium on Control Systems (MSCS)

作者： Porter, Christopher Yamamoto, Kenji Flikkema, Paul G. No Arizona Univ Sch Informat Comp & Cyber Syst Flagstaff AZ 86011 USA

ISBN: (纸本)9784907764623

the IoT and its related applications will require engineering of edge devices that can autonomously optimize their non-functional performance. We present a hierarchical model of small-footprint embedded systems that (1) cleanly separates and shows the interactions between their physical and computational aspects and (2) enables their control and optimization. this model exposes power use, energy use, and temporal responsiveness as functions of the hardware configuration of the processor and surrounding peripherals, including sleep mode, voltage/frequency scaling, and clock/power gating. the foundation layer consists of a coupled hybrid systems model for energy measurement and system control;this layer underpins a multi-stage graph model of execution that admits optimization using dynamic programming. In this paper, we demonstrate on-line achievement of energy subsistence, wherein the system uses the minimum energy possible given all controllable hardware resources. We describe a software/hardware implementation architecture, and illustrate the approach using an experimental networked embedded system platform.

关键词： embedded systems coupled hybrid systems multi-stage graph intelligent systems energy subsistence control optimization dynamic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：