首页>外文会议>Latin-American Symposium on Dependable Computing

Latin-American Symposium on Dependable Computing

召开年：2018
召开地：Foz do Iguacu(BR)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.WSN Data Confidence Attribution Using Predictors

机译：使用预测器的WSN数据置信度归因
- 作者：Roberto M. Scheffel;Ant̂nio A. Fr̈hlich
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Wireless sensor networks;
- Fault detection;
- Probability;
- Fault tolerance;
- Fault tolerant systems;
- Predictive models;
- Neural networks;
2.Multi-hop Byzantine Reliable Broadcast Made Practical

机译：切实可行的多跳拜占庭可靠广播
- 作者：Silvia Bonomi;Giovanni Farina;Sébastien Tixeuil
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Reliability;
- Protocols;
- Safety;
- Complexity theory;
- Optimization;
- Network topology;
- Multicast algorithms;
3.Evaluating the Applicability of Robustness Testing in Virtualized Environments

机译：评估鲁棒性测试在虚拟环境中的适用性
- 作者：Charles F. Gonçalves;Nuno Antunes;Marco Vieira
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Virtual machine monitors;
- Robustness;
- Testing;
- Cloud computing;
- Computer crashes;
- Virtual machining;
- Servers;
4.Improving Raft When There Are Failures

机译：有故障时改善木筏
- 作者：Christian Fluri;Darya Melnyk;Roger Wattenhofer
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Servers;
- Voting;
- Protocols;
- Message systems;
- Heart beat;
- Sockets;
5.Dependable IoT Using Blockchain-Based Technology

机译：使用基于区块链技术的可靠物联网
- 作者：Avelino F. Zorzo;Henry C. Nunes;Roben C. Lunardi;Regio A. Michelin;Salil S. Kanhere
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Blockchain;
- Consensus algorithm;
- Computer architecture;
- Bitcoin;
- Proposals;
- Smart contracts;
6.Parametric Uncertainty Propagation through Dependability Models

机译：通过可靠性模型的参数不确定性传播
- 作者：Hiroyuki Okamura;Tadashi Dohi;Kishor Trivedi
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Uncertainty;
- Computational modeling;
- Numerical models;
- Reliability;
- Analytical models;
- Estimation;
- Monte Carlo methods;
7.Avoiding Spurious Paths in Centralities Based on Shortest Paths in High Order Networks

机译：基于高阶网络中的最短路径，避免在中心位置出现虚假路径
- 作者：Klaus Wehmuth;Artur Ziviani
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Nonhomogeneous media;
- Reliability;
- Complex systems;
- Time-varying systems;
- Complex networks;
- Indexes;
- Data science;
8.An Empirical Study of Docker Vulnerabilities and of Static Code Analysis Applicability

机译：Docker漏洞和静态代码分析适用性的实证研究
- 作者：Ana Duarte;Nuno Antunes
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Security;
- Containers;
- Tools;
- Kernel;
- Virtualization;
- Cloud computing;
9.QMapper: Dynamic Power and Performance Management in Virtualized Web Servers Clusters

机译：QMapper：虚拟化Web服务器群集中的动态电源和性能管理
- 作者：André Monteiro;Felipe da Rocha Henriques
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Power demand;
- Web servers;
- Cloning;
- Quality of service;
- Adaptation models;
- Scalability;
10.Offloading Cryptographic Services to the SIM Card

机译：将加密服务卸载到SIM卡
- 作者：Daniel Pedraja;Javier Baliosian;Gustavo Betarte
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Hardware;
- Cryptography;
- Smart cards;
- Smart phones;
- Software;
- Baseband;
11.Probabilistic Modeling of Failure Domino Effects in Chemical Plants

机译：化工厂中失效多米诺效应的概率模型
- 作者：Diego Sierra;Juan Briceño;Hector Buitrago;Brian Rozo;Leonardo Montecchi;Ivan Mura
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Mathematical model;
- Petri nets;
- Explosions;
- Chemicals;
- Stochastic processes;
- Probabilistic logic;
- Clouds;
12.Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores

机译：将弱化一致性模型与监视和恢复配合使用以提高键值存储的性能
- 作者：Duong Nguyen;Aleksey Charapko;Sandeep S. Kulkarni;Murat Demirbas
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Monitoring;
- Servers;
- Computational modeling;
- Throughput;
- Debugging;
- Distributed databases;
- Data models;
13.Boosting State Machine Replication with Concurrent Execution

机译：通过并发执行增强状态机复制
- 作者：Eduardo Alchieri;Fernando Dotti;Parisa Marandi;Odorico Mendizabal;Fernando Pedone
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Servers;
- Message systems;
- Scheduling;
- Proposals;
- Processor scheduling;
- Protocols;
- Fault tolerance;
14.Risk Assessment of Blockchain Technology

机译：区块链技术的风险评估
- 作者：Giacomo Morganti;Enrico Schiavone;Andrea Bondavalli
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Blockchain;
- Peer-to-peer computing;
- Risk management;
- Bitcoin;
- Smart contracts;
15.Speeding-Up Robustness Assessment of HDL Models through Profiling and Multi-Level Fault Injection

机译：通过分析和多级故障注入来加快HDL模型的鲁棒性评估
- 作者：Ilya Tuzov;David de Andrés;Juan-Carlos Ruiz
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Circuit faults;
- Integrated circuit modeling;
- Registers;
- Logic gates;
- Robustness;
- Hardware;
- Hardware design languages;
16.Correction of Adjacent Errors with Low Redundant Matrix Error Correction Codes

机译：使用低冗余矩阵纠错码纠正相邻错误
- 作者：Joaquín Gracia-Moran;Luis-J. Saiz-Adalid;Juan-Carlos Baraza-Calvo;Pedro Gil
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Proposals;
- Error correction codes;
- Parity check codes;
- Redundancy;
- Layout;
- Delays;
- Decoding;
17.Bundling Messages to Reduce the Cost of Tree-Based Broadcast Algorithms

机译：捆绑消息以减少基于树的广播算法的成本
- 作者：Luiz A. Rodrigues;Elias P. Duarte;João Paulo de Araujo;Luciana Arantes;Pierre Sens
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Computer crashes;
- Topology;
- Hypercubes;
- Peer-to-peer computing;
- Heuristic algorithms;
- Wireless sensor networks;
- Indexes;
18.Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models

机译：软件关键设计模型中浮点吸收和抵消现象的检测方法
- 作者：Marcus Kimura Lopes;Ricardo Bedin França;Celso Massaki Hirata;Luiz Alberto Vieira Dias
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Absorption;
- Tools;
- Software;
- Analytical models;
- Atmospheric modeling;
- Static analysis;
- Standards;
19.A Model-Based Approach for Analyzing the Autonomy Levels for Cyber-Physical Systems-of-Systems

机译：基于模型的网络物理物理系统自治程度分析方法
- 作者：Mohamad Gharib;Leandro Dias Da Silva;Hanna Kavalionak;Andrea Ceccarelli
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Vehicles;
- Roads;
- Analytical models;
- Controllability;
- Unified modeling language;
- Accidents;
- Cascading style sheets;
20.Crane: A Tool for Reliability Analysis with Different Coverage Models

机译：起重机：具有不同覆盖率模型的可靠性分析工具
- 作者：Jianwen Xiang;Lang Liu;Ming Yang;Siwei Zhou;Luyao Ye;Caisheng Weng;Dongdong Zhao;Jing Tian
- 会议名称：《Latin-American Symposium on Dependable Computing》 | 2018年
- Cranes;
- Fault trees;
- Tools;
- Reliability;
- Java;
- Python;
- Analytical models;