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

Annual Conference on Innovation and Technology in Computer Science Education

作者： Schocken, Shimon IDC Herzliya Efi Arazi Sch Comp Sci IL-46150 Herzliyya Israel

ISBN: (纸本)9781605583815

Various forms of virtualization play key roles in the construction and usage of diverse system artifacts ranging from modem compilers to hardware migration to mobile computing. Virtualization is also a powerful concept on cognitive grounds, requiring considerable abstraction skills and modeling abilities. We present a methodology, a software tool, and a set of instructional resources designed to expose students to virtual machines, focusing on both abstraction and implementation issues. An early version of our methodology appeared in a book form [4] in which we describe how to build a complete computer system - hardware and software - in one semester. Recently we've re-written our VM emulation software and consolidated all our VM materials into a web site that supports a stand-alone module on virtual machines [5]. This module can be plugged into many system-oriented CS courses. All the resources that we present are freely available in open source and are presently used successfully in several universities.

关键词： programming paradigms Compilation Virtual Machines Software Engineering Abstraction

来源：评论

学校读者我要写书评

暂无评论

Investigating Mental Models of Mechanical Engineering Students 18

Investigating Mental Models of Mechanical Engineering Studen...

引用

18th International Conference on Information Technology Based Higher Education and Training (ITHET)

作者： Loch, Frieder Vogel-Heuser, Birgit Reinhold, Frank Boeck, Saskia Hofer, Sarah Reiss, Kristina Tech Univ Munich Inst Automat & Informat Syst Garching Germany Tech Univ Munich TUM Sch Educ Munich Germany

ISBN: (纸本)9781728124643

Today's innovation processes are interdisciplinary and require communication between stakeholders from different domains. The compatibility of mental models, which determine how individuals think about technical problems, decides the success of this communication. Previous research indicates that mechanical engineering students prefer procedural over structural approaches. However, structured research into the source of this preference is rare. This paper presents a study (n = 67) that investigates the mental models of mechanical engineering students of technical systems. Results indicate that mental models may depend on the presentation of a problem. A questionnaire yielded a preference for a procedural approach, while questions prompting verbal information instead yield a structural preference.

关键词： Engineering education mental models interdisciplinary collaboration programming paradigms

来源：评论

学校读者我要写书评

暂无评论

Theoretical Foundations of an Environment-Based Multiparadigm Language

引用

Informatica 2000年第1期11卷 3-14页

作者： Blažević, Mario Budimac, Zoran Ivanović, Mirjana Institute of Mathematics Faculty of Science University of Novi Sad 21000 Novi Sad Trg D. Obradovića 4

The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the λ-calculus called λE-calculus. GENS is a multiparadigm language: it has been used for definition ... 详细信息

The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the λ-calculus called λ_E-calculus. GENS is a multiparadigm language: it has been used for definition of semantics and for implementation of functional, logical, procedural, and object-oriented languages. It also allows combining different programming paradigm styles in a single programming language. The purpose of this paper is to define and to introduce the λ_E-calculus - theoretical foundation of GENS. It will also be shown how the most important langauge constructs of different programming paradigms can be defined in GENS.

关键词： Lambda calculus Multi-paradigm programming languages programming paradigms Rewriting systems λ-calculus

来源：评论

学校读者我要写书评

暂无评论

An Approach to a Pattern for Business Process Management and Deployment of Software Engineering for Small Companies in a Crossplatform Era

An Approach to a Pattern for Business Process Management and...

引用

2nd International Conference on Advances in Computational Tools for Engineering Applications (ACTEA)

作者： Fernandez-Garcia, Antonio Iribarne, Luis Criado, Javier Vallecillos, Jesus Ingn Alborada IDI Huercal Overa Almeria Spain Univ Almeria Appl Comp Grp Almeria Spain

ISBN: (纸本)9781467324892

Software engineering and its constant evolution bring new concepts, new technologies and new devices. It requires big efforts, skills and resources to acquire in depth knowledge of all the parts that are necessary for building applications professional and efficiently today. Many small technological companies and freelance developers have serious doubts about how to manage a project, where to start it and how to evolve it. Cloud Computing, Web Services, Databases, Server Side programming, Web and Native Applications for clients and many more are mandatory to know, understand and study to give to the project development technical and economical viability. This paper describes the theory of technologies, frameworks and common tools and proposes a widely used modern development pattern with good results.

