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

programming languages for data-Intensive HPC applications: A systematic mapping study

PARALLEL COMPUTING 2020年 91卷 102584-102584页

作者： Amaral, Vasco Norberto, Beatriz Goulao, Miguel Aldinucci, Marco Benkner, Siegfried Bracciali, Andrea Carreira, Paulo Celms, Edgars Correia, Luis Grelck, Clemens Karatza, Helen Kessler, Christoph Kilpatrick, Peter Martiniano, Hugo Mavridis, Ilias Pllana, Sabri Respicio, Ana Simao, Jose Veiga, Luis Visa, Ari Univ Nova Lisboa Fac Ciencias & Tecnol DI NOVA LINCS Lisbon Portugal Univ Torino Turin Italy Univ Vienna Vienna Austria Univ Stirling Stirling Scotland Univ Lisbon Inst Super Tecn DEI INESC ID Lisbon Portugal Univ Latvia Inst Math & Comp Sci Riga Latvia Univ Lisbon Fac Ciencias BioISI Lisbon Portugal Univ Amsterdam Amsterdam Netherlands Aristotle Univ Thessaloniki Thessaloniki Greece Linkoping Univ Linkoping Sweden Queens Univ Belfast Belfast Antrim North Ireland Linnaeus Univ Vaxjo Sweden Univ Lisbon Fac Ciencias LASIGE Lisbon Portugal Inst Politecn Lisboa Inst Super Engn Lisboa Lisbon Portugal Tampere Univ Tampere Finland

A major challenge in modelling and simulation is the need to combine expertise in both software technologies and a given scientific domain. When High-Performance Computing (HPC) is required to solve a scientific problem, software development becomes a problematic issue. Considering the complexity of the software for HPC, it is useful to identify programming languages that can be used to alleviate this issue. Because the existing literature on the topic of HPC is very dispersed, we performed a Systematic Mapping Study (SMS) in the context of the European COST Action cHiPSet. This literature study maps characteristics of various programming languages for data-intensive HPC applications, including category, typical user profiles, effectiveness, and type of articles. We organised the SMS in two phases. In the first phase, relevant articles are identified employing an automated keyword-based search in eight digital libraries. This lead to an initial sample of 420 papers, which was then narrowed down in a second phase by human inspection of article abstracts, titles and keywords to 152 relevant articles published in the period 2006-2018. The analysis of these articles enabled us to identify 26 programming languages referred to in 33 of relevant articles. We compared the outcome of the mapping study with results of our questionnaire-based survey that involved 57 HPC experts. The mapping study and the survey revealed that the desired features of programming languages for data-intensive HPC applications are portability, performance and usability. Furthermore, we observed that the majority of the programming languages used in the context of data-intensive HPC applications are text-based general-purpose programming languages. Typically these have a steep learning curve, which makes them difficult to adopt. We believe that the outcome of this study will inspire future research and development in programming languages for data-intensive HPC applications. (C) 2019 Elsevier B.V. A

关键词： High performance computing (HPC) Big data Data-intensive applications programming languages Domain-Specific language (DSL) General-Purpose language (GPL) Systematic mapping study (SMS)

来源：评论

学校读者我要写书评

暂无评论

An Integrated Program Analysis Framework for Graduate Courses in programming languages and Software Engineering 38

An Integrated Program Analysis Framework for Graduate Course...

引用

38th IEEE/ACM International Conference on Automated Software Engineering (ASE)

作者： Chatterjee, Prantik Kalita, Pankaj Kumar Lahiri, Sumit Muduli, Sujit Kumar Singh, Vishal Takhar, Gourav Roy, Subhajit Indian Inst Technol Dept Comp Sci & Engn Kanpur Uttar Pradesh India

ISBN: (纸本)9798350329964

Program analysis, verification and testing are important topics in programming languages and software engineering. They aim to produce engineers who are not only capable of empirically evaluating but, also formally reasoning on the correctness of software systems. We propose a specialized framework, CHIRON, designed to teach graduate-level courses on these topics. CHIRON has a small code base for easy understanding, uses a unified intermediate representation across all its analysis modules, maintains a modular architecture for plugging in new algorithms and uses a "fun" programming language to provide a gamified experience. Currently, it packages a dataflow analysis engine for driving compiler optimizations, an abstract interpretation engine for verification, a symbolic execution engine, a fuzzer and an evolutionary test generator for program testing, and a spectrum based statistical bug localization module. Within CHIRON, program analysis tasks are posed in an unconventional setting (as adventures of a turtle) to provide a gamified experience;the accompanying animations (showing the movements of the turtle) allow the student to understand the underlying concepts better, and the detailed logs allow the teaching assistants in their grading activities. CHIRON has been used in two offerings of a graduate level course on program analysis, verification and testing. In response to our survey questionnaire, all the students unanimously held the opinion that CHIRON was extremely helpful in aiding their learning, and recommended its use in similar

