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

Eurocon

作者： José A. Delgado-Penín Department TSC UPC BarcelonaTECH Barcelona Spain

Simulation plays an important role in computer-aided analysis and design of communication systems. This paper is related with an historical perspective of the Radio Communication systems (RCS) simulation from the early history in the 50's of 20 th century to the present. In describing the history of simulation five distinct periods may be identified: early history, pioneering, innovation, revolution and evolution. Digital signal processing and programming languages were decisive in the simulation technical advance in each period. Time intervals roughly equate to a single decade, starting from the late 1950s to 2015.

关键词： Computational modeling object oriented modeling Computers Analytical models Solid modeling Software History

来源：评论

学校读者我要写书评

暂无评论

CGL: A domain specific language for constraint generation

CGL: A domain specific language for constraint generation

引用

International conference on Computer Engineering and systems

作者： Marwa A. Elmenyawi Mostafa E. A. Ibrahim Cherif Salama I. M. Hafez Benha Faculty of Engineering Benha University Benha Egypt Faculty of Engineering Ain Shams University Cairo Egypt

Integer linear programming solvers are used to solve a wide variety of problems emerging in diverse domains. However, automatically generating the integer linear equations that are used as input for the solvers remains a challenging task. This paper proposes a domain specific language called CGL that can be used to describe the equations in a concise manner. In addition to the proposed language implementation, the syntax and semantics of CGL are formally given. The paper demonstrates the usefulness of CGL using a motivating example.

关键词： DSL Mathematical model object oriented modeling Semantics Syntactics Computer languages Production

来源：评论

学校读者我要写书评

暂无评论

Fostering Functional Safety of Real-time systems with Concepts of object Orientation 19

Fostering Functional Safety of Real-time Systems with Concep...

引用

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

作者： Houben, Christina K. Fernuniv Chair Comp Engn Hagen Germany

ISBN: (纸本)9781479950812

Hard-wired control systems are increasingly replaced by program-controlled embedded systems. The programming languages currently employed for their implementation lack constructs and design patterns enforcing intelligible code fostering its verification by certification authorities. Recommendations for such constructs necessary to guarantee safety integrity are given in the international standard IEC 61508-3. One of the recommendations refers to object-oriented programming (OOP). Therefore, we analyse both basic and advanced properties of OOP like encapsulation, polymorphism, inheritance, prototyping, delegation etc. with respect to functional safety. In a resulting programming language based on PEARL90 [1] we demonstrate coding with examples from hard real-time systems.

关键词： IEC standards control engineering computing embedded systems object-oriented programming program verification safety-critical software OOP PEARL90 certification authorities design patterns functional safety hard real-time systems hard-wired control systems intelligible code international standard IEC 61508-3 object orientation program-controlled embedded systems programming languages safety integrity verification Computer languages Concrete Prototypes Real-time systems Runtime Safety Software object oriented programming Computer programming languages object orientation real-time systems hard real-time system design pattern control engineering computing IEC publications safety-critical software program verification Runtime Embedded systems Consumer safety safety PROTOTYPE

来源：评论

学校读者我要写书评

暂无评论

On-Device objective-C Application Optimization Framework for High-Performance Mobile Processors

On-Device Objective-C Application Optimization Framework for...

引用

Design, Automation and Test in Europe conference and Exhibition (DATE)

作者： Bournoutian, Garo Orailoglu, Alex Univ Calif San Diego La Jolla CA 92093 USA

ISBN: (纸本)9783981537024

Smartphones provide applications that are increasingly similar to those of interactive desktop programs, providing rich graphics and animations. To simplify the creation of these interactive applications, mobile operating systems employ high-level object-oriented programming languages and shared libraries to manipulate the device's peripherals and provide common user-interface frameworks. The presence of dynamic dispatch and polymorphism allows for robust and extensible application coding. Unfortunately, the presence of dynamic dispatch also introduces significant overheads during method calls, which directly impact execution time. Furthermore, since these applications rely heavily on shared libraries and helper routines, the quantity of these method calls is higher than those found in typical desktop-based programs. Optimizing these method calls centrally before consumers download the application onto a given phone is exacerbated due to the large diversity of hardware and operating system versions that the application could run on. This paper proposes a methodology to tailor a given objective-C application and its associated device-specific shared library codebase using on-device post-compilation code optimization and transformation. In doing so, many polymorphic sites can be resolved statically, improving the overall application performance.

