Keeping CALM: when distributed consistency is easy
JM Hellerstein, P Alvaro - Communications of the ACM, 2020 - dl.acm.org
Keeping CALM: when distributed consistency is easy Page 1 72 COMMUNICATIONS OF THE
ACM | SEPTEMBER 2020 | VOL. 63 | NO. 9 review articles DISTRIBUTED SYSTEMS ARE …
ACM | SEPTEMBER 2020 | VOL. 63 | NO. 9 review articles DISTRIBUTED SYSTEMS ARE …
Logic and lattices for distributed programming
In recent years there has been interest in achieving application-level consistency criteria
without the latency and availability costs of strongly consistent storage infrastructure. A …
without the latency and availability costs of strongly consistent storage infrastructure. A …
Lineage-driven fault injection
In large-scale data management systems, failure is practically a certainty. Fault-tolerant
protocols and components are notoriously difficult to implement and debug. Worse still …
protocols and components are notoriously difficult to implement and debug. Worse still …
Alloy*: A general-purpose higher-order relational constraint solver
The last decade has seen a dramatic growth in the use of constraint solvers as a
computational mechanism, not only for analysis of software, but also at runtime. Solvers are …
computational mechanism, not only for analysis of software, but also at runtime. Solvers are …
[HTML][HTML] Test flakiness' causes, detection, impact and responses: A multivocal review
Flaky tests (tests with non-deterministic outcomes) pose a major challenge for software
testing. They are known to cause significant issues, such as reducing the effectiveness and …
testing. They are known to cause significant issues, such as reducing the effectiveness and …
Automotive system testing by independent guarded assertions
T Gustafsson, M Skoglund, A Kobetski… - 2015 IEEE Eighth …, 2015 - ieeexplore.ieee.org
Testing is a key activity in industry to verify and validate products before they reach end
customers. In hardware-in-the-loop system-level verification of automotive systems, testing is …
customers. In hardware-in-the-loop system-level verification of automotive systems, testing is …
StreamLoader: an event-driven ETL system for the on-line processing of heterogeneous sensor data
M Mesiti, L Ferrari, S Valtolina, G Licari… - Advances in database …, 2016 - air.unimi.it
Abstract ETL (Extraction-Transform-Load) tools, traditionally developed to operate offline on
historical data for feeding Data-warehouses, need to be enhanced to deal with big and fresh …
historical data for feeding Data-warehouses, need to be enhanced to deal with big and fresh …
Offline analysis of independent guarded assertions in automotive integration testing
G Rodriguez-Navas, A Kobetski… - 2015 IEEE 17th …, 2015 - ieeexplore.ieee.org
The size and complexity of software in automotive systems have increased steadily over the
last decades. Modern vehicles typically contain numerous electrical control units (ECUs) …
last decades. Modern vehicles typically contain numerous electrical control units (ECUs) …
[图书][B] Data-centric Programming for Distributed Systems
PA Alvaro - 2015 - search.proquest.com
Distributed systems are difficult to reason about and program because of fundamental
uncertainty in their executions, arising from sources of nondeterminism such as asynchrony …
uncertainty in their executions, arising from sources of nondeterminism such as asynchrony …
[PDF][PDF] A scenario-based distributed testing model for software applications
MA Mehmood, A Mahmood, MNA Khan… - Int. J. Adv. Appl …, 2016 - researchgate.net
Modern software applications are getting more complex in order to provide better service
and quality. This complexity has given birth too many challenges for software testing such as …
and quality. This complexity has given birth too many challenges for software testing such as …