Filters








38,477 Hits in 3.9 sec

On Unifying Development Models And Runtime Models

Thomas Vogel, Holger Giese
2014 Zenodo  
Models@run.time research primarily focuses on developing and using self-representations, that is, runtime models reflecting running software systems.  ...  Both issues require the integration of development (or maintenance) models and runtime models.  ...  and based on runtime models.  ... 
doi:10.5281/zenodo.1248934 fatcat:6e3upk2v7rcvfoepidodfsly7q

Unified Compile-Time and Runtime Java Annotation Processing

Peter Pigula, Milan Nosáľ
2015 Proceedings of the 2015 Federated Conference on Computer Science and Information Systems  
Based on this proposal, we design a unified Java language model and present a prototype tool which can populate a unified model during both compilation and runtime.  ...  In this paper, we examine the differences between those representations and we discuss options on how to unify these models along with advantages and disadvantages of this approach.  ...  using this unified model to complete the task. • Unified model during runtime -using the tool to create unified model during runtime and using this unified model to complete the task.  ... 
doi:10.15439/2015f179 dblp:conf/fedcsis/PigulaN15 fatcat:anxucqph5bezhors5gf3k4lvgu

Towards a Model-Defined Cloud-of-Clouds

Bo An, Xiaodong Zhang, Mauricio Tsugawa, Ying Zhang, Chun Cao, Gang Huang, Jose Fortes
2015 2015 IEEE Conference on Collaboration and Internet Computing (CIC)  
In this paper, we present a model-defined approach to the development of a Cloud of Clouds, and a real case study to demonstrate its feasibility.  ...  reliability and cost efficiency.  ...  From this perspective, there's no difference between developing based on system management interfaces with developing based on runtime models in regards to feasibility.  ... 
doi:10.1109/cic.2015.21 dblp:conf/coinco/AnZTZC0F15 fatcat:ycgtbgs2tjdozco5kcpidn3wca

Runtime Model Based Management of Diverse Cloud Resources [chapter]

Xiaodong Zhang, Xing Chen, Ying Zhang, Yihan Wu, Wei Yao, Gang Huang, Qiang Lin
2013 Lecture Notes in Computer Science  
Based on the runtime models of OpenStack and Hyperic, Jade Cloud can manage both the infrastructure and software resources in a unified manner. Demo link: https://www.youtube.com/watch?v=o2SiTGL689Q  ...  However, the difficulty and workload of redevelopment are also very high. This paper demonstrates Jade Cloud, which is a runtime model based Cloud management system.  ...  Based on the runtime models of Open-Stack and Hyperic, it implements the unified management of both resources through runtime model construction, model merge and model transformation.  ... 
doi:10.1007/978-3-642-41533-3_35 fatcat:hz5hmzsd5vhybid6ftajfsmqfm

Unifying design and runtime software adaptation using aspect models

Carlos Parra, Xavier Blanc, Anthony Cleve, Laurence Duchien
2011 Science of Computer Programming  
This article introduces an approach to unify adaptation at design and at runtime based on Aspect Oriented Modeling.  ...  Our approach proposes a unified aspect metamodel and a platform that realizes two different weaving processes to achieve design and runtime adaptations.  ...  This work is funded by the Conseil Régional Nord-Pas-de-Calais, Oseo/ANVAR, and the Fonds Unique Interministériel, under the CAPPUCINO project.  ... 
doi:10.1016/j.scico.2010.12.005 fatcat:cv5tmfst3nebbitpd66oqegvc4

TOWARDS A MODEL-DEFINED CLOU-OF-CLOUDS

2015 Services Transactions on Cloud Computing  
The runtime model of a CCMan system that meets custom management requirements is constructed through model construction, model merging and model transformation.  ...  This paper presents a model---defined approach to the development of a cloud---of---clouds management (abbreviated as CCMan) system.  ...  From this perspective, there is no difference between development based on system management interfaces and development based on runtime models in regards to feasibility.  ... 
doi:10.29268/stcc.2015.3.2.3 fatcat:eelwskdwqjaqtjn7prwkkfo4pe

TOWARDS A MODEL-DEFINED CLOUD-OF-CLOUDS

2016 Services Transactions on Cloud Computing  
The runtime model of a CCMan system that meets custom management requirements is constructed through model construction, model merging and model transformation.  ...  This paper presents a model-defined approach to the development of a cloud-of-clouds management (abbreviated as CCMan) system.  ...  From this perspective, there is no difference between development based on system management interfaces and development based on runtime models in regards to feasibility.  ... 
doi:10.29268/stcc.2016.4.2.1 fatcat:zvvkx22dcncmxl6qtdysusndqu

TOWARDS A MODEL-DEFINED CLOUD-OF-CLOUDS

Bo An, Zhicheng Cui, Mauricio Tsugawa, Ying Zhang, Xuanzhe Liu, Joséa.B. Fortes
2016 Services Transactions on Cloud Computing  
The runtime model of a CCMan system that meets custom management requirements is constructed through model construction, model merging and model transformation.  ...  This paper presents a model-defined approach to the development of a cloud-of-clouds management (abbreviated as CCMan) system.  ...  From this perspective, there is no difference between development based on system management interfaces and development based on runtime models in regards to feasibility.  ... 
doi:10.29268/stcc.2016.0004 fatcat:w3q7qtbamfbvhn5g3otpjs5bve

Management of Intelligent Campus Wireless Sensor Networks Based on Runtime Model