关键词： mobile computing object-oriented languages object-oriented programming optimisation smart phones objective-C application device-specific shared library codebase high-level object-oriented programming languages high-performance mobile processors mobile operating systems on-device post-compilation code optimization on-device post-compilation code transformation polymorphic sites smartphones Hardware Libraries Mobile communication Operating systems Optimization Program processors Sensors

来源：评论

学校读者我要写书评

暂无评论

Semantic queries in BPMN 2.0: a contemporary method for Information Retrieval

Semantic queries in BPMN 2.0: a contemporary method for Info...

引用

International conference on Information, Intelligence, systems and applications

作者： Eleni-Maria Kalogeraki Themis Panayiotopoulos Dimitris Apostolou Department of Informatics University of Piraeus 80 Karaoli & Dimitriou str. Piraeus Greece

ISBN: (纸本)9781467393126

The rapid evolution of technology in Management Information systems has enabled easy access to a huge amount of complex and specialized business information. The vast amount of business information has created the needfor investigating ways to improve the efficiency and effectiveness of information retrieval techniques for querying business information. Among the different types of business information, information about business processes has been leveraged with dedicated languages, methods and tools. Business Process Management Notation (BPMN) is an international standard for modeling business processes. In this paper, we first develop the appropriate business process models of a complex real-life scenario using BPMN and we then represent process models in the form of an ontology business process model We, next, query the two models with the same queries: the BPMN model using a query language for object-oriented databases and the semantic model using the SPARQL ontology-based search language. We compare the two query methods, discuss the results and explain the benefits of using semantics-based information retrieval techniques when dealing with business process information.

关键词： BPMN ontology business process model semantic model query language semantic-based search semantic queries object-oriented database business information Information Retrieval

来源：评论

学校读者我要写书评

暂无评论

ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access

引用

ACM SIGPLAN NOTICES 2015年第10期50卷 316-331页

作者： Brutschy, Lucas Ferrara, Pietro Tripp, Omer Pistoia, Marco Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland IBM Thomas J Watson Res Ctr Yorktown Hts NY USA

Given a program whose functionality depends on access to certain external resources, we investigate the question of how to gracefully degrade functionality when a subset of those resources is unavailable. The concrete setting motivating this problem statement is mobile applications, which rely on contextual data (e.g., device identifiers, user location and contacts, etc.) to fulfill their functionality. In particular, we focus on the Android platform, which mediates access to resources via an installation-time permission model. On the one hand, granting an app the permission to access a resource (e.g., the device ID) entails privacy threats (e.g., releasing the device ID to advertising servers). On the other hand, denying access to a resource could render the app useless (e.g., if inability to read the device ID is treated as an error state). Our goal is to specialize an existing Android app in such a way that it is disabled from accessing certain sensitive resources (or contextual data) as specified by the user, while still being able to execute functionality that does not depend on those resources. We present SHAMDROID, a program transformation algorithm, based on specialized forms of program slicing, backwards static analysis and constraint solving, that enables the use of Android apps with partial permissions. We rigorously state the guarantees provided by SHAMDROID w.r.t. functionality maximization. We provide an evaluation over the top 500 Google Play apps and report on an extensive comparative evaluation of SHAMDROID against three other state-of-theart solutions (APM, XPrivacy, and Google App Ops) that mediate resource access at the system (rather than app) level. SHAMDROID performs better than all of these tools by a significant margin, leading to abnormal behavior in only 1 out of 27 apps we manually investigated, compared to the other solutions, which cause crashes and abnormalities in 9 or more of the apps. This demonstrates the importance of performing a

关键词： Security Verification Static Program Analysis Android applications Privacy

来源：评论

学校读者我要写书评

暂无评论

Applying use case driven UML-based comet method for autonomous flight management on IMA platform

Applying use case driven UML-based comet method for autonomo...

引用

conference on Digital Avionics systems (DASC)

作者： Francesca Maria Pisano Centro Italiano Ricerche Aerospaziali Capua Campania IT

Within the research activities of the Italian Aerospace Research Centre (CIRA), we have experimented with the adoption of modern Software (SW) engineering methodologies. Modeling languages such as systems Modeling Language (SysML) and Unified Modeling Language (UML) were used to develop highly complex and innovative SW applications dedicated to autonomous flight management for Unmanned Air systems (UAS). The goal of CIRA was to implement an Autonomy Management (AM) System prototype based on Integrated Modular Avionics (IMA). The hosted SW modules, a Flight Management System (FMS) and Health Management System (HMS), were closely interconnected and interacted with several external actors in order to allow the UAS target to execute the mission independently and correctly. This white paper illustrates the main activities performed and results obtained when applying the Collaborative object Modeling and Architectural Design Method (COMET) of H. Gomaa to carry out the black-box analysis of FMS and HMS software applications and also SW emulators needed for conducting tests.

