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

7th international conference on the Quality of Information and Communications Technology (QUATIC)

作者： Lamprecht, Anna-Lena Naujokat, Stefan Margaria, Tiziana Steffen, Bernhard Tech Univ Dortmund Chair Programming Syst D-44227 Dortmund Germany Univ Potsdam Chair Serv & Software Engn D-14882 Potsdam Germany

ISBN: (纸本)9780769542416

In this paper we present loose programming, an approach designed to enable process developers to design their application-specific processes in an intuitive style. Key to this approach is the concept of loose specification, a graphical formalism that allows developers to express their processes just by sketching them as kinds of flow graphs without caring about types, precise knowledge about the available process components or the availability of resources. they only have to specify the rough process flow graphically in terms of ontologically defined 'semantic' entities. these loose specifications are then concretized to fully executable process code automatically by means of a combination of 1) data-flow analysis, ensuring the availability of the required resources, 2) temporal logic-based process synthesis, resolving type conflicts and taking care of correct component instantiation, and 3) model checking, to ensure global intents and invariants expressed in temporal logic.

关键词： application-specific processes data flow analysis data flow analysis data-flow analysis flow graphs graphical formalism intuitive style loose specification loose specification model checking process developers software engineering synthesis synthesis based loose programming temporal logic-based process synthesis

来源：评论

学校读者我要写书评

暂无评论

ASPECT IPM: Towards an incremental process model based on AOP for component-based systems

ASPECT IPM: Towards an incremental process model based on AO...

引用

作者： Alvaro, Alexandre De Almeida, Eduardo Santana De Lemos Meira, Silvio Romero Lucrédio, Daniel Garcia, Vinicius Cardoso Do Prado, Antonio Francisco C.E.S.A.R - Recife Center for Advanced Studies and Systems Federal University of Pernambuco Brazil Computing Department Federal University of São Carlos Brazil

ISBN: (纸本)9728865198

In spite of recent and constant researches in the component-Based Development area, there is still a lack for patterns, processes and methodologies that effectively support either the development "for reuse" and "with reuse". this paper presents Aspect IPM, a process model that integrates the concepts of component-based software engineering, frameworks, patterns, non-functional requirements and aspect-oriented programming. this process model is divided in two activities: Domain engineering and component-Based Development. An aspect-oriented non-functional requirements framework was built to give support in these two activities.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Can we teach computers to write fast libraries 07

Can we teach computers to write fast libraries

引用

GPCE'07 - 6th international conference on generative programming and component engineering

作者： Püschel, Markus Electrical and Computer Engineering Carnegie Mellon University 5000 Forbes Ave Pittsburgh PA 15232 United States

ISBN: (纸本)9781595938558

As the computing world "goes multicore", high performance library development finally becomes a nightmare. Optimal programs, and their underlying algorithms, have to be adapted to take full advantage of the platform's parallelism, memory hierarchy, and available instruction set. To make things worse, the best implementations are often platform-dependent and platforms are constantly evolving, which quickly renders libraries obsolete. As a consequence, developers are forced to permanently re-implement and re-optimize the same functionality and often even revert to assembly coding just as 50 years ago. A number of research efforts have started to address this problem in a new area called Automatic Performance Tuning with the common goal to rethink the way libraries are created. In this talk we present Spiral (***), a program generation system for linear transforms. Spiral generates highly optimized, platform-tuned implementations of transforms directly from a problem specification. For a user-specified transform, Spiral generates alternative algorithms, optimizes them, compiles them into programs, and "intelligently" searches for the best match to the computing platform. the main idea behind Spiral is a mathematical, declarative framework to represent algorithms and the use of rewriting systems to generate and optimize algorithms at a high level of abstraction. Optimization includes parallelization for vector architectures, shared and distributed memory platforms, GPUs, and even FPGAs. Experimental results show that the code generated by Spiral competes with, and sometimes outperforms, the best available human-written library code. Further, recent research shows that it may be possible to extend Spiral into other domains such as coding or linear algebra. As for the question in the title: Spiral shows that, at least for well-understood problem domains, a positive answer may be in reach.

关键词： Digital libraries

来源：评论

学校读者我要写书评

暂无评论