关键词： Web Services Cloud Computing Business Process Management Service-Oriented Architecture programming paradigms Startups Minimum Viable Product

来源：评论

学校读者我要写书评

暂无评论

What Makes Computational Thinking so Troublesome?

What Makes Computational Thinking so Troublesome?

引用

IEEE Frontiers in Education Conference (FIE)

作者： Pears, Arnold Tedre, Matti Valtonen, Teemu Vartiainen, Henriikka KTH Royal Inst Technol Dept Learning Engn Sci Stockholm Sweden Univ Eastern Finland Sch Comp Joensuu Finland Univ Eastern Finland Sch Appl Educ Sci & Teacher Educ Joensuu Finland

ISBN: (纸本)9781665438513

This Research Full Paper addresses the definition and implementation of Computational Thinking (CT) in K-12 education. CT is the focus of ongoing debate about the future of computing in schools, and this poses a number of challenges. Early discussions on the topic were plagued by vague and all-encompassing definitions of the term, which raised awareness of a need for school learning focused on emerging computational systems and their impact on society and the lives of citizens, but failed to address what should actually be included in the revised curricula. As some of those issues have been addressed, a number of problems remain. This paper analyses some recent and future developments in the field of computing, and expands the discussion on the vexed question of the nature and limits of computational thinking. We ask whether the current mainstream literature and curriculum for CT is well positioned in terms of the future towards which computing is heading. We conclude by summarising the implications these questions have for the future development of K-12 curricula and teaching practices.

关键词： computational thinking machine learning programming paradigms artificial intelligence data agency

来源：评论

学校读者我要写书评

暂无评论

A Domain-specific Language to Facilitate Software Defined Radio Parallel Executable Patterns Deployment on Heterogeneous Architectures

A Domain-specific Language to Facilitate Software Defined Ra...

引用

33rd IEEE International Performance, Computing, and Communications Conference (IPCCC)

作者： Mohapi, Lerato J. Winberg, Simon Inggs, Michael Univ Cape Town Radar Remote Sensing Grp Dept Elect Engn ZA-7925 Cape Town South Africa

ISBN: (纸本)9781479975754

In this paper, we present a domain-specific language, referred to as OptiSDR, that matches high level digital signal processing (DSP) routines for software defined radio (SDR) to their generic parallel executable patterns targeted to heterogeneous computing architectures (HCAs). These HCAs includes a combination of hybrid GPU-CPU and DSP-FPGA architectures that are programmed using different programming paradigms such as C/C++, CUDA, OpenCL, and/or VHDL. OptiSDR presents an intuitive single high-level source code and near specification-level approach for optimization and facilitation of HCAs. OptiSDR uses an optimized embedded domain-specific language (DSL) compiler framework called Delite. Our focus is on the programming language expressiveness for parallel programming and optimization of typical DSP algorithms for deployment on SDR HCAs. We demonstrate the capability of OptiSDR to express the solution to the issues of parallel DSP low-level implementation complexities in the closest way to the original parallel programming of SDR systems. This paper will achieve these by focusing on three generic parallel executable patterns suitable for DSP routines such as cross-correlation, convolution in FIR filter based Hilbert transformers, and fast Fourier transforms for spectral analysis. This paper concludes with a performance analysis using DSP algorithms that tests automatically generated code against hand-crafted solutions.

关键词： FIR filters Hilbert transforms convolution fast Fourier transforms parallel programming program compilers programming languages signal processing software radio spectral analysis telecommunication computing DSL compiler framework DSP algorithms DSP routines DSP-FPGA architectures Delite FIR filter OptiSDR SDR HCA cross-correlation digital signal processing domain-specific language heterogeneous computing architectures high-level source code hybrid GPU-CPU parallel executable patterns deployment programming language programming paradigms software defined radio Computer architecture DSL Digital signal processing Finite impulse response filters Graphics processing units programming

来源：评论

学校读者我要写书评

暂无评论

EnviroTrack: Towards an environmental computing paradigm for distributed sensor networks

EnviroTrack: Towards an environmental computing paradigm for...

