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

The Knowledge Phase of the strategic programming: The Case Study of the Jonian Valleys of Peloritani (Sicily, Italy) 1

引用

21st International Conference on Computational Science and Its Applications (ICCSA)

作者： Bombino, Giuseppe Calabro, Francesco Cassalia, Giuseppina Errante, Lidia Vinci, Viviana Mediterranea Univ Reggio Calabria Dept Agr Reggio Di Calabria Italy Mediterranea Univ Reggio Calabria Dept Heritage Architecture Urbanism Reggio Di Calabria Italy Mediterranea Univ Reggio Calabria Dept Architecture Reggio Di Calabria Italy Mediterranea Univ Reggio Calabria Dept Law Econ & Human Sci Reggio Di Calabria Italy

ISBN: (数字)9783030869793

ISBN: (纸本)9783030869793;9783030869786

This paper presents the follow-up phase of a broader work that illustrates a multidisciplinary research activity carried out as part of an institutional collaboration between the Mediterranea University of Reggio Calabria and 18 Sicilian municipalities, located in an area called "Jonian Valleys of Peloritani", Italy. The collaboration is finalized in order to outline perspectives and strategies for the material and immaterial progress of the area. The research activities are at initial stages, this paper illustrates the first results of the cognitive phase relating to the case study.

关键词： strategic programming Stakeholder involvement Citizenship education Youth entrepreneurship Project evaluation

来源：评论

学校读者我要写书评

暂无评论

Inclusive strategic programming: Methodological Aspects of the Case Study of the Jonian Valleys of Peloritani (Sicily, Italy) 1

引用

21st International Conference on Computational Science and Its Applications (ICCSA)

ISBN: (数字)9783030869793

ISBN: (纸本)9783030869793;9783030869786

This paper is the first part of a broader work that illustrates a multi-disciplinary research activity carried out as part of an institutional collaboration, between the Mediterranea University of Reggio Calabria and 18 Sicilian municipalities, located in an area called "Jonian Valleys of Peloritani". The collaboration is finalized in order to outline perspectives and strategies for the material and immaterial progress of the area. The research activities are at initial stages, this paper illustrates the methodological aspects.

关键词： strategic programming Stakeholder involvement Citizenship education Youth entrepreneurship Project evaluation

来源：评论

学校读者我要写书评

暂无评论

Combining Aspect-Oriented and strategic programming

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2006年第1期147卷 5-30页

作者： Kalleberg, Karl Trygve Visser, Eelco Univ Bergen Dept Informat POB 7800 N-5020 Bergen Norway Univ Utrecht Inst Informat & Comp Sci NL-3508 TB Utrecht Netherlands

Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very difficult or even impossible to modularize with traditional modularization mechanisms because they are crosscutting. Recently, aspect-oriented programming has enjoyed recognition as a practical solution for separating these concerns. In this paper we describe an extension to the Stratego term rewriting language for capturing such properties. We show our aspect language offers a concise, practical and adaptable solution for dealing with unanticipated algorithm extension for forward data-flow propagation and dynamic type checking of terms. We briefly discuss some of the challenges faced when designing and implementing an aspect extension for and in a rule-based term rewriting system.

关键词： aspect-oriented programming language extension rule-based programming unanticipated extension strategic programming

来源：评论

学校读者我要写书评

暂无评论

Safety and efficacy of strategic implantable cardioverter-defibrillator programming to reduce the shock delivery burden in a primary prevention patient population

引用

EUROPACE 2014年第2期16卷 227-234页

作者： Buber, Jonathan Luria, David Gurevitz, Osnat Bar-Lev, David Eldar, Michael Glikson, Michael Chaim Sheba Med Ctr Leviev Heart Ctr Davidai Arrhythmia Ctr IL-52621 Tel Hashomer Israel Tel Aviv Univ Sackler Fac Med IL-69978 Tel Aviv Israel

