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

International Conference on Software Engineering

作者： Patai, Gergely Hanak, Peter Budapest Univ Technol & Econ Dept Proc Control & Informat Technol Magyar Tukosok Korutja 2 H-1117 Budapest Hungary

ISBN: (纸本)9780889866416

Embedded systems represent a rapidly growing branch of information technology, characterised by the need for increased dependability, timeliness and efficiency. While functional languages allow developers to produce highly reliable and maintainable code, they ignore the aspect of time, and their efficiency is inferior to those of low-level languages currently dominating this field. Hume is a novel hybrid language that combines the functional paradigm with ideas from hardware design. It focuses on producing time- and space-constrained code while keeping the benefits of programming on a high level. This paper describes the development of a lift control simulation in Hume running on low-performance embedded hardware platforms, including the process of porting the code to these platforms.

关键词： programming tools and languages embedded systems functional programming hume

来源：评论

学校读者我要写书评

暂无评论

An efficient mechanism for matching multiple patterns with streamed XML data

An efficient mechanism for matching multiple patterns with s...

引用

International Conference on Software Engineering

作者： Hinnerichs, Andreas Hoefig, Edzard Fraunhofer FOKUS Kaiserin Augusta Allee 31 D-10625 Berlin Germany

ISBN: (纸本)9780889866416

Filtering XML data streams using efficient pattern matching algorithms is a fundamental ability for many data-centric applications and main purpose of the Template Matching sPecification Language (TMPL). In this paper extensions to the language are discussed that enable fomulating more powerful query patterns: The declarative type system, improved predicates, template references and sequence matching operators. An optimised matching run-time based on lazy constructed automata is introduced together with an explanation of the underlying formalism. An Example, case studies and performance measurements illustrate the usage and usability of TMPL.

关键词： programming tools and languages XML stream processing template matching

来源：评论

学校读者我要写书评

暂无评论

Developing high quality software

引用

INTERNATIONAL JOURNAL OF PARALLEL EMERGENT AND DISTRIBUTED SYSTEMS 2009年第2期24卷 171-187页

作者： Scarpa, M. Puliafito, A. Univ Messina Dipartimento Matemat Contrada Dio I-98166 Messina Italy

Performance related problems are a key aspect in the software development process (SDP). In particular an early integration of performance considerations inside the SDP has been recognised during last years as an effective approach to speed up the production of high quality software. In this paper we present a design process that can help in producing high reliable software with predefined performance requirements. We propose the use of a performance plug-in to the ArgoUML CASE tool which allows to insert performance indices based on the OMG Profile for schedulability, Performance and Time Specification standard (Object Management Group, UML Profile for Schedulability, Performance and Time Specification ver 1.1, 2005) for the design of the software architecture. It also permits to map an UML model toward stochastic Petri Nets, which are used as the performance specification and evaluation tool.

关键词： software engineering software evaluation programming tools and languages Petri nets UML software failure

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：