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

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