Results 11 to 20 of about 3,308,530 (269)
Contextuality in Distributed Systems
We present a lattice of distributed program specifications, whose ordering represents implementability/refinement. Specifications are modelled by families of subsets of relative execution traces, which encode the local orderings of state transitions, rather than their absolute timing according to a global clock. This is to overcome fundamental physical
Nasos Evangelou-Oost +2 more
openaire +4 more sources
Slicing Distributed Systems [PDF]
Peer-to-peer (P2P) architectures are popular for tasks such as collaborative download, VoIP telephony, and backup. To maximize performance in the face of widely variable storage capacities and bandwidths, such systems typically need to shift work from poor nodes to richer ones. Similar requirements are seen in today's large data centers, where machines
Vincent Gramoli +4 more
openaire +2 more sources
Debugging distributed systems [PDF]
ShiViz is a new distributed system debugging visualization tool.
Ivan Beschastnikh +3 more
openaire +1 more source
The Distributed Annotation System [PDF]
Currently, most genome annotation is curated by centralized groups with limited resources. Efforts to share annotations transparently among multiple groups have not yet been satisfactory.Here we introduce a concept called the Distributed Annotation System (DAS).
Robin D. Dowell +4 more
openaire +3 more sources
A hydraulic operation stabilizing system was developed for a hydraulic operating mechanism of a gas circuit breaker (GCB). Air bubbles and cavities, created in hydraulic fluid by the movement of the operating mechanism, have an effect on the movement of ...
Tohru YAMASHITA +4 more
doaj +1 more source
Numerical simulation for a hydraulic operation stabilizing system of gas circuit breaker (GCB) driven by a hydraulic operating mechanism is treated . Valve collision and hydraulic column separation, created in hydraulic fluid by the movement of valves ...
Tohru YAMASHITA +4 more
doaj +1 more source
Online monitoring of the spectral characteristic of a flashed solar simulator for performance assessment of multijunction solar cells [PDF]
This work presents the implementation of high-speed spectral measurements for online monitoring of the spectral characteristics of a flasher solar simulator necessary to apply the mismatch spectral correction between the standard ASTM G173-03 AM1.5 1000 ...
Imperatore Mario V. +3 more
doaj +1 more source
Analysis and optimization of a Time Resolved Photoluminescence instrument [PDF]
This work describes the analysis and optimization of a Time Resolved Photoluminescence instrument to improve its optical performances. Simulation of the light behaviour inside the sample material have been done to maximize light extraction and the ...
Trespidi Franco +2 more
doaj +1 more source
Distributed operating systems [PDF]
In the past five years, distributed operating systems research has gone through a consolidation phase. On a large number of design issues there is now considerable consensus between different research groups. In this paper, an overview of recent research in distributed systems is given.
openaire +2 more sources
Design and optimization of a compact prismatic solar concentrator [PDF]
This work focuses on the optimization of a compact square prismatic single stage solar concentrator to be realized either with BK7 glass or Silopren plastic. Zemax software is used to simulate and optimize the optical surfaces.
Trespidi Franco +2 more
doaj +1 more source

