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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,280 篇 会议
299 篇 期刊文献
2 册 图书

馆藏范围

2,581 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,283 篇 工学
- 2,149 篇 软件工程
- 1,705 篇 计算机科学与技术...
- 85 篇 控制科学与工程
- 57 篇 信息与通信工程
- 55 篇 电气工程
- 23 篇 电子科学与技术（可...
- 17 篇 机械工程
- 14 篇 建筑学
- 14 篇 土木工程
- 13 篇 材料科学与工程（可...
- 13 篇 生物工程
- 10 篇 光学工程
- 9 篇 安全科学与工程
- 8 篇 化学工程与技术
- 5 篇 动力工程及工程热...
- 5 篇 生物医学工程（可授...
- 4 篇 力学（可授工学、理...
278 篇 理学
- 217 篇 数学
- 30 篇 系统科学
- 18 篇 统计学（可授理学、...
- 16 篇 物理学
- 16 篇 生物学
- 8 篇 化学
- 6 篇 地质学
207 篇 管理学
- 112 篇 图书情报与档案管...
- 107 篇 管理科学与工程(可...
- 48 篇 工商管理
22 篇 教育学
- 22 篇 教育学
17 篇 法学
- 15 篇 社会学
9 篇 经济学
- 9 篇 应用经济学
2 篇 农学
2 篇 艺术学
1 篇 军事学

主题

390 篇 design
369 篇 languages
187 篇 computer program...
182 篇 performance
162 篇 object oriented ...
89 篇 algorithms
88 篇 java programming...
81 篇 experimentation
79 篇 functional progr...
71 篇 theory
70 篇 computer program...
65 篇 java
63 篇 verification
61 篇 reliability
49 篇 semantics
47 篇 software design
45 篇 domain-specific ...
38 篇 parallel program...
37 篇 concurrency
35 篇 measurement

机构

25 篇 carnegie mellon ...
22 篇 univ washington ...
18 篇 univ penn philad...
17 篇 princeton univ p...
17 篇 stanford univ st...
16 篇 univ texas austi...
15 篇 harvard univ cam...
14 篇 purdue univ w la...
13 篇 microsoft res re...
13 篇 microsoft resear...
13 篇 rice univ housto...
12 篇 univ wisconsin m...
12 篇 mit cambridge ma...
12 篇 cornell univ ith...
12 篇 microsoft res ca...
11 篇 univ michigan an...
11 篇 swiss fed inst t...
11 篇 univ calif berke...
10 篇 microsoft res re...
10 篇 yale univ new ha...

作者

19 篇 hirschfeld rober...
16 篇 walker david
15 篇 visser eelco
15 篇 felleisen matthi...
14 篇 findler robert b...
13 篇 grossman dan
13 篇 bacon david f.
12 篇 chlipala adam
11 篇 flatt matthew
11 篇 sarkar vivek
11 篇 myers andrew c.
11 篇 mezini mira
11 篇 morrisett greg
10 篇 mckinley kathryn...
10 篇 bockisch christo...
10 篇 adl-tabatabai al...
10 篇 van der storm ti...
10 篇 de moor oege
10 篇 dillig isil
9 篇 lumsdaine a

语言

2,350 篇 英文
226 篇 其他
4 篇 中文
1 篇 葡萄牙文

检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"

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

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

详细简洁

排序：

Property-Based Testing: Climbing the Stairway to Verification 15

Property-Based Testing: Climbing the Stairway to Verificatio...

引用

15th International conference on Software language Engineering (SLE)

作者： Chen, Zilin Rizkallah, Christine O'Connor, Liam Susarla, Partha Klein, Gerwin Heiser, Gernot Keller, Gabriele UNSW Sydney Sydney NSW Australia Univ Melbourne Melbourne Vic Australia Univ Edinburgh Edinburgh Midlothian Scotland Proofcraft Sydney NSW Australia Univ Utrecht Utrecht Netherlands

ISBN: (纸本)9781450399197

Property-based testing (PBT) is a powerful tool that is widely available in modern programming languages. It has been used to reduce formal software verification effort. We demonstrate how PBT can be used in conjunction with formal verification to incrementally gain greater assurance in code correctness by integrating PBT into the verification framework of COGENT-a programming language equipped with a certifying compiler for developing high-assurance systems components. Specifically, for PBT and formal verification to work in tandem, we structure the tests to mirror the refinement proof that we used in COGENT's verification framework: The expected behaviour of the system under test is captured by a functional correctness specification, which mimics the formal specification of the system, andwe test the refinement relation between the implementation and the specification. We exhibit the additional benefits that this mutualism brings to developers and demonstrate the techniques we used in this style of PBT, by studying two concrete examples.

关键词： QuickCheck functional programming formal verification systems programming

来源：评论

学校读者我要写书评

暂无评论

QHDL: a Low-Level Circuit Description language for Quantum Computing 23

QHDL: a Low-Level Circuit Description Language for Quantum C...

引用

20th acm International conference on Computing Frontiers (CF)

作者： Netzer, Gilbert Markidis, Stefano KTH Royal Inst Technol Stockholm Sweden

ISBN: (纸本)9798400701405

This paper proposes a descriptive language called QHDL, akin to VHDL, to program gate-based quantum computing systems. Unlike other popular quantum programming languages, QHDL targets low-level quantum computing programming and aims to provide a common framework for programming FPGAs and gate-based quantum computing systems. The paper presents an initial implementation and design principles of the QHDL framework, including a compiler and quantum computer simulator. We discuss the challenges of low-level integration of streaming models and quantum computing for programming FPGAs and gate-based quantum computing systems.

关键词： VHDL Quantum Computing Streaming Model Integration of Quantum Computing and FPGAs

来源：评论

学校读者我要写书评

暂无评论

DynEx: Dynamic Code Synthesis with Structured design Exploration for Accelerated Exploratory programming 25

DynEx: Dynamic Code Synthesis with Structured Design Explora...

引用

2025 CHI conference on Human Factors in Computing Systems, CHI 2025

作者： Ma, Jenny Guangzhen Sreedhar, Karthik Liu, Vivian Perez, Pedro A. Wang, Sitong Sahni, Riya Chilton, Lydia B Computer Science Department Columbia University New YorkNY United States Columbia University New YorkNY United States

ISBN: (纸本)9798400713941

Recent advancements in large language models have significantly expedited the process of generating front-end code. This allows users to rapidly prototype user interfaces and ideate through code, a process known as exploratory programming. However, existing LLM code generation tools focus more on technical implementation details rather than finding the right design given a particular problem. We present DynEx, an LLM-based method for design exploration in accelerated exploratory programming. DynEx introduces a technique to explore the design space through a structured design Matrix before creating the prototype with a modular, stepwise approach to LLM code generation. Code is generated sequentially, and users can test and approve each step before moving onto the next. A user study of 10 experts found that DynEx increased design exploration and enabled the creation of more complex and varied prototypes compared to a Claude Artifact baseline. We conclude with a discussion of the implications of design exploration for exploratory programming. © 2025 Copyright held by the owner/author(s). Publication rights licensed to acm.

关键词： User profile

来源：评论

学校读者我要写书评

暂无评论

ADA: a tool for visualizing the architectural overview of open-source repositories 11

ADA: a tool for visualizing the architectural overview of op...

引用

11th acm sigplan International Workshop on the State Of the Art in Program Analysis, SOAP 2022, co-located with the 43rd acm sigplan International conference on programming language design and implementation, PLDI 2022

作者： Misu, Md Rakib Hossain Janjanin, Aleksandar Saša Bian, Zhiqiang Burlacu, Valentin-Sebastian Anteski, Naum University College London United Kingdom

ISBN: (纸本)9781450392747

Writing highly maintainable and efficient software code is becoming increasingly difficult, especially while following the rapid, agile development process and working in a distributed team. One of the key indicators of that inefficient software design is a high degree of code coupling, which leads to unwanted side-effects during refactoring and acts as a burden during future development. To alleviate these problems, we developed a visualization tool, ADA, that statically analyzes an open-source repository and seeks to address the issue of code coupling by providing developers with a powerful graphic representation. ADA showcases the relationships and the degree of inter-connectivity between the classes. ADA will ultimately guide developers to instantly locate the coupled area and assist them in decoupling it. © 2022 acm.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

The Mutators Reloaded: Fuzzing Compilers with Large language Model Generated Mutation Operators 24

The Mutators Reloaded: Fuzzing Compilers with Large Language...

引用

29th acm International conference on Architectural Support for programming languages and Operating Systems, ASPLOS 2024

作者： Ou, Xianfei Li, Cong Jiang, Yanyan Xu, Chang State Key Laboratory for Novel Software Technology Nanjing University Nanjing China Ant Group & School of Cyber Science and Tech. Zhejiang University Hangzhou China

ISBN: (纸本)9798400703911

Crafting high-quality mutators-the core of mutation-based fuzzing that shapes the search space-is challenging. It requires human expertise and creativity, and their implementation demands knowledge of compiler internals. This paper presents MetaMut framework for developing new, useful mutators for compiler fuzzing. It integrates our compiler-domain knowledge into prompts and processes that can best harness the capabilities of a large language model. With MetaMut, we have successfully created 118 semantic-aware mutators at approximately $0.5 each, with only moderate human effort. With these mutators, our fuzzer uncovered 131 bugs in GCC and Clang, 129 of which were confirmed or fixed. The success of MetaMut suggests that the integration of AI into software and system engineering tasks traditionally thought to require expert human intervention could be a promising research direction. © 2024 Copyright is held by the owner/author(s). Publication rights licensed to acm.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

CGP++ : A Modern C++ implementation of Cartesian Genetic programming

CGP++ : A Modern C++ Implementation of Cartesian Genetic Pro...

引用

2024 Genetic and Evolutionary Computation conference, GECCO 2024

作者： Kalkreuth, Roman Baeck, Thomas CNRS LIP6 Sorbonne Université Paris France LIACS Leiden University Leiden Netherlands

ISBN: (纸本)9798400704949

The reference implementation of Cartesian Genetic programming (CGP) was written in the C programming language. C inherently follows a procedural programming paradigm, which entails challenges in providing a reusable and scalable implementation model for complex structures and methods. Moreover, due to the limiting factors of C, the reference implementation of CGP does not provide a generic framework and is therefore restricted to a set of predefined evaluation types. Besides the reference implementation, we also observe that other existing implementations are limited with respect to the features provided. In this work, we therefore propose the first version of a modern C++ implementation of CGP that pursues object-oriented design and generic programming paradigm to provide an efficient implementation model that can facilitate the discovery of new problem domains and the implementation of complex advanced methods that have been proposed for CGP over time. With the proposal of our new implementation, we aim to generally promote interpretability, accessibility and reproducibility in the field of CGP. © 2024 Copyright is held by the owner/author(s). Publication rights licensed to acm.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

LoRe: Local-First Reactive programming with Verified Safety Guarantees 26

LoRe: Local-First Reactive Programming with Verified Safety ...

引用

acm sigplan International conference on Systems, programming, languages, and Applications: Software for Humanity (SPLASH Companion)

作者： Haas, Julian Tech Univ Darmstadt Darmstadt Germany

ISBN: (纸本)9781450399012

Nowadays, the dominant design approach in distributed software is cloud-centric. This comes at the cost of several issues including loss of control over data ownership and privacy, lack of offline availability, poor latency, inefficient use of communication infrastructure, and waste of (powerful) computing resources on the edge. Local-first software presents an alternative approach where data is stored and managed locally and devices primarily communicate in a peer-to-peer manner. However, the decentralized nature of local-first software paired with the unpredictability of interactions driven from the outside world impede reasoning about correctness of such applications. Yet, existing solutions to develop local-first software do not provide safety guarantees and instead expect developers to reason about concurrent interactions in an environment with unreliable network conditions. In this work, we propose LoRe, a programming language and compiler that automatically verifies developer-supplied safety properties for local-first applications.

关键词： local-first reactive programming

来源：评论

学校读者我要写书评

暂无评论

FSMoE: A Flexible and Scalable Training System for Sparse Mixture-of-Experts Models 25

FSMoE: A Flexible and Scalable Training System for Sparse Mi...

引用

30th International conference on Architectural Support for programming languages and Operating Systems-ASPLOS

作者： Pan, Xinglin Lin, Wenxiang Zhang, Lin Shi, Shaohuai Tang, Zhenheng Wang, Rui Li, Bo Chu, Xiaowen Hong Kong Univ Sci & Technol Guangzhou Guangzhou Peoples R China Harbin Inst Technol Shenzhen Peoples R China Hong Kong Univ Sci & Technol Hong Kong Peoples R China

ISBN: (纸本)9798400706981

Recent large language models (LLMs) have tended to leverage sparsity to reduce computations, employing the sparsely activated mixture-of-experts (MoE) technique. MoE introduces four modules, including token routing, token communication, expert computation, and expert parallelism, that impact model quality and training efficiency. To enable versatile usage of MoE models, we introduce FSMoE, a flexible training system optimizing task scheduling with three novel techniques: 1) Unified abstraction and online profiling of MoE modules for task scheduling across various MoE implementations. 2) Co-scheduling intra-node and inter-node communications with computations to minimize communication overheads. 3) To support near-optimal task scheduling, we design an adaptive gradient partitioning method for gradient aggregation and a schedule to adaptively pipeline communications and computations. We conduct extensive experiments with configured MoE layers and real-world MoE models on two GPU clusters. Experimental results show that 1) our FSMoE supports four popular types of MoE routing functions and is more efficient than existing implementations (with up to a 1.42x speedup), and 2) FSMoE outperforms the state-of-the-art MoE training systems (DeepSpeed-MoE and Tutel) by 1.18x-1.22x on 1458 MoE layers and 1.19x-3.01x on real-world MoE models based on GPT-2 and Mixtral using a popular routing function.

