Visualization model validation via inline replication
نویسندگان
چکیده
منابع مشابه
Visual Model Validation via Inline Replication
Data visualizations typically show retrospective views of an existing dataset with little or no focus on repeatability. However, consumers of these tools often use insights gleaned from retrospective visualizations as the basis for decisions about future events. In this way, visualizations often serve as visual predictive models despite the fact that they are typically designed to present histo...
متن کاملIVCon: Inline Visualization of Concerns
Code modularization provides benefits throughout the software life cycle; however, the presence of crosscutting concerns (CCCs) in software hinders its complete modularization. This paper describes IVCon, a tool with a novel approach for completely modularizing CCCs. IVCon enables users to create, examine, and modify their code in two different views: the woven view and the unwoven view. The wo...
متن کاملMacroscopic Visualization of the Heart Electrical Activity Via an Algebraic Computer Model
In this study, a mathematical model is developed based on algebraic equations which is capable of generating artificially normal events of electrocardiogram (ECG) signals such as P-wave, QRS complex, and T-wave. This model can also be implemented for the simulation of abnormal phenomena of electrocardiographic signals such as ST-segment episodes (i.e. depression, elevation, and sloped ascending...
متن کاملSoftware Validation via Model Animation
This paper explores a new approach to validating software implementations that have been produced from formally-verified algorithms. Although visual inspection gives some confidence that the implementations faithfully reflect the formal models, it does not provide complete assurance that the software is correct. The proposed approach, which is based on animation of formal specifications, compar...
متن کاملModel - based HW / SW inline IPSec microarchitectural design and validation using
In this paper, a team of Intel networking engineers presents a flow used to design and validate the microarchitecture of a new packet-processing module for Intel® chipsets, based on models captured using Intel® CoFluentTM Studio (CoFluentTM). With this design and validation flow, the team created an executable specification of the new packet processing module. The team first validated the funct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Visualization
سال: 2019
ISSN: 1473-8716,1473-8724
DOI: 10.1177/1473871618821747