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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

171 篇 会议
2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

129 篇 工学
- 113 篇 计算机科学与技术...
- 101 篇 软件工程
- 16 篇 电气工程
- 10 篇 信息与通信工程
- 8 篇 控制科学与工程
- 6 篇 建筑学
- 3 篇 力学（可授工学、理...
- 3 篇 电子科学与技术（可...
- 3 篇 生物工程
- 2 篇 机械工程
- 2 篇 光学工程
- 2 篇 材料科学与工程（可...
- 2 篇 土木工程
- 2 篇 化学工程与技术
- 2 篇 安全科学与工程
- 1 篇 交通运输工程
- 1 篇 生物医学工程（可授...
34 篇 理学
- 21 篇 数学
- 5 篇 物理学
- 5 篇 系统科学
- 4 篇 生物学
- 2 篇 化学
- 1 篇 大气科学
13 篇 管理学
- 8 篇 图书情报与档案管...
- 7 篇 管理科学与工程(可...
- 6 篇 工商管理
2 篇 经济学
- 2 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 教育学
1 篇 历史学
- 1 篇 世界史
1 篇 农学

主题

19 篇 functional progr...
13 篇 computer program...
12 篇 computer archite...
7 篇 object oriented ...
6 篇 computer languag...
5 篇 computational mo...
4 篇 programming
3 篇 query languages
3 篇 software enginee...
3 篇 software archite...
3 篇 logic programmin...
3 篇 computer hardwar...
3 篇 computer program...
3 篇 software design
3 篇 hardware
2 篇 software systems
2 篇 programming prof...
2 篇 scalability
2 篇 system software
2 篇 object oriented ...

机构

4 篇 programming meth...
2 篇 chitkara univers...
2 篇 college of compu...
2 篇 shanghai institu...
2 篇 department of co...
2 篇 department of co...
1 篇 department of co...
1 篇 department of in...
1 篇 school of educat...
1 篇 department of co...
1 篇 computing scienc...
1 篇 programming rese...
1 篇 department of co...
1 篇 brics department...
1 篇 advanced robotic...
1 篇 school of comput...
1 篇 igor sikorsky ky...
1 篇 natl. technical ...
1 篇 rwth aachen lehr...
1 篇 department of fo...

作者

2 篇 clack chris
2 篇 najjar walid
2 篇 bohm wim
2 篇 hughes john
2 篇 hudak paul
2 篇 kelly paul
1 篇 berezowski nick
1 篇 kasik david j.
1 篇 azath h.
1 篇 johansson erik
1 篇 hankin chris
1 篇 khoshnevisan hes...
1 篇 lech tuzinkiewic...
1 篇 hirschfeld rober...
1 篇 tamburrelli gior...
1 篇 meseguer josé
1 篇 bagherzadeh nade...
1 篇 b. puthal
1 篇 risset tanguy
1 篇 miller patrick

语言

171 篇 英文
2 篇 其他

检索条件"任意字段=2nd International Conference on Functional Programming Languages and Computer Architecture, 1985"

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

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

详细简洁

排序：

Implementing multi-stage languages using ASTs, gensym, and reflection

Implementing multi-stage languages using ASTs, gensym, and r...

引用

2nd international conference on Generative programming and Component Engineering

作者： Calcagno, C Taha, W Huang, LW Leroy, X Univ London Imperial Coll Sci Technol & Med London England Rice Univ Houston TX 77251 USA Yale Univ New Haven CT USA INRIA Roquencourt France

ISBN: (纸本)3540201025

The paper addresses theoretical and practical aspects of implementing multi-stage languages using abstract syntax trees (ASTs), gensym, and reflection. We present an operational account of the correctness of this approach, and report on our experience with a bytecode compiler called MetaOCaml that is based on this strategy. Current performance measurements reveal interesting characteristics of the underlying OCaml compiler, and illustrate why this strategy can be particularly useful for implementing domain-specific languages in a typed, functional setting.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

2nd international conference on Generative programming and Component Engineering, GPCE 2003

2nd International Conference on Generative Programming and C...

引用

2nd international conference on Generative programming and Component Engineering, GPCE 2003

ISBN: (纸本)3540201025

The proceedings contain 23 papers. The special focus in this conference is on Domain-Specific languages, Staged programming, Modeling to Code and Aspect-Orientation. The topics include: A DSL approach to specifying streaming applications;a hardware description language for retargetable postpass optimizations and analyses;a domain-specific language for real-time embedded systems;implementing multi-stage languages using ASTs, gensym, and reflection;on stage ordering in staged computation;a journey from interpreters to compilers and virtual machines;an architecture description language for dynamic component and aspect-based development;automatic interface enabler for model integrated computing;an approach for supporting aspect-oriented domain modeling;the convergence of AOP and active databases;a selective, just-in-time aspect weaver;an extension to the subtype relationship in C++ implemented with template metaprogramming;component-based DSL development;a generative approach to framework instantiation;making patterns explicit with metaprogramming;generating spreadsheet-like tools from strong attribute grammars;a Petri net based coordination language for distributed objects and a case for test-code generation in model-driven systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

High-performance parallel graph reduction 2nd

High-performance parallel graph reduction

引用

2nd international conference on Parallel architectures and languages Europe, PARLE 1989

作者： Jones, Simon L Peyton Clack, Chris Salkild, Jon Department of Computer Science University College London Gower Street LondonWC1E 6BT United Kingdom

ISBN: (纸本)9783540512844

Parallel graph reduction is an attractive implementation for functional programming languages because of its simplicity and inherently distributed nature. This paper outlines some of the issues raised by parallel compiled graph reduction, and presents the approach we have adopted for our parallel machine, GRIP. We concentrate on two main areas:•Static and dynamic techniques to control the growth of parallelism, so as to provide enough parallelism of an appropriate granularity to keep the machine busy without swamping it.•Dynamic techniques to exploit the memory hierarchy, so that frequently-referenced data is held near to the processor that references it. © Springer-Verlag Berlin Heidelberg 1989.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

Towards Explicitly Elastic programming Frameworks 37

Towards Explicitly Elastic Programming Frameworks

引用

IEEE/ACM 2nd international Workshop on Software architecture and Metrics (SAM)

作者： Jayaram, K. R. IBM Thomas J Watson Res Ctr Yorktown Hts NY 10598 USA

ISBN: (纸本)9781479919345

It is a widely held view that software engineers should not be "burdened" with the responsibility of making their application components elastic;and that elasticity should be either be implicit and automatic in the programming framework;or that it is the responsibility of the cloud provider's operational staff (DevOps) to make distributed applications written for dedicated clusters elastic and execute them on cloud environments. In this paper, we argue the opposite - we present a case for explicit elasticity, where software engineers are given the flexibility to explicitly engineer elasticity into their distributed applications. We present several scenarios where elasticity retrofitted to applications by DevOps is ineffective, present preliminary empirical evidence that explicit elasticity improves efficiency, and argue for elastic programming languages and frameworks to reduce programmer effort in engineering elastic distributed applications. We also present a bird's eye view of ongoing work on two explicitly elastic programming frameworks - ElasticThrift (based on Apache Thrift [6]) and ElasticJava, an extension of Java with support for explicit elasticity.

关键词： Elasticity

来源：评论

学校读者我要写书评

暂无评论

Compiling with MultiCores 2

Compiling with MultiCores

引用

2nd international conference for Innovation in Technology, INOCON 2023

作者： Farhanaaz Sanju, V. REVA University School of Computer Science and Applications Bangalore India REVA University Department of Computer Science and Enggineering Bangalore India

ISBN: (纸本)9798350320923

Technology is evolving continuously at an exponential rate in terms of its performance. Traditional processors just have one core, however their computational capacity has been outgrown. Increasing the single core's clock frequency is one technique to boost the system's performance. A multitude of problems, including excessive power dissipation and CPU overheating, will arise when the frequency is increased. This issue was resolved by adding more cores to the same CPU to increase processing speed. Multicore processors are the term used to describe this architectural breakthrough. Each core functions independently. Due to these modifications, programmers are forced to code in parallel. We must create code that leverages several cores in parallel. The parallel programming paradigm was developed to create such programmes. The transition from sequential to parallel execution in the software development industry has been greatly influenced by parallel processing. We have OpneMP and MPI constructs, which may be utilised with current languages to parallelize the code. © 2023 IEEE.

关键词： Memory architecture

来源：评论

学校读者我要写书评

暂无评论

Axiomatization of a functional logic language 2nd

引用

2nd international conference on Algebraic and Logic programming, 1990

作者： Bronsard, Francois Reddy, Uday S. Department of Computer Science The University of Illinois at Urbana-Champaign UrbanaIL61801 United States

ISBN: (纸本)9783540531623

functional logic languages incorporate logic programming capabilities of constraint solving within a functional language framework. We consider a prototypical functional logic language which supports definite descriptions, i.e., terms of the form "the x such that p". Its semantics is defined in terms of flat ordered structures with ⊥ and ⊺ elements. These elements are used to represent the absence and ambiguity, respectively, of objects denoted by descriptions. We provide an equational axiomatization of the language and show that it is complete for this semantics. © Springer-Verlag Berlin Heidelberg 1990.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

The initiative experiments about mobile language and its interface for Ubiquitous World of Communication

The initiative experiments about mobile language and its int...

引用

ITRE 2004 - 2nd international conference on Information Technology: Research and Education - Proceedings

作者： Kim, Jong-Hyoun Hwang, Dae-Joon Department of Gameware Kaywon School of Art and Design 125 Naeson-dong Euwang Korea Republic of Department of Information Engineering Sung Kyun Kwan University 300 Chunchun-dong Suwon Korea Republic of

ISBN: (纸本)0780386256

Mobile Interface explores emerging interfaces for mobile telecommunications. It is driven by the inquiry of conventional written languages on mobile interfaces that are, to date, hampered by technological realization, linguistic transformation and socio-cultural diversity. For better connecting human beings both to one another and to the expanding digital horizon, Mobile Interface implements a Universal Mobile Language mobilizing for the future linguistic systems. Forward-looking letter types, new communication behaviors and advent interface or interaction techniques are the plastic and fluid elements that redefine the flux and quality of digital communication in the forthcoming Ubiquitous World of Communication. With clearly articulated interdisciplinary and entrepreneurial approaches, designing the ultimate cultural artifacts of contemporary telecommunications will enable technologies for better understanding and expression in creating advances of using mobile languages. After all, Mobile Interface discovers and cultivates a new set of shared intellectual and practical knowledge that are becoming the foundations of digital convergence of artistic expression, functional design, software programming, network community, psychological analysis, from academic field to commercial segment. This advent endeavor is well initiated throughout this paper. © 2004 IEEE.

关键词： computer programming languages

来源：评论

学校读者我要写书评

暂无评论

A new method for compiling schizophrenic synchronous programs 2

A new method for compiling schizophrenic synchronous program...

引用

2nd international conference on Compilers, architecture, and Synthesis for Embedded Systems, CASES 2001

作者： Schneider, K. Wenz, M. University of Karlsruhe Institute for Computer Design and Fault Tolerance Germany

ISBN: (纸本)1581133995

Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is remarkably difficult: In particular, one has to take care of potential schizophrenia problems. Although these problems are correctly translated with existing compilers, there is still a need for clean algorithms. In this paper, we present the first solution to eliminate schizophrenia problems by program transformations. These transformations are used for compilation, but also for increasing the readability of programs. Copyright 2001 ACM.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Multicore Implementation of K-Means Clustering Algorithm 2

Multicore Implementation of K-Means Clustering Algorithm

引用

2nd international conference on Applied Artificial Intelligence and Computing, ICAAIC 2023

作者： Saklani, Rishabh Purohit, Karan Vats, Satvik Sharma, Vikrant Kukreja, Vinay Yadav, Satya Prakash Graphic Era Hill University Computer Science and Engineering Dehradun India Chitkara University Institute of Engineering and Technology Chitkara University Punjab India Computer Science and Engineering U.P. Greater Noida201306 India

ISBN: (纸本)9781665456302

Multi-core processing is extensively used in every sector for its performance efficiency, with the advent of multi-core architecture have to modify the existing primitive algorithms. This study analyses the feasibility of K-mean data-mining technique, which is applied to a hybrid cluster with multi-core programming. The algorithm is developed using Message Passing Interface (MPI) and C programming languages for the parallel processing of the sets and uses the CPU to its maximum power for the hybrid sets. The heterogeneous clusters are confirmed by the usage of MPICH2 (High performance and portability implementation of MPI). examined the algorithm for the huge dataset. The dataset is split into a number of cores and each of the cores estimates the number of dusters on the same dataset interdependent to each other. By this, assert the core processor time for communication is significant for huge datasets. Hence, the same dataset for two different processors takes different times even with identical speed and memory and also with different speeds and access times. © 2023 IEEE.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

2nd international ACPC conference on Parallel Computation, 1993

2nd International ACPC Conference on Parallel Computation, 1...

引用

2nd international ACPC conference on Parallel Computation, 1993

ISBN: (纸本)9783540573142

The proceedings contain 19 papers. The special focus in this conference is on Parallel Computation. The topics include: High-performance computing on a honeycomb architecture;refined local instruction scheduling considering pipeline interlocks;microscopic and macroscopic dynamics;further results of the relaxed timing model for distributed simulation;pipelining computations on processor arrays with reconfigurable bus systems;an effective algorithm for computation of two-dimensional fourier transform for NxM matrices;rational number arithmetic by parallel p-adic algorithms;shortest non-synchronized motions parallel versions for shared memory crew models;a pipeline algorithm for interactive volume visualization;data parallel programming: the promises and limitations of high performance fortran;foundations of practical parallel programming languages;prototyping parallel algorithms with proset-linda;identifying the available parallelism using static analysis;automatic parallelization by pattern-matching;parallelization - a case study;the design of the PACLIB kernel for parallel algebraic computation;generating parallel code from equations in the objectmath programming environments and the paragon performance monitoring environment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：