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

DAMP 2007: Workshop on Declarative Aspects of Multicore programming

作者： Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages Ratzeburger Allee 160 23538 Lübeck Germany University of Hertfordshire Department of Computer Science College Lane Hatfield AL10 9AB United Kingdom University of Hertfordshire United Kingdom

ISBN: (纸本)1595936904

The advent of multicore processors has raised new demand for harnessing concurrency in the software mass market. We summarise our previous work on the data parallel, functional array processing language SaC. Its compiler technology is geared towards highly runtime-efficient support for shared memory multiprocessors and, thus, is readily applicable to today's off-the-shelf multicore systems. Copyright 2007 ACM.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

Adaptive detection of design flaws

Adaptive detection of design flaws

引用

作者： Kreimer, Jochen Research Group Programming Languages and Compilers Department of Computer Science University of Paderborn Germany

Criteria for software quality measurement depend on the application area. In large software systems criteria like maintainability, comprehensibility and extensibility play an important role. My aim is to identify design flaws in software systems automatically and thus to avoid "bad" - incomprehensible, hardly expandable and changeable - program structures. Depending on the perception and experience of the searching engineer, design flaws are interpreted in a different way. I propose to combine known methods for finding design flaws on the basis of metrics with machine learning mechanisms, such that design flaw detection is adaptable to different views. This paper presents the underlying method, describes an analysis tool for Java programs and shows results of an initial case study. © 2005 Elsevier B.V. All rights reserved.

关键词： computer software

来源：评论

学校读者我要写书评

暂无评论

Rapidly prototyping implementation infrastructure of Domain Specific languages: A semantics-based approach

Rapidly prototyping implementation infrastructure of Domain ...

引用

20th Annual ACM Symposium on Applied Computing

作者： Wang, Qian Gupta, Gopal Applied Logic Programming-Languages and System Lab Department of Computer Science University of Texas Dallas

Domain Specific languages (DSLs) are high level languages designed for solving problems in a particular domain, and have been suggested as means for developing reliable software systems. However, designing of a domain specific language is a difficult task. The design of a domain specific language will evolve as it is used more and more and experienced is gained by its designers. Being able to rapidly develop the implementation infrastructure (interpreter, compiler, debugger, profiler, etc.) of a domain specific language is thus of utmost importance so that as the language evolves, the implementation infrastructure can keep pace. In this paper we present a framework for automatically generating interpreters, compilers, debuggers, and profilers from semantic specification of a domain specific language. We illustrate our approach via the SCR language, a language used by the US defense department for developing control systems. Copyright 2005 ACM.

关键词： Software prototyping

来源：评论

学校读者我要写书评

暂无评论

The use of a Reasoning process to solve the almost SLAM Challenge at the Robocup legged league

The use of a Reasoning process to solve the almost SLAM Chal...

引用

8th Catalan Conference on Artificial Intelligence, CCIA 2005

作者： Monferrer, M. Teresa Escrig Broch, Juan Carlos Peris Jaume I University Engineering and Computer Science Department Campus Riu Sec CastellónE-12071 Spain Jaume I University Programming Languages and Computer Systems Department Campus Riu Sec CastellónE-12071 Spain

ISBN: (纸本)1586035606

The problem that a robot navigates autonomously through its environment, builds its own map and localizes itself in the map (known a the SLAM problem), is still an open problem. Most of the approaches to solve the SLAM problem divide the space into regions and compute the probability that the robot is in each region. We propose in this paper a different solution based on the use of a reasoning process to build the map, which will provide the following advantages: (1) we will store in the map hybrid (qualitative + quantitative) information from landmarks. Qualitative representation will allow us the management of the uncertainty information provided by the robot sensors;and (2) we will store in the map relative information of the landmarks which appear in the environment, therefore the map will be independent of the point of view of the robot. Moreover, we are going to use a reasoning process which will allow us to solve three very important problems in robotics: (a) where the robot is;(b) which is the orientation of the map where the robot is;and (c) towards where the robot should go according to the map to follow a plan. © 2005 The authors. All rights reserved.

关键词： Robots

来源：评论

学校读者我要写书评

暂无评论

Specification, implementation, and verification of Domain Specific languages: A logic programming-based approach

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2002年 2407卷 211-239页

作者： Gupta, Gopal Pontelli, Enrico Applied Logic Programming Languages and Systems Lab. Department of Computer Science University of Texas at Dallas Richardson TX 95083 United States Laboratory for Logic Databases and Advanced Programming Department of Computer Science New Mexico State University Las Cruces NM 88003 United States

ISBN: (纸本)3540439595

