Cloud spending has risen on a year-to-year basis, with the pandemic acting as primary catalyst for its recent growth; however, “cloud waste,” referring to cloud resources that are not used their full capacity, also follows this upward trend and causes loss of an increasingly large amount money. Unfortunately, present-day research lacks data-driven studies analyze why users wasting resources, or...

Abstract We prove that a variety of generalized cardinal characteristics, including meeting numbers, the reaping number, and dominating satisfy an analogue Galvin–Hajnal theorem, hence also Silver’s at singular cardinals uncountable cofinality.

Article history: Received 20 February 2013 Received in revised form 11 October 2013 Accepted 5 February 2014 Available online xxxx

State Machines at the Cusp of the Millenium

During the attempts to build an Abstract State Machine (ASM) model for the semantics of C# programs, we tried to directly and faithfully reflect the intuitions and design decisions which are expressed in the C# Language Specification. This work and the comparison between the corresponding ASM models for C# and Java brought to light a few gaps and mistakes in the C# reference manual, inconsisten...

We apply the ASM semantics framework to define the await construct in the context of concurrent ASMs. We link CAL programs to concurrent control state ASMs with turbo ASM submachines.

State Machines for the Classroom – The Basics –