the Gentle Art of Levitation

The Gentle Art of Levitation

引用

15th ACM SIGPLAN international conference on Functional programming

作者： Chapman, James Dagand, Pierre-Evariste McBride, Conor Morris, Peter Tallinn Univ Technol Inst Cybernet Tallinn Estonia Univ Strathclyde Glasgow G1 1XQ Lanark Scotland Univ Nottingham Nottingham NG7 2RD England

ISBN: (纸本)9781605587943

We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arises by interpreting its description-a first-class value in a datatype of descriptions. Moreover, the latter itself has a description. Datatype-generic programming thus becomes ordinary programming. We show some of the resulting generic operations and deploy them in particular, useful ways on the datatype of datatype descriptions itself. Simulations in existing systems suggest that this apparently self-supporting setup is achievable without paradox or infinite regress.

关键词： Design Languages theory

来源：评论

学校读者我要写书评

暂无评论

Model driven engineering in systems integration

Model driven engineering in systems integration

引用

9th international Network conference, INC 2012

作者： Minich, M. Harriehausen-Mühlbauer, B. Wentzel, C. Communications and Network Research Centre for Security Plymouth University Plymouth United Kingdom Department of Computer Science University of Applied Sciences Darmstadt Darmstadt Germany

ISBN: (纸本)9781841023151

Software development in systems integration projects is still reliant on craftsmanship of highly skilled workers. To make such projects more profitable, an industrialized production, characterized by high efficiency, quality, and automation seems inevitable. While first milestones of software industrialization have recently been achieved, it is questionable if these can be applied to the field of systems integration as well. Besides specialization, standardization and systematic reuse, automation represents the final and most sophisticated key concept of industrialization, represented by Model Driven engineering (MDE). the present work discusses the most prominent MDE approaches, while considering the particularities of systems integration. It identifies generative programming as being most suitable and integrates it into previous works on Software Product Lines and component Based Development in Systems Integration.

关键词： Automation

来源：评论

学校读者我要写书评

暂无评论

Maintenance optimization of equipment by linear programming

Maintenance optimization of equipment by linear programming

引用

8th international conference on Probabilistic Methods Applied to Power Systems

作者： Jayakumar, A Asgarpoor, S Midw ISO Carmel IN 46032 USA Univ Nebraska Dept Elect Engn Lincoln NE 68588 USA

ISBN: (纸本)0976131919

Optimal levels of preventive maintenance performed on any system ensures cost-effective and reliable operation of the system. In this paper a component with deterioration and random failure is modeled using Markov processes while incorporating the concept of minor and major preventive maintenance. the optimal mean times to preventive maintenance (both minor and major) of the component is determined by maximizing its availability with respect to mean time to preventive maintenance. Mathematical optimization programs Maple 7 and Lingo 7 are used to find the optimal solution, which is illustrated using a numerical example. Further, an optimal maintenance policy is obtained using Markov Decision Processes (MDPs). Linear programming (LP) is utilized to implement the MDP problem.

关键词： Availability Deterioration, Random failure Linear programming (LP) Markov Decision Process Markov Process Optimal Policy Preventive Maintenance (Major & Minor)

来源：评论

学校读者我要写书评

暂无评论

Simple and safe SQL queries with C plus plus templates

引用

SCIENCE OF COMPUTER programming 2010年第7期75卷 573-595页

作者： Gil, Joseph (Yossi) Lenz, Keren Technion Israel Inst Technol Dept Comp Sci IL-32000 Haifa Israel