关键词： education graduate level course program analysis verification and testing programming languages software engineering

来源：评论

学校读者我要写书评

暂无评论

Using a Computer-based Testing Facility to Improve Student Learning in a programming languages and Compilers Course 18

Using a Computer-based Testing Facility to Improve Student L...

引用

49th ACM SIGCSE Technical Symposium on Computer Science Education (SIGCSE)

作者： Nip, Terence Gunter, Elsa L. Herman, Geoffrey L. Morphew, Jason W. West, Matthew Univ Illinois Urbana IL 61801 USA

ISBN: (纸本)9781450351034

While most efforts to improve students' learning in computer science education have focused on designing new pedagogies or tools, comparatively little research has focused on redesigning examinations to improve students' learning. Cognitive science research, however, has robustly demonstrated that getting students to practice using their knowledge in testing environments can significantly improve learning through a phenomenon known as the testing effect. The testing effect has been shown to improve learning more than rehearsal strategies such as re-reading a textbook or re-watching lectures. In this paper, we present a quasi-experimental study to examine the effect of using frequent, automated examinations in an advanced computer science course, "programming languages and Compilers" (CS 421). In Fall 2014, students were given traditional paper-based exams, but in Fall 2015 a computer based testing facility enabled the course to offer more frequent examinations while other aspects of the course were held constant. A comparison of 292 student scores across the two semesters revealed a significant change in the distribution of students' grades with fewer students failing the final examination, and proportionately more students now earning grades of B and C instead. This data suggests that focusing on redesigning the nature of examinations may indeed be a relatively untapped opportunity to improve students' learning.

关键词： programming languages compilers testing effect computer-based testing

来源：评论

学校读者我要写书评

暂无评论

Measuring the Execution Time of Programs from different Android Embedded programming languages 50

Measuring the Execution Time of Programs from different Andr...

引用

50th Latin American Computing Conference (CLEI)

作者： Filho, Ricardo Miranda Bonfim, Ricardo Pessoa, Larissa Barreto, Raimundo de Freitas, Rosiane Univ Fed Amazonas Inst Comp Manaus Amazonas Brazil

ISBN: (纸本)9798331540982;9798331540975

This study conducts a comparative analysis of the performance of different programming languages on Android embedded systems, focusing on execution time. Through controlled experiments, we compared traditional and emerging programming languages (Java, Kotlin, C, C++, Python, Golang, and Rust) using a variety of representative algorithms. The results revealed significant disparities among the programming languages, with C and C++ performing significantly better than the others, although in some algorithms Golang approached close in terms of execution time. The native Android application languages, Java and Kotlin, showed intermediate results compared to the others, with very close outcomes between them. Python and Rust had the worst results, with Python's performance being justified by the interpreted nature of the language and the lack of multiprocessing features on Android. Rust was possibly hindered by its inability to efficiently access low-level resources when applied to the Android application layer. © 2024 IEEE.

关键词： Android Benchmark Performance programming languages Runtime

来源：评论

学校读者我要写书评

暂无评论

A portrait of adopted programming languages of Portuguese Higher Education Institutions

A portrait of adopted programming languages of Portuguese Hi...

引用

IEEE Global Engineering Education Conference (IEEE EDUCON)

作者： Sobral, Sonia Rolland Moreira, Fernando Univ Portucalense REMIT Porto Portugal Univ Portucalense IJP REMIT Porto Portugal Univ Aveiro IEETA Aveiro Portugal

ISBN: (纸本)9781728184784

The increasing difficulty in meeting the needs of the software industry and the benchmarks defined by IEEE and ACM in the adoption of programming languages in Computer Engineering courses offered by higher education institutions in Portugal presents an added difficulty. This difficulty often depends on the profiles that each institution has or intends to characterize the course offered. The objective of this article is to portray the way in which Portugal and Portuguese higher education institutions have organized themselves to respond to the needs of professionals with competences in Computer Engineering, namely in terms of offering courses and places for students, but also in terms of programming language option chosen as initial, as well as the sequence of initial languages.

关键词： programming languages IEEE ACM Computer Engineering

来源：评论

学校读者我要写书评

暂无评论

Intelligent System to Teach programming languages

Intelligent System to Teach Programming Languages

引用

International Conference on Intelligent Agent and Multi-Agent Systems

作者： Dekson, D. E. Suresh, E. S. M. Ponnusarny, R. NITTTR Madras Tamil Nadu India NITTTR Educ Media Ctr Madras Tamil Nadu India Aarupadai Veedu Inst Technol Dept Comp Sci & Engn Madras Tamil Nadu India

ISBN: (纸本)9781424447107

