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

2012 3rd ACM conference on systems, programming, and applications: Software for Humanity, SPLASH 2012

作者： Aldrich, Jonathan Siek, Jeremy Boyland, John Carnegie Mellon University United States University of Colorado at Boulder United States University of Wisconsin-Milwaukee United States

ISBN: (纸本)9781450315630

The search for sound principles for object-oriented languages has given rise to considerable research during the last few decades, leading to a better understanding of the key concepts of object-oriented languages and to important developments in type theory, semantics, program verification, and program development. The purpose of this workshop is to provide a forum for discussing new ideas in the foundations of object-oriented languages and provide feedback to authors. Submissions to this workshop were invited in the general area of foundations of object-oriented languages, object-oriented languages, including integration with other paradigms and extensions, such as aspects, components, and meta-programming.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Interactive Debugging of Dynamic Dataflow Embedded applications

Interactive Debugging of Dynamic Dataflow Embedded Applicati...

引用

IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW)

作者： Kevin Pouget Patricia López Cueva Miguel Santana Jean-François Méhaut STMicroelectronics Crolles France LIG University of Grenoble Grenoble France

Debugging parallel and concurrent applications is well-recognized as a time-consuming task, which often requires a significant part of the application development process. In the context of embedded systems, Multi-Processor-System-on-Chip(MPSoC) architectures feature numerous multicore processors which may be coupled with heterogeneous processors like Digital Signal Processors (DSPs) and/or application-specific accelerators. In this situation, it is important that developers are provided with high-level programming environments able to efficiently exploit these architectures, as well as suitable debugging tools. Dataflow programming models were explicitly designed to program parallel architectures and they have the ability to abstract away heterogeneous computing complexity. In addition, the stream-processing aspect of multimedia algorithms naturally exhibits data-dependency graphs, which simplifies application design and implementation. In this paper, we propose a new approach for interactive debugging of dataflow applications. Going beyond the long-established ability of interactive debuggers to support sequential programming languages, we describe the functionalities they should be able to provide to debug embedded and parallel dataflow applications. Then we demonstrate our solution to this problem with a proof-of-concept debugger targeting the dataflow framework used on an industrial MPSoC platform. We also explain the development challenges we faced during the implementation of this GDB-based debugger and illustrate its efficiency through a case study of a video decoder debugging session.

关键词： Debugging object oriented modeling Program processors programming Computer architecture Data models Context

来源：评论

学校读者我要写书评

暂无评论

CIRSIUM: A circuit simulator in MATLAB® with object oriented design

CIRSIUM: A circuit simulator in MATLAB® with object oriente...

引用

Ph.D. Research in Microelectronics and Electronics (PRIME)

作者： A. Gokcen Mahmutoglu Alper Demir Koc University Istanbul Turkey

We present CIRSIUM, a CIRcuit SImulator Using MATLAB ® and its object oriented programming language. CIRSIUM has been developed as a flexible and modular framework in order to enable the rapid development of new device models and prototyping of new circuit analysis paradigms and algorithms. The modular core code includes the PSP MOSFET compact model and uses SUNDIALS for the solution of dynamical circuit equations. New device models can be added by supplying their stamps in vector/matrix form, and existing models can be translated from the Verilog-A hardware description language using ADMS that automatically computes the necessary Jacobians. CIRSIUM has been initially developed for the analysis of random telegraph signal (RTS) noise in nano-scale integrated circuits. For this purpose, the PSP MOSFET compact model has been expanded with a detailed, non-stationary RTS noise model, that includes a physical description of gate oxide defects and the calculation of their voltage and position dependent capture/emission time constants. Future applications of CIRSIUM will include non-electronic systems, such as noise modeling and analysis for biological neurons, neuronal networks and the nervous system.

关键词： Integrated circuit modeling Solid modeling Mathematical model object oriented modeling Noise Computational modeling Equations

来源：评论

学校读者我要写书评

暂无评论

Exploring the Limits of Domain Model Recovery

Exploring the Limits of Domain Model Recovery

引用

International conference on Software Maintenance (ICSM)

作者： Paul Klint Davy Landman Jurgen Vinju Centrum Wiskunde & Informatica Amsterdam The Netherlands

ISBN: (纸本)9781467352185

We are interested in re-engineering families of legacy applications towards using Domain-Specific languages (DSLs). Is it worth to invest in harvesting domain knowledge from the source code of legacy applications? Reverse engineering domain knowledge from source code is sometimes considered very hard or even impossible. Is it also difficult for "modern legacy systems"? In this paper we select two open-source applications and answer the following research questions: which parts of the domain are implemented by the application, and how much can we manually recover from the source code? To explore these questions, we compare manually recovered domain models to a reference model extracted from domain literature, and measured precision and recall. The recovered models are accurate: they cover a significant part of the reference model and they do not contain much junk. We conclude that domain knowledge is recoverable from "modern legacy" code and therefore domain model recovery can be a valuable component of a domain re-engineering process.

关键词： object oriented modeling Planning DSL Documentation Project management Analytical models Reverse engineering

来源：评论

学校读者我要写书评

暂无评论

Control software development in Industrial Automation

Control software development in Industrial Automation

引用

International conference on Emerging Technologies and Factory Automation (ETFA)

作者： Carlos C. Insaurralde Alois Zoitl Institute of Sensors Signals and Systems Heriot-Watt University Edinburgh UK Fortiss GmbH Technical University of Munich Munich Germany

Classical programming approaches are no longer enough to implement and integrate evolved control software for Industrial Automation systems (IASs). The multidisciplinary implementation of increasingly-sophisticated IAS capabilities makes developers look for more effective methodologies to efficiently design, build, and evaluate such software. This paper identifies gaps in the development process of IASs. Filling these gaps can help improving the coding of IAS control applications by overcoming current development limitations. This paper argues for a requirements-driven development process and an interactive integration framework to mitigate drawbacks set by engineering tools. It shows gaps given by what current tools can provide and what is needed.