关键词： Unified modeling language object oriented modeling Software Context Analytical models Aerospace electronics

来源：评论

学校读者我要写书评

暂无评论

A novel development paradigm for event-based applications

A novel development paradigm for event-based applications

引用

International conference on Innovations for Community Services (I4CS)

作者： Jörg Roth Faculty of Computer Science Nuremberg Institute of Technology Nuremberg Germany

Application development for highly dynamic and unpredictable scenarios still is a difficult and time-consuming task. This in particular is a problem in the area of robotics: if a certain task should be executed, many asynchronous events can prevent a plan from its termination. In contrast to applications in e.g. office scenarios, interruption as a result of unexpected conditions is the normal case. In this paper we present a novel development approach. It supports graphical programming and allows a developer to easily formulate complex tasks. The model covers both the flow of actions and the flow of data in a single representation. In addition, it simplifies the modeling of interruptions and asynchronous events. We implemented and tested the approach with our Carbot platform.

关键词： Runtime Interrupters Robot sensing systems programming profession object oriented modeling

来源：评论

学校读者我要写书评

暂无评论

Static Analysis for Independent App Developers 14

Static Analysis for Independent App Developers

引用

2014 ACM International conference on object-oriented-programming-systems-languages-and-applications (OOPSLA 14)

作者： Brutschy, Lucas Ferrara, Pietro Mueller, Peter Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland IBM Thomas J Watson Res Ctr Yorktown Hts NY USA

ISBN: (纸本)9781450325851

Mobile app markets have lowered the barrier to market entry for software producers. As a consequence, an increasing number of independent app developers offer their products, and recent platforms such as the MIT App Inventor and Microsoft's TouchDevelop enable even lay programmers to develop apps and distribute them in app markets. A major challenge in this distribution model is to ensure the quality of apps. Besides the usual sources of software errors, mobile apps are susceptible to errors caused by the non-determinism of an event-based execution model, a volatile environment, diverse hardware, and others. Many of these errors are difficult to detect during testing, especially for independent app developers, who are not supported by test teams and elaborate test infrastructures. To address this problem, we propose a static program analysis that captures the specifics of mobile apps and is efficient enough to provide feedback during the development process. Experiments involving 51,456 published TouchDevelop scripts show that our analysis analyzes 98% of the scripts in under a minute, and five seconds on average. Manual inspection of the analysis results for a selection of all scripts shows that most of the alarms are real errors.

关键词： languages Reliability Verification Abstract Interpretation Static Program Analysis Mobile applications TouchDevelop

来源：评论

学校读者我要写书评

暂无评论

DPX10: An Efficient X10 Framework for Dynamic programming applications

DPX10: An Efficient X10 Framework for Dynamic Programming Ap...

引用

International conference on Parallel Processing (ICPP)

作者： Chen Wang Ce Yu Jizhou Sun Xiangfei Meng School of Computer Science and Technology Tianjin University Tianjin China College of Computer and Control Engineering National Supercomputer Center in Tianjin Tianjin China

ISBN: (纸本)9781467375887

X10 language and Asynchronous Partitioned Global Address Space (APGAS) model is an emerging mechanism for programming high-performance computers and commodity clusters. However, little work exists on distributed programming framework for dynamic programming (DP) problems based on X10 and APGAS model. In this paper we present DPX10, an efficient distributed X10 framework for DP applications. DPX10 enables developers to write highly efficient DP programs without much effort. A DPX10 program is specified by a directed acyclic graph (DAG) pattern and a compute method for the vertices. DPX10 provides eight commonly used DAG patterns and a simple API to create custom patterns. The system handles all the tiresome work of implementing parallelization including DAG distribution, vertices scheduling, and vertices communication. Moreover, a new recovery method for distributed arrays is developed to provide transparent fault tolerance. We describe the design of the framework and use four DP applications with up to a billion vertices on 120 cores to demonstrate its simplicity, efficiency, and scalability.

关键词： programming Computational modeling Libraries Dynamic programming object oriented modeling Fault tolerance Fault tolerant systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：