Results 71 to 80 of about 11,289 (144)
Masking failures of multidimensional sensors (extended abstract) [PDF]
When a computer monitors a physical process, the computer uses sensors to determine the values of the physical variables that represent the state of the process.
Chew, Paul, Marzullo, Keith
core +1 more source
, 2014 We present a formal model of a distributed consensus algorithm in the executable specification language Promela extended with a new type of guards, called counting guards, needed to implement transitions that depend on majority voting.
Delzanno, Giorgio +2 more
core +2 more sources
Egyptian Journal of Forensic SciencesBackground Sudden cardiac death in the young is a multifactorial condition often linked to undiagnosed genetic or structural causes in life. Myocardial bridge is a congenital malformation of the coronary arteries often underestimated, which can ...
Cecilia Salzillo +3 more
doaj +1 more source
Detection of global state predicates [PDF]
The problem addressed here arises in the context of Meta: how can a set of processes monitor the state of a distributed application in a consistent manner? For example, consider the simple distributed application as shown here.
Marzullo, Keith, Neiger, Gil
core +1 more source
Modelling the Load Curve of Aggregate Electricity Consumption Using Principal Components [PDF]
Since oil is a non-renewable resource with a high environmental impact, and its most common use is to produce combustibles for electricity, reliable methods for modelling electricity consumption can contribute to a more rational employment of this ...
Angelo Marzullo, Matteo Manera
core
OpenPING: A Reflective Middleware for the Construction of Adaptive Networked Game Applications [PDF]
, 2004 The emergence of distributed Virtual Reality (VR) applications that run over the Internet has presented networked game application designers with new challenges.
Blair, Gordon S., Okanda, P.
core
Cardiac Amyloidosis: State-of-the-Art Review in Molecular Pathology
Current Issues in Molecular BiologyAmyloidosis refers to a group of diseases caused by extracellular deposits of misfolded proteins, which alter tissue function and structure, potentially affecting any organ.
Cecilia Salzillo +4 more
doaj +1 more source
Programming your way out of the past: ISIS and the META Project [PDF]
The ISIS distributed programming system and the META Project are described. The ISIS programming toolkit is an aid to low-level programming that makes it easy to build fault-tolerant distributed applications that exploit replication and concurrent ...
Birman, Kenneth P., Marzullo, Keith
core +1 more source
Grasshopper DCMD : an undergraduate electrophysiology lab for investigating single-unit responses to behaviorally-relevant stimuli [PDF]
, 2017 Author Posting. © Faculty for Undergraduate Neuroscience, 2017. This article is posted here by permission of Faculty for Undergraduate Neuroscience for personal use, not for redistribution.
Gage, Gregory J. +4 more
core
The ISIS project has developed a new methodology, virtual synchony, for writing robust distributed software. High performance multicast, large scale applications, and wide area networks are the focus of interest.
Birman, Kenneth +2 more
core +1 more source