关键词： Unified modeling language Software object oriented modeling Automation Computational modeling IEC standards

来源：评论

学校读者我要写书评

暂无评论

Suicide objects

Suicide objects

引用

6th Workshop on Dynamic languages and applications, DYLA'12 - Colocated with 26th European conference on object-oriented programming, ECOOP 2012

作者： Ressia, Jorge Perin, Fabrizio Renggli, Lukas Software Composition Group University of Bern Switzerland

ISBN: (纸本)1595930361

The way programming languages manage memory has been a hot topic for many years. languages with garbage collection (GC) removed the burden of memory management from developers. Typically the garbage collection infrastructure is a black box that developers have no control over. This is particularly striking in object-oriented systems, where objects themselves have no way to control their life and death. Instead an external process (the GC) decides if an object is still needed or not. © 2012 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Supporting object-oriented programming of Semantic-Web Software

引用

IEEE TRANSACTIONS ON systems MAN AND CYBERNETICS PART C-applications AND REVIEWS 2012年第1期42卷 15-24页

作者： Quasthoff, Matthias Meinel, Christoph Univ Potsdam Hasso Plattner Inst D-14469 Potsdam Germany

This paper presents the state of the art in the development of Semantic-Web-enabled software using object-oriented programming languages. object triple mapping (OTM) is a frequently used method to simplify the development of such software. A case study that is based on interviews with developers of OTM frameworks is presented at the core of this paper. Following the results of the case study, the formalization of OTM is kept separate from optional but desirable extensions of OTM with regard to metadata, schema matching, and integration into the Semantic-Web infrastructure. The material that is presented is expected to not only explain the development of Semantic-Web software by the usage of OTM, but also explain what properties of Semantic-Web software made developers come up with OTM. Understanding the latter will be essential to get nonexpert software developers to use Semantic-Web technologies in their software.

关键词： Resource description framework Software Java Data models programming Interviews

来源：评论

学校读者我要写书评

暂无评论

An approach to SysML modeling of IEC 61131-3 control software

An approach to SysML modeling of IEC 61131-3 control softwar...

引用

International conference on Methods and Models in Automation and Robotics (MMAR)

作者： Marcin Jamro Bartosz Trybus Department of Computer and Control Engineering Rzeszow University of Technology Rzeszow Poland

Designing, developing, and maintaining control software is often a complex and difficult task, especially in larger projects. The paper presents a concept of applying the Model-Driven Development approach with SysML modeling to the IEC 61131-3 development process. Four types of diagrams are used to model different aspects of the system: Requirements Diagram, Package Diagram, Block Definition Diagram, and State Machine Diagram. The models represent POUs and their requirements, resources, and tasks. Some POUs can be modeled as state machines as well. The SysML diagrams can be used to generate code templates for the implementation in IEC 61131-3 languages, such as ST or FBD. The paper also describes an extension to the CPDev engineering environment, which integrates the proposed SysML modeling with programming and execution of IEC 61131-3 software. The example of an engine and pump control system is presented to show various stages of the proposed approach.

关键词： IEC standards Unified modeling language Software object oriented modeling Engines Control systems Data structures

来源：评论

学校读者我要写书评

暂无评论

Finding Reusable Data Structures 12

Finding Reusable Data Structures

引用

ACM International conference on object oriented programming systems languages and applications

作者： Xu, Guoqing Univ Calif Irvine Irvine CA 92717 USA

ISBN: (纸本)9781450315616

A big source of run-time performance problems in large-scale, object-oriented applications is the frequent creation of data structures (by the same allocation site) whose lifetimes are disjoint, and whose shapes and data content are always the same. Constructing these data structures and computing the same data values many times is expensive;significant performance improvements can be achieved by reusing their instances, shapes, and/or data values rather than reconstructing them. This paper presents a run-time technique that can be used to help programmers find allocation sites that create such data structures to improve performance. At the heart of the technique are three reusability definitions and novel summarization approaches that compute summaries for data structures based on these definitions. The computed summaries are used subsequently to find data structures that have disjoint lifetimes, and/or that have the same shapes and content. We have implemented this technique in the Jikes RVM and performed extensive studies on large-scale, real-world programs. We describe our experience using six case studies, in which we have achieved large performance gains by fixing problems reported by our tool.

关键词： Language Measurements Performance object reuse data structure encoding memory management performance optimization

来源：评论

学校读者我要写书评

暂无评论

Tool support for an automatic transformation of GRAFCET specifications into IEC 61131-3 control code

Tool support for an automatic transformation of GRAFCET spec...

引用

International conference on Emerging Technologies and Factory Automation (ETFA)

作者： Frank Schumacher Sebastian Schröck Alexander Fay Institute of Automation Technology Helmut Schmidt University Hamburg Germany

GRAphe Fonctionnel de Commande Etape Transition (GRAFCET) is a powerful graphical modeling language for the specification of discrete event systems and an international standard since 1988. Since GRAFCET is a specification language and not a programming language, a GRAFCET specification (Grafcet) still has to be interpreted manually, e.g. as a Programmable Logic Controller (PLC) program according to IEC 61131-3. For this reason, the authors subsequently present a tool prototype, which allows the development of a Grafcet according to IEC 60848 definitions and additionally offers the opportunity to automatically generate IEC 61131-3 compliant control code. To facilitate tool integration into industrial applications, the prototype is based on a widely-used office software.

关键词： IEC standards XML Automation Software object oriented modeling Shape

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：