关键词： Distributed Deep Learning Large language Model Mixture-of-Experts Training System Scheduling

来源：评论

学校读者我要写书评

暂无评论

Symbolic Quantum programming for Supporting Applications of Quantum Computing Technologies 23

Symbolic Quantum Programming for Supporting Applications of ...

引用

7th International conference on the Art, Science, and Engineering of programming (programming)

作者： Miszczak, Jaroslaw Adam Polish Acad Sci Inst Theoret & Appl Informat Gliwice Poland

ISBN: (纸本)9798400707551

The goal of this paper is to deliver the overview of the current state of the art, provide experience report on developing quantum software tools, and outline the perspective for developing quantum programming tools supporting symbolic programming for the needs of quantum computing technologies. The main focus of this paper is on quantum computing technologies, as they can in the most direct way benefit from developing tools enabling the symbolic manipulation of quantum circuits and providing software tools for creating, optimizing, and testing quantum programs. We deliver a short survey of the most popular approaches in the field of quantum software development, pointing their strengths and weaknesses. This helps to formulate a list of desirable characteristics which should be included in quantum computing frameworks. Next, we describe a software architecture and its preliminary implementation supporting the development of quantum programs using symbolic approach, encouraging the functional programming paradigm, and, at the same, time enabling the integration with high-performance and cloud computing. The described software consists of several packages developed to address different needs, but nevertheless sharing common design concepts. We also outline how the presented approach could be used in tasks in quantum software engineering: quantum software testing and quantum circuit construction.