引用

24th International Conference on Distributed Computing Systems

作者： Abdelzaher, T Blum, B Cao, Q Chen, Y Evans, D George, J George, S Gu, L He, T Krishnamurthy, S Luo, L Son, S Stankovic, J Stoleru, R Wood, A Univ Virginia Dept Comp Sci Charlottesville VA 22904 USA

ISBN: (纸本)0769520863

Distributed sensor networks are quickly gaining recognition as viable embedded computing platforms. Current techniques for programming sensor networks are cumbersome, inflexible, and low-level. This paper introduces EnviroTrack, an object-based distributed middleware system that raises the level of programming abstraction by providing a convenient and powerful interface to the application developer geared towards tracking the physical environment. EnviroTrack is novel in its seamless integration of objects that live in physical time and space into the computational environment of the application. Performance results demonstrate the ability of the middleware to track realistic targets.

关键词： sensor networks programming paradigms tracking QoS distributed systems

来源：评论

学校读者我要写书评

暂无评论

USING DOMAIN SPECIFIC LANGUAGE FOR MODELING AND SIMULATION: SCALATION AS A CASE STUDY

USING DOMAIN SPECIFIC LANGUAGE FOR MODELING AND SIMULATION: ...

引用

2010 Winter Simulation Conference

作者： Miller, John A. Han, Jun Hybinette, Maria Univ Georgia Dept Comp Sci Athens GA 30602 USA

ISBN: (纸本)9781424498642

Progress in programming paradigms and languages has over time influenced the way that simulation programs are written. Modern object-oriented, functional programming languages are expressive enough to define embedded Domain Specific Languages (DSLs). The Scala programming language is used to implement ScalaTion that supports several popular simulation modeling paradigms. As a case study, ScalaTion is used to consider how language features of object-oriented, functional programming languages and Scala in particular can be used to write simulation programs that are clear, concise and intuitive to simulation modelers. The dichotomy between "model specification" and "simulation program" is also considered both historically and in light of the potential narrowing of the gap afforded by embedded DSLs.

关键词： DSL ScalaTion simulation domain specific language object-oriented programming programming languages programming languages programming paradigms scala programming language simulation program

来源：评论

学校读者我要写书评

暂无评论

Iterative grid-based computing using mobile agents

Iterative grid-based computing using mobile agents

引用

31st International Conference on Parallel Processing (ICPP 2002)

作者： Kuang, H Bic, LF Dillencourt, MB Univ Calif Irvine Irvine CA 92697 USA

ISBN: (纸本)0769516777

We describe an environment for the distributed solution of iterative grid-based applications. The environment is built using the MESSENGERS mobile agent system. The main advantage of paradigm-oriented distributed computing is that the user only needs to specify application-specific sequential code, while the underlying infrastructure takes care of the parallelization and distribution. The two paradigms discussed in this papers are the finite difference method, and individual-based simulation. These paradigms present some interesting challenges, both in terms of performance (because they require frequent synchronized communication between nodes) and in terms of repeatability (because the mapping of the user space onto the network may change due to load balancing or due to changes in the underlying logical network). We describe their use, implementation, and performance within a mobile agent-based environment.

关键词： mobile agents programming paradigms grid-based computing finite difference methods individual-based simulations

来源：评论

学校读者我要写书评

暂无评论

ReAD: Representational Algorithmic Design 20

ReAD: Representational Algorithmic Design

引用

4th International Conference on the Art Science and Engineering of programming

作者： Castelo-Branco, Renata Univ Lisbon Inst Super Tecn INESC ID Lisbon Portugal

ISBN: (纸本)9781450375078

Algorithmic Design (AD) is a novel approach to architectural design based on the creation of form through algorithms. The inherent flexibility of AD encourages the exploration of a wider design space, the automation of design tasks, and design optimization, considerably reducing project costs. Nevertheless, current AD uses representation methods that radically differ from those used in architectural practice. This creates a barrier to the adoption of AD, thus, limiting the potential benefits. We propose to address this problem by coupling AD with complementary representation methods that are adequate for designing complex architectural projects and by supporting their synchronization in a dedicated design tool.

关键词： Algorithmic Design programming paradigms Program Visualization Interaction Mechanisms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：