This paper presents research towards the formal speci cation and veri cation of a secure distributed system and secure application programs that run on it. We refer to the whole system | from hardware to application programs written in a concurrent programming language | as the Silo, and to a simpli ed view of the Silo as the miniSilo. Both miniSilo and Silo consist of a collection of microproc...

This paper presents research towards the formal speciication and veriication of a secure distributed system and secure application programs that run on it. We refer to the whole system | from hardware to application programs written in a concurrent programming language | as the Silo, and to a simpliied view of the Silo as the miniSilo. Both miniSilo and Silo consist of a collection of microproc...

Silos are structures that are used for storing different types of granular material. Dynamic behavior of silos under seismic loads is very complex. In this paper seismic behavior of steel silos with different height to diameter ratios is investigated by considering granular material-structure interaction using ABAQUS finite element package. Silo wall is modeled by shell elements and its behavio...

In this paper, we propose SiLo, a novel energy efficient shifted logging storage architecture, for write-oriented workloads. By organizing free storage space of redundant mirrored disks in a RAID10 system into a logical logging space pool and shifting logger among different mirrored disk pairs, only one or few mirrored disk pairs are used as the on-duty logger at a time and all the other off-du...

Wind induced ovalling vibrations were observed during a storm in October 2002 on several empty silos of a closely spaced group consisting of 8 by 5 thin-walled silos in the port of Antwerp (Belgium). To clarify the cause and location of the observed silo vibrations, a thorough analysis of the aerodynamic pressures on the silo surfaces is required. Therefore, both 2D and 3D computational fluid d...

The massive and continuous development of renewable energy systems is making it possible to achieve the European goals regarding environment and sustainability. On the other hand, it leads to the progression of significant problems such as low renewable energy density (i), social acceptability (ii), and non-programmability of renewable energy sources (iii). The rural architecture, which is larg...

We present experimental and numerical results of the effect that a partial discharge has on the morphological and micro-mechanical properties of non-spherical, convex particles in a silo. The comparison of the particle orientation after filling the silo and its subsequent partial discharge reveals important shear-induced orientation, which affects stress propagation. For elongated particles, th...

This paper reports on initial steps of an integration of the microscopic land-use simulation system SILO (Simple Integrated LandUse Orchestrator) and the agent-based transport simulation system MATSim (Multi-Agent Transport Simulation). It is shown how information can be transferred from the land-use model to the transport model in an agent-oriented fashion and how MATSim can be used as a trans...

Silo is a new in-memory database that achieves excellent performance and scalability on modern multicore machines. Silo was designed from the ground up to use system memory and caches efficiently. For instance, it avoids all centralized contention points, including that of centralized transaction ID assignment. Silo’s key contribution is a commit protocol based on optimistic concurrency control...