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

3rd International conference on Innovative Network systems and applications (iNetSApp) held in conjunction with Federated conference on Computer Science and Information systems (FedCSIS)

作者： Fernandez-Isabel, Alberto Fuentes-Fernandez, Ruben Univ Complutense Madrid Madrid Spain

ISBN: (纸本)9788360810668

Road traffic is a pervasive aspect in modern societies that affects millions people. The study of its multiple aspects is a very demanding task. Due to its complexity, traffic simulations become a key tool. Their development demands multidisciplinary teams, where communication problems are frequent. Model-driven engineering alleviates this situation providing graphical instruments for designing Modelling languages (MLs) and semiautomatic transformations. This work presents a model-driven infrastructure composed by an integrative ML, a model editor, and a code generator. The ML is based on related literature and facilitates modelling different theories and simulations based on them. It considers the roles of individuals involved in road traffic, and partially adopts agent-based methodologies to model their decision-making. A case study shows how to produce a simulation specification adapting an existing traffic theory to the ML, and adjust this specification to a simulation platform for testing. It provides the basis for comparison with related work.

关键词： program compilers road traffic control agent-based methodologies code generator communication problems decision-making graphical instruments integrative ML design integrative modelling language development model editor model-driven engineering model-driven infrastructure modelling language design multidisciplinary teams road traffic simulation enhancement semiautomatic transformations simulation specification Actuators Adaptation models Biological system modeling Generators object oriented modeling Roads Vehicles

来源：评论

学校读者我要写书评

暂无评论

Building a hybrid systems modeler from synchronous language principles

Building a hybrid systems modeler from synchronous language ...

引用

Proceedings of the International conference on Embedded Software (EMSOFT)

作者： Marc Pouzet D1 Ecole normale superieure

Hybrid systems modeling languages are widely used in the development of embedded systems. Two representatives are Simulink/Stateflow 1 that combine Ordinary Differential Equations (ODEs), data-flow and difference equations, hierarchical automata a la StateCharts [14] together with imperative features; and the Modelica language [1] 2 based on DAEs with features for modeling discrete components. Ptolemy II 3 is another example in which several models of computation are combined [15]. The formal verification of hybrid systems has been extensively studied [9]. Yet, we share the viewpoint of Lee and Zheng that hybrid modeling languages are best viewed as programming languages that happen to have a hybrid systems semantics [16, 17]. This raises important questions related to their design, semantics and implementation, to get efficient and reliable simulations as well as provably equivalent embedded target code. While sequential code generation in hybrid modeling tools is routinely used for efficient simulation, it is little used or not used at all to produce target embedded code in critical applications that are submitted to strong safety requirements. This results in a break in the development chain: parts of applications must be rewritten into sequential code and all properties verified on the source model cannot be trusted and have to be reverified on the target code.

关键词： Computational modeling Mathematical model Semantics object oriented modeling Embedded systems Automata Computer languages

来源：评论

学校读者我要写书评

暂无评论

Extracting UML Class Diagrams from object-oriented Fortran: ForUML

引用

SCIENTIFIC programming 2015年第1期2015卷 15-15页

作者： Nanthaamornphong, Aziz Carver, Jeffrey Morris, Karla Filippone, Salvatore Prince Songkla Univ Dept Informat & Commun Technol Phuket 83120 Thailand Univ Alabama Dept Comp Sci Tuscaloosa AL 35487 USA Sandia Natl Labs Livermore CA 94550 USA Univ Roma Tor Vergata Dept Civil & Comp Engn I-00173 Rome Italy

Many scientists who implement computational science and engineering software have adopted the object-oriented (OO) Fortran paradigm. One of the challenges faced by OO Fortran developers is the inability to obtain high level software design descriptions of existing applications. Knowledge of the overall software design is not only valuable in the absence of documentation, it can also serve to assist developers with accomplishing different tasks during the software development process, especially maintenance and refactoring. The software engineering community commonly uses reverse engineering techniques to deal with this challenge. A number of reverse engineering-based tools have been proposed, but few of them can be applied to OO Fortran applications. In this paper, we propose a software tool to extract unified modeling language (UML) class diagrams from Fortran code. The UML class diagram facilitates the developers' ability to examine the entities and their relationships in the software system. The extracted diagrams enhance software maintenance and evolution. The experiments carried out to evaluate the proposed tool show its accuracy and a few of the limitations.

关键词： Computer programming languages Software Tools Reverse engineering Software design Software maintenance Software systems object orientation UML engineering software

来源：评论

学校读者我要写书评

暂无评论

A comparison of mechanisms for integrating handwritten and generated code for object-oriented programming languages

A comparison of mechanisms for integrating handwritten and g...

引用

International conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Timo Greifenberg Katrin Hölldobler Carsten Kolassa Markus Look Pedram Mir Seyed Nazari Klaus Müller Antonio Navarro Perez Dimitri Plotnikov Dirk Reiss Alexander Roth Bernhard Rumpe Martin Schindler Andreas Wortmann Rheinisch-Westfalische Technische Hochschule Aachen Aachen Nordrhein-Westfalen DE Technische Universitat Braunschweig Braunschweig Niedersachsen DE

Code generation from models is a core activity in model-driven development (MDD). For complex systems it is usually impossible to generate the entire software system from models alone. Thus, MDD requires mechanisms for integrating generated and handwritten code. Applying such mechanisms without considering their effects can cause issues in projects with many model and code artifacts, where a sound integration for generated and handwritten code is necessary. We provide an overview of mechanisms for integrating generated and handwritten code for object-oriented languages. In addition to that, we define and apply criteria to compare these mechanisms. The results are intended to help MDD tool developers in choosing an appropriate integration mechanism.

关键词： Generators object oriented modeling Unified modeling language object oriented programming Concrete Model-driven development Software

来源：评论

学校读者我要写书评

暂无评论

Scalable Race Detection for Android applications

引用

ACM SIGPLAN NOTICES 2015年第10期50卷 332-348页

作者： Bielik, Pavol Raychev, Veselin Vechev, Martin Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland

We present a complete end-to-end dynamic analysis system for finding data races in mobile Android applications. The capabilities of our system significantly exceed the state of the art: our system can analyze real-world application interactions in minutes rather than hours, finds errors inherently beyond the reach of existing approaches, while still (critically) reporting very few false positives. Our system is based on three key concepts: (i) a thorough happens-before model of Android-specific concurrency, (ii) a scalable analysis algorithm for efficiently building and querying the happens-before graph, and (iii) an effective set of domain-specific filters that reduce the number of reported data races by several orders of magnitude. We evaluated the usability and performance of our system on 3 5 4 real-world Android applications (e.g., Facebook). Our system analyzes a minute of end-user interaction with the application in about 2 4 seconds, while current approaches take hours to complete. Inspecting the results for 8 large open-source applications revealed 1 5 harmful bugs of diverse kinds. Some of the bugs we reported were confirmed and fixed by developers.

关键词： Data Races Happens-before Android Non-determinism

来源：评论

学校读者我要写书评

暂无评论

Scalable and precise static analysis of JavaScript applications via loop-sensitivity 29

Scalable and precise static analysis of JavaScript applicati...

引用

29th European conference on object-oriented programming, ECOOP 2015

作者： Park, Changhee Ryu, Sukyoung Department of Computer Science KAIST Daejeon Korea Republic of

ISBN: (纸本)9783939897866

The numbers and sizes of JavaScript applications are ever growing but static analysis techniques for analyzing large-scale JavaScript applications are not yet ready in a scalable and precise manner. Even when building complex software like compilers and operating systems in JavaScript, developers do not get much benefits from existing static analyzers, which suffer from mutually intermingled problems of scalability and imprecision. In this paper, we present Loop-Sensitive Analysis (LSA) that improves the analysis scalability by enhancing the analysis precision in loops. LSA distinguishes loop iterations as many as needed by automatically choosing loop unrolling numbers during analysis. We formalize LSA in the abstract interpretation framework and prove its soundness and precision theorems using Coq. We evaluate our implementation of LSA using the analysis results of main web pages in the 5 most popular websites and those of the programs that use top 5 JavaScript libraries, and show that it outperforms the state-of-the-art JavaScript static analyzers in terms of analysis scalability. Our mechanization and implementation of LSA are both publicly available. © Changhee Park and Sukyoung Ryu;.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Cross-Layer Memory Management for Managed Language applications

引用

ACM SIGPLAN NOTICES 2015年第10期50卷 488-504页

作者： Jantz, Michael R. Robinson, Forrest J. Kulkarni, Prasad A. Doshi, Kshitij A. Univ Tennessee Knoxville TN 37996 USA Univ Kansas Lawrence KS 66045 USA Intel Corp Santa Clara CA 95051 USA

Performance and energy efficiency in memory have become critically important for a wide range of computing domains. However, it is difficult to control and optimize memory power and performance because these effects depend upon activity across multiple layers of the vertical execution stack. To address this challenge, we construct a novel and collaborative framework that employs object placement, cross-layer communication, and page-level management to effectively distribute application objects in the DRAM hardware to achieve desired power/performance goals. In this work, we describe the design and implementation of our framework, which is the first to integrate automatic object profiling and analysis at the application layer with fine-grained management of memory hardware resources in the operating system. We demonstrate the utility of our framework by employing it to more effectively control memory power consumption. We design a custom memory-intensive workload to show the potential of our approach. Next, we develop sampling and profiling-based analyses and modify the code generator in the HotSpot VM to understand object usage patterns and automatically determine and control the placement of hot and cold objects in a partitioned VM heap. This information is communicated to the operating system, which uses it to map the logical application pages to the appropriate DRAM ranks according to user-defined provisioning goals. We evaluate our framework and find that it achieves our test goal of significant DRAM energy savings across a variety of workloads, without any source code modifications or recompilations.