Ping Zhang, Jianzhong Wang
2015 Journal of Computer and Communications  
To quick customize and develop intelligent campus internet of things (ICIOT) system more efficiently, in this paper an approach based on runtime model to managing intelligent campus wireless sensor networks  ...  Then, a composite model of intelligent campus wireless sensors is constructed through merging their runtime models in order to manage different kinds of devices in a unified way.  ...  Secondly based on the runtime model the data collected by different sensing devices of intelligent campus is combined, (including model extraction and merging), realizing the unified management for different  ... 
doi:10.4236/jcc.2015.37003 fatcat:2mfcnk57fbeyrd6ykulvk22qbi

Unifying Runtime Adaptation and Design Evolution

Brice Morin, Thomas Ledoux, Mahmoud Ben Hassine, Franck Chauvel, Olivier Barais, Jean-Marc Jezequel
2009 2009 Ninth IEEE International Conference on Computer and Information Technology  
We propose to unify run-time adaptation and run-time evolution by monitoring both the run-time platform and the design models.  ...  A flood prediction system deployed along the Ribble river (Yorkshire, England) is used to illustrate how to unify design evolution and run-time adaptation and to safely perform runtime evolution on adaptive  ...  UNIFYING RUNTIME ADAPTATION AND DESIGN EVOLUTION WildCAT is a generic monitoring framework for developing context-aware applications [9] .  ... 
doi:10.1109/cit.2009.94 dblp:conf/IEEEcit/MorinLHCBJ09 fatcat:rihilod7evfdtmnbtqodjmt5ha

WeNet: Production oriented Streaming and Non-streaming End-to-End Speech Recognition Toolkit [article]

Zhuoyuan Yao, Di Wu, Xiong Wang, Binbin Zhang, Fan Yu, Chao Yang, Zhendong Peng, Xiaoyu Chen, Lei Xie, Xin Lei
2021 arXiv   pre-print
After model quantification, our model perform reasonable RTF and latency.  ...  In this paper, we propose an open source, production first, and production ready speech recognition toolkit called WeNet in which a new two-pass approach is implemented to unify streaming and non-streaming  ...  Runtime benchmark This section will show the quantization, RTF, and latency benchmarks on the unified model M2 described above.  ... 
arXiv:2102.01547v5 fatcat:pfgprq2khrf6dotsr3rwivg4n4

HALO 1.0: A Hardware-agnostic Accelerator Orchestration Framework for Enabling Hardware-agnostic Programming with True Performance Portability for Heterogeneous HPC [article]

Michael Riera, Erfan Bank Tavakoli, Masudul Hassan Quraishi, Fengbo Ren
2022 arXiv   pre-print
The experiment results of evaluating eight widely used HPC subroutines based on Intel Xeon E5-2620 CPUs, Intel Arria 10 GX FPGAs, and NVIDIA GeForce RTX 2080 Ti GPUs show that HALO 1.0 allows for a unified  ...  There are currently five virtualization agents developed in HALO 1.0: one for Intel CPU-based libraries, Intel CPU OpenCL/SyCL runtimes, NVIDIA CUDA/Thrust runtimes, NVIDIA GPU OpenCL runtimes, and Intel  ...  the host code while unifying the programming model for scaling up and out the application.  ... 
arXiv:2011.10896v5 fatcat:zkiehvqjlzdpfiyfljhf7js54y

Unification of verification and validation methods for software systems: progress report and initial case study formulation

J.C. Browne, C. Lin, K. Kane, Yoonsik Cheon, P. Teller
2006 Proceedings 20th IEEE International Parallel & Distributed Processing Symposium  
This paper presents initial research on unification of methods for verification and validation (V&V)of software systems. The synergism among methods for V&V are described.  ...  The initial steps of a case study of application of the unified approach to V&V is sketched including definition of the problem domain, the approach and some details of a property specification language  ...  It is also noteworthy that the hardware development community has begun to unify verification by integrating simulation and model checking techniques [1].  ... 
doi:10.1109/ipdps.2006.1639582 dblp:conf/ipps/BrowneLKCT06 fatcat:dhgbuo5xlbdb5dxifdszcmkt74

On Marrying Model-driven Engineering and Process Mining: A Case Study in Execution-based Model Profiling

Alexandra Mazak, Manuel Wimmer
2016 International Symposium on Data-Driven Process Discovery and Analysis  
In the course of a case study, we implement a preliminary prototype of our framework based on a traffic light system example which shows the feasibility and benefits of our execution-based model profiling  ...  For this purpose we combine techniques of process mining (PM) with runtime models of MDE.  ...  Acknowledgment This work has been supported by the Austrian Science Fund (FWF): P 28519-N31 and by the Austrian Research Promotion Agency (FFG) within the project "InteGra 4.0 -Horizontal and Vertical  ... 
dblp:conf/simpda/MazakW16 fatcat:v7byoenzojhtrphmqizmb3vasa

From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques

Kristin Yvonne Rozier
2019 2019 Spring Simulation Conference (SpringSim)  
Modern safety-critical systems, such as aircraft and spacecraft, crucially depend on rigorous verification, from design time to runtime.  ...  ABSTRACT Modern safety-critical systems, such as aircraft and spacecraft, crucially depend on rigorous verification, from design time to runtime.  ...  Jones, Giles Reger, and Joseph Zambreno for constructive feedback on earlier drafts of this paper.  ... 
doi:10.23919/springsim.2019.8732915 dblp:conf/springsim/Rozier19 fatcat:xpkq4w5lf5b3xbpq2wzoizvtqi
« Previous Showing results 1 — 15 out of 38,477 results