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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,464 篇 会议
128 册 图书
114 篇 期刊文献

馆藏范围

1,705 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

789 篇 工学
- 675 篇 计算机科学与技术...
- 510 篇 软件工程
- 140 篇 电气工程
- 81 篇 电子科学与技术（可...
- 55 篇 控制科学与工程
- 35 篇 信息与通信工程
- 13 篇 机械工程
- 8 篇 化学工程与技术
- 7 篇 生物医学工程（可授...
- 6 篇 土木工程
- 6 篇 生物工程
- 5 篇 建筑学
- 4 篇 仪器科学与技术
- 4 篇 材料科学与工程（可...
- 3 篇 光学工程
266 篇 理学
- 233 篇 数学
- 28 篇 统计学（可授理学、...
- 23 篇 物理学
- 14 篇 系统科学
- 6 篇 化学
- 6 篇 生物学
54 篇 管理学
- 37 篇 管理科学与工程(可...
- 20 篇 图书情报与档案管...
- 18 篇 工商管理
6 篇 经济学
- 6 篇 应用经济学
6 篇 医学
- 5 篇 基础医学(可授医学...
- 5 篇 临床医学
4 篇 法学
- 4 篇 社会学
4 篇 农学
- 4 篇 作物学
3 篇 教育学
- 3 篇 教育学
1 篇 哲学

主题

431 篇 logic programmin...
113 篇 computer science
84 篇 logics and meani...
83 篇 mathematical log...
81 篇 artificial intel...
76 篇 software enginee...
76 篇 logic
76 篇 logic design
71 篇 programming lang...
63 篇 logic circuits
61 篇 computer languag...
60 篇 programming tech...
60 篇 hardware
57 篇 application soft...
50 篇 programming prof...
47 篇 fuzzy logic
46 篇 control systems
45 篇 programming
41 篇 concurrent compu...
40 篇 logic devices

机构

4 篇 univ of melbourn...
4 篇 imdea software i...
4 篇 carnegie mellon ...
4 篇 ecole polytech l...
4 篇 ibm research div...
4 篇 department of el...
3 篇 texas instrument...
3 篇 computer science...
3 篇 department of el...
3 篇 computer science...
3 篇 inst for new gen...
3 篇 department of el...
3 篇 imperial coll lo...
3 篇 univ of paderbor...
3 篇 cornell universi...
3 篇 universita di pi...
3 篇 california insti...
3 篇 the weizmann ins...
3 篇 school of comput...
3 篇 department of el...

作者

7 篇 miller dale
7 篇 g. gupta
6 篇 stuckey peter j.
6 篇 pontelli enrico
6 篇 t. higuchi
6 篇 e. pontelli
5 篇 anil nerode
5 篇 sergei artemov
5 篇 hanus michael
5 篇 hermenegildo man...
4 篇 deville yves
4 篇 woltran stefan
4 篇 de schreye danny
4 篇 r. hahnle
4 篇 t. hanyu
3 篇 j.t. butler
3 篇 c. moraga
3 篇 butler jon t.
3 篇 warren david s.
3 篇 subrahmanian v.s...

语言

1,603 篇 英文
96 篇 其他
6 篇 中文
1 篇 土耳其文

检索条件"任意字段=Logic Programming - Proceedings of the 1991 International Symposium"

共 1706 条记录，以下是91-100 订阅

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

详细简洁

排序：

21st international symposium on Practical Aspects of Declarative Languages, PADL 2019

21st International Symposium on Practical Aspects of Declara...

引用

21st international symposium on Practical Aspects of Declarative Languages, PADL 2019

ISBN: (纸本)9783030059972

The proceedings contain 14 papers. The special focus in this conference is on Practical Aspects of Declarative Languages. The topics include: Distributed protocol combinators;creating domain-specific languages by composing syntactical constructs;proof-carrying plans;static partitioning of spreadsheets for parallel execution;automatic program rewriting in non-ground answer set programs;personalized course schedule planning using answer set programming;An ASP based approach to answering questions for natural language text;natural language generation from ontologies;improving residuation in declarative programs;Incremental evaluation of lattice-based aggregates in logic programming using modular TCLP;a combinatorial testing framework for intuitionistic propositional theorem provers;faster coroutine pipelines: A reconstruction.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Advanced Dataflow programming using Actor Machines for High-Level Synthesis 20

Advanced Dataflow Programming using Actor Machines for High-...

引用

proceedings of the 2020 ACM/SIGDA international symposium on Field-Programmable Gate Arrays

作者： Endri Bezati Mahyar Emami James Larus École Polytechnique Fédérale de Lausanne Lausanne Switzerland

ISBN: (纸本)9781450370998

The use of parallelism has increased drastically in recent years. Parallel platforms come in many forms: multi-core processors, embedded hybrid solutions such as multi-processor system-on-chip with reconfigurable logic, and cloud datacenters with multi-core and reconfigurable logic. These heterogeneous platforms can offer massive parallelism, but it can be difficult to exploit, particularly when combining solutions constructed with multiple architectures. To program a heterogeneous platform, a developer must master different programming languages, tools, and APIs to program each aspect of platform separately and then must find a means to connect them with communication interfaces. The motivation of this work is to provide a single programming model and framework for hardware-software stream programs on heterogeneous platforms. Our framework, StreamBlocks, starts with a dataflow programming model for both embedded and datacenter platforms. Dataflow programming is an alternative model of computation that captures both data and task parallelism. We describe a compiler infrastructure for CAL dataflow programs for hardware code generation. CAL is a dataflow programming language that can express multiple dataflow models of computation. StreamBlocks is based on the Tycho compiler infrastructure, which transforms each actor in a dataflow program to an abstract machine model, called Actor Machine. Actor Machines provides a unified model for executing actors in both hardware and software and permit our compiler extension and backend to generate efficient FPGA code. Unlike other systems, the programming model and compiler directly support hardware-software systems in which an FPGA functions as a coprocessor to a CPU. This permits easy integration with existing workflows.

关键词： hls opencl cal dataflow actor machine stream programming fpga

来源：评论

学校读者我要写书评

暂无评论

Effpi: Verified Message-Passing Programs in Dotty 10

Effpi: Verified Message-Passing Programs in Dotty

引用

10th ACM SIGPLAN international symposium on Scala (Scala)

作者： Scalas, Alceste Yoshida, Nobuko Benussi, Elias Imperial Coll London London England Aston Univ Birmingham W Midlands England Fac Sci Ltd London England

ISBN: (纸本)9781450368247

We present Effpi: an experimental toolkit for strongly-typed concurrent and distributed programming in Dotty, with verification capabilities based on type-level model checking. Effpi addresses a main challenge in creating and maintaining concurrent programs: errors like protocol violations, deadlocks, and livelocks are often spotted late, at run-time, when applications are tested or (worse) deployed. Effpi aims at finding them early, when code is written and compiled. Effpi provides: (1) a set of Dotty classes for describing communication protocols as types;(2) an embedded DSL for concurrent programming, with process-based and actor-based abstractions;(3) a Dotty compiler plugin to verify whether protocols and programs enjoy desirable properties, such as deadlock-freedom;and (4) an efficient run-time system for executing Effpi's DSL-based programs. The combination of (1) and (2) allows the Dotty compiler to check whether an Effpi program implements a desired protocol/-type;and this, together with (3), means that many typical concurrent programming errors are found and ruled out at compile-time. Further, (4) allows to run highly concurrent Effpi programs with millions of interacting processes/actors, by scheduling them on a limited number of CPU cores. In this paper, we give an overview of Effpi, illustrate its design and main features, and discuss its future.

关键词： behavioural types dependent types processes actors Dotty Scala temporal logic model checking

来源：评论

学校读者我要写书评

暂无评论

11th international symposium on NASA Formal Methods, NFM 2019

11th International Symposium on NASA Formal Methods, NFM 201...

引用

11th international symposium on NASA Formal Methods, NFM 2019

ISBN: (纸本)9783030206512

The proceedings contain 26 papers. The special focus in this conference is on NASA Formal Methods. The topics include: Model checking of verilog RTL using IC3 with syntax-guided abstraction;towards a two-layer framework for verifying autonomous vehicles;clausal proofs of mutilated chessboards;practical causal models for cyber-physical systems;extracting and optimizing formally verified code for systems programming;structured synthesis for probabilistic systems;design and runtime verification side-by-side in eTrice;data independence for software transactional memory;transaction protocol verification with labeled synchronization logic;MLv : A distributed real-time modal logic;Symbolic model checking of weighted PCTL using dependency graphs;Composing symmetry propagation and effective symmetry breaking for SAT solving;formal methods assisted training of safe reinforcement learning agents;Formalizing CNF SAT symmetry breaking in PVS;fly-by-logic: A tool for unmanned aircraft system fleet planning using temporal logic;a mixed real and floating-point solver;online parametric timed pattern matching with automata-based skipping;local reasoning for parameterized first order protocols;Generation of signals under temporal constraints for CPS testing;traffic management for urban air mobility;towards full proof automation in Frama-C using auto-active verification;using standard typing algorithms incrementally;using binary analysis frameworks: The case for bap and angr;automated backend selection for prob using deep learning.

关键词：

来源：评论

学校读者我要写书评

暂无评论

JaVerT: JavaScript Verification and Testing Framework 20

JaVerT: JavaScript Verification and Testing Framework

引用

20th international symposium on Principles and Practice of Declarative programming (PPDP)

作者： Gardner, Philippa Imperial Coll London London England

ISBN: (纸本)9781450364416

We present a novel, unified approach to the development of compositional symbolic execution tools, which bridges the gap between traditional symbolic execution and compositional program reasoning based on separation logic. We apply our approach to JavaScript, providing support for full verification, whole-program symbolic testing, and automatic compositional testing based on bi-abduction.

关键词： Symbolic execution Separation logic Formal semantics JavaScript

来源：评论

学校读者我要写书评

暂无评论

Implicit Parameters for logic programming 18

Implicit Parameters for Logic Programming

引用

20th international symposium on Principles and Practice of Declarative programming (PPDP)

作者： Madsen, Magnus Lhotak, Ondrej Aalborg Univ Aalborg Denmark Univ Waterloo Waterloo ON Canada

ISBN: (纸本)9781450364416

Implicit parameters allow programmers to omit certain arguments from function calls and have them automatically inferred by the compiler based on their types. At every call site, the compiler determines the values of the implicit parameters based on their declared types and the bindings currently in implicit scope. The programmer controls this mechanism in two ways: by adding bindings to the implicit scope, or by explicitly providing the implicit parameters for the function call. Implicit parameters are known from functional and object-oriented languages such as Haskell and Scala. In recent years, more languages have added support for implicit parameters, including Agda, Coq, and Idris. Implicit parameters have played an impressive role as the foundation for a broad range of language features such as type classes, capability and effect systems, software transactional memory, macros, and more. In this paper, we propose a design of implicit parameters for typed Horn clause based logic programming languages, such as Datalog and Prolog. We illustrate the usefulness of implicit parameters and show how they support logic programming in the large. We explore some of the differences that arise between implicit parameters in functional languages and in logic languages.

关键词： typed logic programming implicit parameters

来源：评论

学校读者我要写书评

暂无评论

Verifying Fail-Free Declarative Programs 18

Verifying Fail-Free Declarative Programs

引用

20th international symposium on Principles and Practice of Declarative programming (PPDP)

作者： Hanus, Michael CAU Kiel Inst Informat Kiel Germany

ISBN: (纸本)9781450364416

Failed computations are a frequent problem in software system development. Some failures have external reasons (e.g., missing files) that can be caught by exception handlers. Many other failures have internal reasons, such as calling a partially defined operation with unintended arguments. In order to avoid the latter kind of failures, one can try to analyze the program at compile time for potential occurrences of these failures at run time. In this paper we present an approach to verify the absence of such failures in functional logic programs. Since programming with failures is a typical technique in logic programming, we are not interested to abandon partially defined operations at all. Instead, we want to verify conditions which ensure that operations can be executed without running into a failure. For this purpose, we propose to annotate operations with non-fail conditions that are verified at compile time with an SMT solver. For successfully verified programs, it is ensured that computations never fail provided that the non-fail condition of the main operation is satisfied.

关键词： Declarative programming program failures verification

来源：评论

学校读者我要写书评

暂无评论

Individually Optimal Single- and Multiple-Tree Almost Instantaneous Variable-to-Fixed Codes

Individually Optimal Single- and Multiple-Tree Almost Instan...

引用

IEEE international symposium on Information Theory (ISIT)

作者： Dube, Danny Haddad, Fatma Univ Laval Quebec City PQ Canada

ISBN: (纸本)9781538647813

Variable-to-fixed (VF) codes are often based on dictionaries that obey the prefix-free property;e.g., the Tunstall codes. However, correct VF codes need not be prefix free. Removing that constraint may offer the opportunity to build more efficient codes. Here, we come back to the almost instantaneous VF codes introduced by Yamamoto and Yokoo. They considered both single trees and multiple trees to perform the parsing of the source string. We show that, in some cases, their technique builds suboptimal codes. We propose correctives accordingly. We also propose a new, completely different technique based on dynamic programming that builds individually optimal dictionary trees.

关键词： Dictionaries Information theory Dynamic programming Probabilistic logic Urban areas Electronic mail Artificial intelligence"

来源：评论

学校读者我要写书评

暂无评论

Glassy-Electret Random Access Memory - A naturally Nanoscale Memory Concept

Glassy-Electret Random Access Memory - A naturally Nanoscale...

引用

international symposium on VLSI Technology, Systems and Application (VLSI-TSA)

作者： Georgiou, Vasileia Campbell, Jason P. Shrestha, Pragya R. Ioannou, Dimitris E. Cheung, Kin P. NIST Gaithersburg MD 20899 USA George Mason Univ Dept Elect & Comp Engn Fairfax VA 22030 USA Theiss Res La Jolla CA USA

ISBN: (纸本)9781538648254

The self-heating effect (SHE) is a growing problem for decananometer CMOS and beyond with substantial efforts dedicated to mitigation. Here, we present a new memory concept which instead requires SHE exacerbation. As such, this memory concept is naturally suitable for extreme scaling. Preliminary result of this memory concept is demonstrated with an external heater as the SHE surrogates.

关键词： Plastics logic gates programming Temperature measurement Dielectrics Heating systems Transistors

来源：评论

学校读者我要写书评

暂无评论

A Novel ReWritable One-Time-programming OTP (RW-OTP) Realized by Dielectric-fuse RRAM Devices Featuring Ultra-High Reliable Retention and Good Endurance for Embedded Applications

A Novel ReWritable One-Time-Programming OTP (RW-OTP) Realize...

引用

international symposium on VLSI Technology, Systems and Application (VLSI-TSA)

作者： Cheng, H. W. Hsieh, E. R. Huang, Z. H. Chuang, C. H. Chen, C. H. Li, F. L. Lo, Y. M. Liu, C. H. Chung, Steve S. Natl Chiao Tung Univ Dept Elect Engn Hsinchu 30050 Taiwan Natl Chiao Tung Univ Inst Elect Hsinchu 30050 Taiwan Natl Taiwan Normal Univ Dept Mechatron Engn Taipei Taiwan

ISBN: (纸本)9781538648254

A novel concept of OTP has been demonstrated to create another feasibility to allow re-writable capability before storing the data. This OTP is named ReWritable One-time programming (RW-OTP) memory. With RW-OTP, users can do the test by modifying the contexts repeatedly before finalizing the stored data. To implement the memory cell, it consists of a gate-floated FinFET and an RRAM where a bilayer has been designed as a thicker dielectric layer with resistive-switching property on a thinner dielectric-fuse layer. Moreover, the process of RW-OTP is fully compatible with the state-of-the-art CMOS logic technology. The result shows that the memory cell exhibits high retention and good endurance. With proper use of RW-OTP, the users can not only reduce error jobs cost-efficiently but also can develop various applications for their needs. This memory cell is very promising for embedded applications.

关键词： CMOS logic circuits MOSFET resistive RAM

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：