Most large software applications rely on an external relational database for storing and managing persistent data. Typically, such applications interact with the database by first constructing strings that represent SQL statements, and then submitting these for execution by the database engine. the fact that these statements are only checked for correctness at runtime is a source for many potential defects, including type and syntax errors and vulnerability to injection attacks. the ARARAT system presented here offers a method for dealing with these difficulties by coercing the host C++ compiler to do the necessary checks of the generated strings. A library of templates and preprocessor directives is used to embed in C++ a little language representing an augmented relational algebra formalism. Type checking of this embedded language, carried out by our template library, assures, at compile-time, the correctness and safety of the generated SQL strings. All SQL statements constructed by ARARAT are guaranteed to be syntactically correct, and type safe with respect to the database schema. Moreover, ARARAT statically ensures that the generated statements are immune to all injection attacks. the standard techniques of "expression templates" and "compile-time symbolic derivation" for compile-time representation of symbolic structures, are enhanced in our system. We demonstrate the support of a type system and a symbol table lookup of the symbolic structure. A key observation of this work is that type equivalence of instantiated nominally typed generics in C++ (as well as other languages, e.g., JAVA) is structural rather than nominal. this makes it possible to embed the structural type system, characteristic to persistent data management, in the nominal type system of C++. For some of its advanced features, ARARAT relies on two small extensions to the standard C++ language: the typeof pseudo operator and the _COUNTER_ preprocessor macro. (C) 2010 Elsevier B.V. All rights re

关键词： C plus Template programming Embedded languages Domain specific languages Databases Structural type equivalence Relational algebra

来源：评论

学校读者我要写书评

暂无评论

Using criticalities as a heuristic for answer set programming 7

引用

7th international conference on Logic programming and Nonmonotonic Reasoning , LPNMR 2004

作者： Sabuncu, Orkunt Alpaslan, Ferda N. Akman, Varol Department of Computer Engineering Middle East Technical University Ankara06531 Turkey Department of Computer Engineering Bilkent University Ankara06800 Turkey

ISBN: (纸本)9783540207214

Answer Set programming is a new paradigm based on logic programming. the main component of answer set programming is a system that finds the answer sets of logic programs. During the computation of an answer set, systems are faced with choice points where they have to select a literal and assign it a truth value. Generally, systems utilize some heuristics to choose new literals at the choice points. the heuristic used is one of the key factors for the performance of the system. A new heuristic for answer set programming has been developed. this heuristic is inspired by hierarchical planning. the notion of criticality, which was introduced for generating abstraction hierarchies in hierarchical planning, is used in this heuristic. the resulting system (CSMODELS) uses this new heuristic in a static way. CSMODELS is based on the system SMODELS. the experimental results show that this new heuristic is promising for answer set programming. A comparison of search times with SMODELS demonstrate CSMODELS’ usefulness. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

abc: the AspectBench compiler for AspectJ 05

abc: The AspectBench compiler for AspectJ

引用

4th international conference on generative programming and component engineering, GPCE 2005

作者： Allan, Chris Avgustinov, Pavel Christensen, Aske Simon Hendren, Laurie Kuzins, Sascha Lhoták, Jennifer Lhoták, Ondřej De Moor, Oege Sereni, Damien Sittampalam, Ganesh Tibbie, Julian Programming Tools Group Oxford University United Kingdom BRICS University of Aarhus Denmark Sable Research Group McGill University Montreal Canada

abc is an extensible, optimising compiler for AspectJ. It has been designed as a workbench for experimental research in aspect-oriented programming languages and compilers. We outline a programme of research in these ... 详细信息

ISBN: (纸本)3540291385

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Encapsulation component and Its Incidence into Scientific Software Performance 7th

Encapsulation Component and Its Incidence into Scientific So...

引用

7th international conference on Science, Technology and Innovation for Society, CITIS 2021

作者： Pizarro-Vasquez, G. Omar Barahona, Felix Botto-Tobar, Miguel Universidad Politécnica Salesiana Guayaquil Ecuador Guayaquil Ecuador Eindhoven University of Technology Eindhoven Netherlands Universidad de Guayaquil Guayaquil Ecuador

ISBN: (纸本)9789811641251

Performance is considered an important feature rather than the application of programming techniques for better software design in most scientific software developers. therefore, the problem arises if the software is developed without considering a specific paradigm or some programming technique when performing maintenance;tasks related to this activity are complicated, since almost no one would understand the source code. the goal of this research is to verify the performance of the software with or without an encapsulation component. An ex-post-facto experimental methodology has been implemented, carrying out a descriptive analysis of the data and then concluding by verifying the hypothesis by means of a robust test. this work was carried out by running algorithms written in the programming language Java by using three data groups in different conditions to analyze their behavior. Results show is that the application of the encapsulation component of the object-oriented paradigm does affect the execution of the scientific software performance. © 2022, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：