关键词： Design Experimentation Performance Cross-layer Power Efficiency DRAM HotSpot

来源：评论

学校读者我要写书评

暂无评论

Graphical debugging of distributed applications: Using UML object diagrams to visualize the state of distributed applications at runtime

Graphical debugging of distributed applications: Using UML o...

引用

International conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Andreas Koch Albert Zündorf Software Engineering Research Institute Kassel University Kassel Germany

While debugging is one of the most time consuming tasks software developers perform, the tool support, especially for distributed applications, is lacking according to many professional developers. The Visual Debugger is an approach to provide an easy-to-use tool which gives software developers an abstract view on the current state of their application in debugging sessions. While similar tools for non distributed applications already exist, the Visual Debugger addresses the more complex debugging scenarios in distributed applications. Therefore, several views with different levels of abstraction of the current state of an application are provided. Although the approach may be adapted to other object oriented programming languages, the current target of the Visual Debugger is languages running on the Java Virtual Machine with the focus on Java.

关键词： Visualization Debugging Java Unified modeling language Runtime Synchronization Software

来源：评论

学校读者我要写书评

暂无评论

Stateless Model Checking of Event-Driven applications

引用

ACM SIGPLAN NOTICES 2015年第10期50卷 57-73页

作者： Jensen, Casper S. Moller, Anders Raychev, Veselin Dimitrov, Dimitar Vechev, Martin Aarhus Univ Dept Comp Sci DK-8000 Aarhus C Denmark Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland

Modern event-driven applications, such as, web pages and mobile apps, rely on asynchrony to ensure smooth end-user experience. Unfortunately, even though these applications are executed by a single event-loop thread, they can still exhibit nondeterministic behaviors depending on the execution order of interfering asynchronous events. As in classic shared-memory concurrency, this nondeterminism makes it challenging to discover errors that manifest only in specific schedules of events. In this work we propose the first stateless model checker for event-driven applications, called R4. Our algorithm systematically explores the nondeterminism in the application and concisely exposes its overall effect, which is useful for bug discovery. The algorithm builds on a combination of three key insights: (i) a dynamic partial order reduction (DPOR) technique for reducing the search space, tailored to the domain of event-driven applications, (ii) conflict-reversal bounding based on a hypothesis that most errors occur with a small number of event reorderings, and (iii) approximate replay of event sequences, which is critical for separating harmless from harmful nondeterminism. We instantiate R4 for the domain of client-side web applications and use it to analyze event interference in a number of real-world programs. The experimental results indicate that the precision and overall exploration capabilities of our system significantly exceed that of existing techniques.

关键词： Model checking partial order reduction data races web applications event-driven applications

来源：评论

学校读者我要写书评

暂无评论

7th International Joint conference on Biomedical Engineering systems and Technologies, BIOSTEC 2014

7th International Joint Conference on Biomedical Engineering...

引用

7th International Joint conference on Biomedical Engineering systems and Technologies, BIOSTEC 2014

ISBN: (纸本)9783319261287

The proceedings contain 25 papers. The special focus in this conference is on Biomedical Electronics and Devices. The topics include: A complex challenge turned into an important clinical tool;simple fabrication method of micro-fluidic devices with thick resist flow paths designed arbitrarily using versatile computer aided design tools;design of a wearable remote neonatal health monitoring device;novel wireless systems for telemedicine and body area networks applications;impact of threshold computation methods in hardware wavelet denoising implementations for neural signal processing;development of concurrent object-oriented logic programming platform for the intelligent monitoring of anomalous human activities;automatic extraction and selection of coherent regions in FDG-PET images;model based quantification of tissue structural properties using optical coherence tomography;formulation of homeostasis by realisability on linear temporal logic;interaction-based aggregation of mRNA and miRNA expression profiles to differentiate myelodysplastic syndrome;a computational pipeline to identify new potential regulatory motifs in melanoma progression;empirical study of domain adaptation algorithms on the task of splice site prediction;automatic extraction of highly predictive sequence features that incorporate contiguity and mutation;exploring expiratory flow dynamics to understand chronic obstructive pulmonary disease;velar movement assessment for speech interfaces;observer design for a nonlinear minimal model of glucose disappearance and insulin kinetics;comparison of angle measurements between integral-based and quaternion-based methods using inertial sensors for gait evaluation and using illumination changes to synchronize eye tracking in visual paradigms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：