We formalize our programming model in the context of a typed lambda calculus with records. Figure 1 shows the abstract syntax of our core language. Besides standard terms, the language includes terms related to (a) spores, (b) silos, and (c) futures. The spore term creates a new spore. It contains a list of variable definitions, the spore header, and a closure which may only refer to its parame...

Measurements show that silo wall pressures exhibit large fluctuations in time and space during discharge of the silo. This observation is important for the design of the silo wall because spatial pressure variations may impose substantial bending moments that otherwise may be small or vanishing due to the carrying ability of the membrane forces in the silo wall. Information about the stochastic...

We report experimental observations of sound waves in a granular material during resonant silo discharge called silo music. The grain motion was tracked by high-speed imaging while the resonance of the silo was detected by accelerometers and acoustic methods. The grains do not oscillate in phase at neighboring vertical locations, but information propagates upward in this system in the form of s...

Many cloud applications need predictable completion of application tasks. To achieve this, they require predictable completion time for network messages. We identify three key requirements for such predictability: guaranteed network bandwidth, guaranteed per-packet delay and guaranteed burst allowance. We present Silo, a network architecture for public cloud datacenters that offers these guaran...

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...

To be sure, all the industries try to be involved in globalization with a constant trend to find out ways to increase productivity across different functions within an organization to maintain competitive advantage world. Pharmaceutical industries are not exceptional and further are based on fragmentation. So these kind of companies need to cope with several barriers such as silo mentality that...

Fumonisins in maize (Zea mays L.) grain silo bags in the conditions of three Argentine provinces were analyzed to determine how this kind of storage affects contamination and if differential storage durations or times of the year of silo bag closing and opening are factors that could modify it. Moisture content, water activity (a(w)), molds and yeasts present, and fumonisins were analyzed in 16...

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...