strategically chosen ventricular tachycardia (VT)/ventricular fibrillation (VF) detection and therapy parameters aimed at reducing shock deliveries were proven effective in studies that utilized single manufacturer devices with a follow-up of up to 1 year. Whether these beneficiary effects can be generalized to additional manufacturers and be maintained for longer periods is to be determined. Our aim was to evaluate the durability and applicability of the programming of strategic implantable cardioverter-defibrillators (ICDs) of various manufacturers, which is aimed at reducing the shock delivery burden in primary prevention ICD recipients. A retrospective analysis of prospectively collected data of 300 ICD recipients of various manufacturers was conducted;160 devices were strategically programmed to reduce shocks and 140 were not. The primary endpoint was the composite of death and appropriate shocks. Additional outcomes were inappropriate shocks, syncope events, and non-sustained VTs. At a median follow-up of 24 months, 19 patients died, 31 received appropriate shocks, and 41 received inappropriate shocks. Multivariate analysis showed that strategic programming dedicated to shock reduction was associated with a 64 risk reduction in the primary endpoint [hazard ratio (HR): 0.130.93;P 0.03] and a 70 reduction in inappropriate shock deliveries (HR: 0.160.72;P 0.01). Very few syncope events occurred (five patients, 1.6), and there was no between-group difference in this outcome. Utilization of strategically chosen VT/VF detection and therapy parameters was found to be effective and safe in ICDs of various manufacturers at a median follow-up period of 2 years among primary prevention patients.

关键词： Implantable cardiac defibrillators Inappropriate shocks strategic programming

来源：评论

学校读者我要写书评

暂无评论

A higher-order strategy for eliminating common subexpressions

引用

COMPUTER LANGUAGES SYSTEMS & STRUCTURES 2009年第4期35卷 341-364页

作者： Resler, R. Daniel Winter, Victor Virginia Commonwealth Univ Sch Engn Dept Comp Sci Richmond VA 23284 USA Univ Nebraska Dept Comp Sci Omaha NE 68182 USA

Optimizing compilers often perform an operation known as common subexpression elimination to improve code efficiency. Typically this is accomplished either by pruning a directed acyclic graph to replace eliminated subexpressions by memory fetches of stored values or by using partial-redundancy elimination, a data-flow analysis method. In this paper a higher-order strategic method is presented that rewrites expression trees to eliminate common subexpressions using equivalences in the lambda calculus. This approach offers several advantages-it is intuitive, transformations can be defined and applied within a high-level rewrite system, and it uses transformations for which correctness preservation can be proven. (C) 2008 Elsevier Ltd. All rights reserved.

关键词： Program transformation Higher-order strategies strategic programming Rewriting Common subexpression elimination Distributed data problem

来源：评论

学校读者我要写书评

暂无评论

The transient combinator, higher-order strategies, and the distributed data problem

引用

SCIENCE OF COMPUTER programming 2004年第1-3期52卷 165-212页

作者： Winter, VL Subramaniam, M Univ Nebraska Dept Comp Sci Omaha NE 68182 USA

The distributed data problem is characterized by the desire to bring together semantically related data from syntactically unrelated portions of a term. A strategic combinator called transient and a strategic constant called skip are introduced in the context of a higher-order strategic framework. The notion of traversal is lifted to the higher order as well. The resulting framework allows the manipulation of data to be expressed directly in strategic terms. The impact of this dynamic approach to strategy creation is then explored for several instances of the distributed data problem. Problems considered include three strategic benchmarks as well as two transformations that arise within a class loader for the Java virtual machine. (C) 2004 Elsevier B.V. All rights reserved.

关键词： distributed data problem strategic programming higher-order strategic programming higher-order traversal one-layer higher-order traversals transformation program transformation rewriting higher-order rewriting transient combinator skip strategy TL HATS table normalization Java class loader strategic benchmarks Java virtual machine sandia secure processor

来源：评论

学校读者我要写书评

暂无评论