Domain Specific languages (DSLs) are high level languages designed for solving problems in a particular domain, and have been suggested as means for developing reliable software systems. We present a (constraint) logic programming-based framework for specification, efficient implementation, and automatic verification of domain specific languages (DSLs). Our framework is based on using Horn logic (or pure Prolog), and eventually constraints, to specify denotational semantics of domain specific languages. Both the syntax as well as the semantic specification of the DSL in question are directly executable in our framework: the specification itself serves as an interpreter for the DSL. More efficient implementations of this DSL-a compiler-can be automatically derived via partial evaluation. Additionally, the executable specification can be used for automatic or semi-automatic verification of programs written in the DSL as well as for automatically obtaining traditional debuggers and profilers. The ability to verify DSL programs is a distinct advantage of our approach. In this paper we give a general outline of our approach, and illustrate it with practical examples. © 2002 Springer-Verlag Berlin Heidelberg.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Design patterns and framework for WIMP+ user interfaces design

Design patterns and framework for WIMP+ user interfaces desi...

引用

Conference on Human Factors in Computing Systems, CHI EA 2000

作者： Wu, Yongmei Programming Languages and Compiler Department of Computer Science Darmstadt University of Technology Germany

The purpose of my HCI research is to use the Design Patterns approach to establish a framework to support designing WIMP User Interfaces. In this paper I will introduce the WIMP+ User Interfaces and the idea to use th... 详细信息

ISBN: (纸本)1581132484

关键词： ACEE Design pattern Framework WIMP+ user interfaces

来源：评论

学校读者我要写书评

暂无评论

Teaching parallel algorithm with process topologies 00

Teaching parallel algorithm with process topologies

引用

Proceedings of the thirty-first SIGCSE technical symposium on computer science education

作者： Chris McDonald Kamran Kazemi Programming Languages and Systems Group Department of Computer Science The University of Western Australia Nedlands Western Australia 6907

ISBN: (纸本)9781581132137

Parallel algorithms are often introduced to students by describing the geometric topologies formed by communicating processes and often the geographic relationships between them. However, the two most common message passing environments used in teaching, PVM and MPI, each provide only rudimentary support for the specification and execution of process topologies. There is a strong need for better syntactic and semantic support for process topologies in these environments, so that students may concentrate on the algorithms being studied, and not have to wrestle with the environments' infrastructure. This paper first motivates, and then describes the use of additional support within PVM and MPI which addresses this need.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Formal specification of virtual process topologies 1

Formal specification of virtual process topologies

引用

1st IEEE computer Society International Workshop on Cluster Computing, IWCC 1999

作者： Kazemi, K. McDonald, C. Programming Languages and Systems Group Department of Computer Science University of Western Australia NedlandsWA6907 Australia

ISBN: (纸本)0769503438

A lack of adequate and flexible topology support in the popular message passing systems such as Parallel Virtual Machine was a major factor in the development of our Virtual Process Topology Environment. This parallel programming environment provides high level abstractions for interprocess communication, relieving the application developer of the cumbersome task of mapping logical neighbours to their task identifiers within message passing systems. The novel approach of separating topological specification from the APIs provided extreme flexibility to the developers of the applications using regular topologies. We believed that the task of supporting process topologies could be made even easier and, in this paper present our new method which uses recurrence relations to define topologies. Within the new environment, the recurrence relationships can be passed to the topology server which then is used in the generation of the topological specification. © 1999 IEEE.

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

GIDTS - A Graphical programming Environment for Prolog

GIDTS - A Graphical Programming Environment for Prolog

引用

1999 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 1999

作者： Kókai, Gabriella Nilson, Jörg Niss, Christian Department of Computer Science Programming Languages Friedrich-Alexander-University of Erlangen-Nürnberg Martensstr. 3 ErlangenD-91058 Germany

ISBN: (纸本)9781581131376

This paper puts forward the Graphical Interactive Diagnosing, Testing and Slicing System (GIDTS) which is a graphical programming environment for PROLOG programs. The IDTS part of the system integrates Shapiro's Interactive Diagnosis Algorithm with the Category Partition Testing Method (CPM) and a slicing technique performing the algorithmic debugging and functional testing of PROLOG programs. The integration of IDTS with a graphical user interface (GUI) supports the whole functionality of IDTS and provides a user-friendly environment giving the user more information on the state of the debugging process. GIDTS extends IDTS to a complete programming environment. It allows one to handle the debugging of complex programs using the extended syntax and semantics of PROLOG in a very flexible way. A static code diagnosis has also been implemented. In addition GIDTS supports debugging-directed editing of the source program, and a quick source code navigation via any of the tools (for example: the debugger, the static call graph and the information retriever). All these features are supported by the graphical user interface. © 1999 ACM

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Formal specification of virtual process topologies

Formal specification of virtual process topologies

引用

IEEE International Conference on Cluster Computing

作者： K. Kazemi C. McDonald Programming Languages and Systems Group Department of Computer Science University of Western Australia Nedlands WA Australia

关键词： Formal specifications Message passing Libraries Network topology Workstations Supercomputers computer languages computer science Read only memory Network servers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：