关键词： quantum technologies quantum computing computer algebra functional programming symbolic manipulation

来源：评论

学校读者我要写书评

暂无评论

COMET: Towards Practical W4A4KV4 LLMs Serving 25

COMET: Towards Practical W4A4KV4 LLMs Serving

引用

30th International conference on Architectural Support for programming languages and Operating Systems-ASPLOS

作者： Liu, Lian Cheng, Long Ren, Haimeng Xu, Zhaohui Pan, Yudong Wang, Mengdi Li, Xiaowei Han, Yinhe Wang, Ying Univ Chinese Acad Sci CAS Inst Comp Technol Beijing Peoples R China North China Elect Power Univ Beijing Peoples R China ShanghaiTech Univ Shanghai Peoples R China Chinese Acad Sci Inst Comp Technol Beijing Peoples R China

ISBN: (纸本)9798400710797

Quantization is a widely-used compression technology to reduce the overhead of serving large language models (LLMs) on terminal devices and in cloud data centers. However, prevalent quantization methods, such as 8-bitweight-activation or 4-bit weight-only quantization, achieve limited performance improvements due to poor support for low-precision (e.g., 4-bit) activation. This work, for the first time, realizes practical W4A4KV4 serving for LLMs, fully utilizing the INT4 tensor cores on modern GPUs and reducing the memory bottleneck caused by the KV cache. Specifically, we propose a novel fine-grained mixed-precision quantization algorithm (FMPQ) that compresses most activations into 4-bit with negligible accuracy loss. To support mixed-precision matrix multiplication for W4A4 and W4A8, we develop a highly optimized W4Ax kernel. Our approach introduces a novel mixed-precision data layout to facilitate access and fast dequantization for activation and weight tensors, utilizing the GPU's software pipeline to hide the overhead of data loading and conversion. Additionally, we propose fine-grained streaming multiprocessor (SM) scheduling to achieve load balance across different SMs. We integrate the optimized W4Ax kernel into our inference framework, COMET, and provide efficient management to support popular LLMs such as LLaMA-3-70B. Extensive evaluations demonstrate that, when running LLaMA family models on a single A100-80GSMX4, COMET achieves a kernel-level speedup of 2.88x over cuBLAS and a 2.02x throughput improvement compared to TensorRT-LLM from an end-to-end framework perspective.

关键词： Large language Models (LLM) Serving LLM Quantization Algorithm-System Co-design

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：