Strongly Typed Rewriting For Coupled Software Transformation

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2007年第1期174卷 17-34页

作者： Cunha, Alcino Visser, Joost Univ Minho DI CCTC Braga Portugal

Coupled transformations occur in software evolution when multiple artifacts must be modified in such a way that they remain consistent with each other. An important example involves the coupled transformation of a data type, its instances, and the programs that consume or produce it. Previously, we have provided a formal treatment of transformation of the first two: data types and instances. The treatment involved the construction of type-safe, type-changing strategic rewrite systems. In this paper, we extend our treatment to the transformation of corresponding data processing programs. The key insight underlying the extension is that both data migration functions and data processors can be represented type-safely by a generalized abstract data type (GADT). These representations are then subjected to program calculation rules, harnessed in type-safe, type-preserving strategic rewrite systems. For ease of calculation, we use point-free representations and corresponding calculation rules. Thus, coupled transformations are carried out in two steps. First, a type-changing rewrite system is applied to a source type to obtain a target type together with (representations of) migration functions between source and target. Then, a type-preserving rewrite system is applied to the composition of a migration function and a data processor on the source (or target) type to obtain a data processor on the target (or source) type. All rewrites are type-safe.

关键词： Program transformation term rewriting strategic programming generalized abstract datatypes data refinement

来源：评论

学校读者我要写书评

暂无评论

Model-driven Transformation-based Generation of Java Stress Tests

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2007年第1期174卷 99-114页

作者： Winter, Victor L. Univ Nebraska Omaha Dept Comp Sci Omaha NE 68182 USA

This paper describes a practical application of transformation-based analysis and code generation. An overview is given of an approach for automatically constructing Java stress tests whose execution exercises all &qu... 详细信息

关键词： program transformation strategic programming Java class initialization method JVM TL HATS

来源：评论

学校读者我要写书评

暂无评论

Fusing a Transformation Language with an Open Compiler

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2008年第2期203卷 21-36页

作者： Kalleberg, Karl Trygve Visser, Eelco Univ Bergen Dept Informat POB 7800 N-5020 Bergen Norway Delft Univ Technol Fac Elect Engn Math & Comp Sci Dept Software Technol Delft Netherlands

Program transformation systems provide powerful analysis and transformation frameworks as well as concise languages for language processing, but instantiating them for every subject language is an arduous task, most often resulting in half-completed frontends. Compilers provide mature frontends with robust parsers and type checkers, but solving language processing problems in general-purpose languages without transformation libraries is tedious. Reusing these frontends with existing transformation systems is therefore attractive. However, for this reuse to be optimal, the functional logic found in the frontend should be exposed to the transformation system - simple data serialization of the abstract syntax tree is not enough, since this fails to expose important compiler functionality, such as import graphs, symbol tables and the type checker. In this paper, we introduce a novel and general technique for combining term-based transformation systems with existing language frontends. The technique is presented in the context of a scriptable analysis and transformation framework for Java built on top of the Eclipse Java compiler. The framework consists of an adapter automatically extracted from the abstract syntax tree of the compiler and an interpreter for the Stratego program transformation language. The adapter allows the Stratego interpreter to rewrite directly on the compiler AST. We illustrate the applicability of our system with scripts written in Stratego that perform framework and library-specific analyses and transformations.

关键词： compiler scripting strategic programming program transformation

来源：评论

学校读者我要写书评

暂无评论

Term-graph Rewriting in Tom Using Relative Positions

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2008年第1期203卷 3-17页

作者： Balland, Emilie Brauner, Paul INPL & LORIA UHP & LORIA Campus ScientifiqueBP 239 F-54506 Vandoeuvre Les Nancy France

In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern matching and traversal controls to Java, Tom is a well-suited environment for defining program transformations or analyses. As some analyses, e.g. based on control flow, require graph-like structures, the use of this formalism is a natural way of expressing them by graph rewriting.

关键词： term-graph rewriting strategic programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：