Technology enabled learning approach has the potential to enhance teaching, learning and assessment process. The technology enabled learning environment provides digitized collection of artifacts including demonstrations and resources with animations and visualizations. The proposed model has Incorporated the technology enabled learning concepts to teach programming languages. A model was developed where we can trace the sequence of execution of the program and the arrangement of data in the memory, which gives a clear visualization of the program. The model developed can be used for training learners on programming. This can be implemented in classroom teaching and also can be made online. Online chat is also provided for discussions and facility to post the doubts and clarify them immediately without disturbing the class. Finally, it provides an environment for easy learning of programming languages and makes it easier to understand the difficult concepts with simple visualizations. This facilitates the learners to practice the programs as well as to do assignments and to take self-assessment tests to keep track of their learning.

关键词： component Interactive Learning programming languages Program Teaching Real-time Assistance Language Animations Visualizations

来源：评论

学校读者我要写书评

暂无评论

Computing Trends Lead to New programming languages

引用

COMPUTER 2012年第7期45卷 17-20页

作者： Ortiz, Sixto, Jr.

A group of new programming languages is designed to meet the needs of today's latest computing approaches.

关键词： Software Engineering programming languages Software Development programming languages Multicore CPU High Performance Computing Cloud Computing Distributed Systems Mobile Technology Parallel Processing programming languages Cray Chapel Motion Twin Haxe Microsoft F Google Dart Ceylon IBM X 10 Web programming Supercomputing High Performance Computing Functional programming

来源：评论

学校读者我要写书评

暂无评论

OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple programming languages

OCCF: A Framework for Developing Test Coverage Measurement T...

引用

6th IEEE International Conference on Software Testing, Verification and Validation (ICST)

作者： Sakamoto, Kazunori Shimojo, Kiyofumi Takasawa, Ryohei Washizaki, Hironori Fukazawa, Yoshiaki Waseda Univ Dept Comp Sci & Engn Shinjuku Ku Tokyo 1698555 Japan

ISBN: (纸本)9780769549682

Although many programming languages and test coverage criteria currently exist, most coverage measurement tools only support select programming languages and coverage criteria. Consequently, multiple measurement tools must be combined to measure coverage for software which uses multiple programming languages such as web applications. However, such combination leads to inconsistent and inaccurate measurement results. In this paper, we describe a consistent and flexible framework for measuring coverage supporting multiple programming languages, called Open Code Coverage Framework (OCCF). OCCF allows users to add new extensions for supporting programming languages and coverage criteria with low development costs. To evaluate the effectiveness of OCCF, sample implementation to support statement coverage and decision coverage for eight programming languages (C, C++, C#, Java, JavaScript, Python, Ruby and Lua) are demonstrated. Additionally, applications of OCCF for localizing faults and minimizing tests are shown.

关键词： framework test coverage programming languages fault localization test-suite minimization

来源：评论

学校读者我要写书评

暂无评论

The Invention of the Object: Object Orientation and the Philosophical Development of programming languages

引用

Philosophy and Technology 2016年第4期29卷 335-356页

作者： Joque, Justin University of Michigan Ann Arbor MI United States

programming languages have developed significantly over the past century to provide complex models to think about and describe the world and processes of computation. Out of Alan Kay’s Smalltalk and a number of earlier languages, object-oriented programming has emerged as a preeminent mode of writing and organizing programs. Tracing the history of object-oriented programming from its origins in Simula and Sketchpad through Smalltalk, particularly its philosophical and technical developments, offers unique insights into philosophical questions about objects, language, and our digital technologies. These early attempts to understand objects as basic elements of computation demonstrate the ways in which language, while firmly planted in the material reality of computation, must delimit objects from each other. This essay critically explores this history and explicates a theory of objects suggested by the development of object-oriented programming languages, which insists on the importance of language for representing and delimiting objects. It argues that the philosophies behind object-oriented programming are ultimately opposed to the claims of object-oriented ontology and find themselves more closely allied with philosophies that insist on the mediation of what exists through language. © 2016, Springer Science+Business Media Dordrecht.

关键词： Object-oriented philosophy Object-oriented programming Philosophy of computing programming languages

来源：评论

学校读者我要写书评

暂无评论

Types in programming languages, Between Modelling, Abstraction, and Correctness 12th

Types in Programming Languages, Between Modelling, Abstracti...

引用

12th Conference on Computability in Europe (CiE)

作者： Martini, Simone Univ Bologna Dipartimento Informat Sci & Ingn Bologna Italy INRIA Bologna Italy

ISBN: (纸本)9783319401898;9783319401881

The notion of type to designate a class of values, and the operations on those values, is a central feature of any modern programming language. In fact, we keep calling them programming languages, but the part of a modern language devoted to the actual specification of the control flow (that is, programming stricto sensu) is only a fraction of the language itself, and two different languages are not much apart under that perspective. What “makes a language” are much more its modelling capabilities to describe complex relations between portions of code and between data. In a word, the central part of a language is made by the abstraction mechanisms it provides to model its application domain(s), all issues the language theorist may well group together in the type chapter of a language definition.

关键词： Types programming languages History of computing Abstraction mechanisms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：