Learn More
We describe the semantics of statecharts as implemented in the STATEMATE system. This was the first executable semantics defined for the language and has been in use for almost a decade. In terms of the controversy around whether changes made in a given step should take effect in the current step or in the next one, this semantics adopts the latter approach.
This paper provides a brief overview of the STATEMATE system, constructed over the past three years by i-Logix Inc., and Ad Cad Ltd. STATEMATE is a graphical working environment, intended for the specification, analysis, design and documentation of large and complex reactive systems, such as real-time embedded systems, control and communication systems, and(More)
Given a rectangle A and a set S of n points in A, we consider the problem, called the maximum empty rectangle problem, of finding a maximum area rectangle that is fully contained in A and does not contain any point of S in its interior. An O(n’) time algorithm is presented. Furthermore, it is shown that if the points of S are drawn randomly and(More)
An O(EVlog<supscrpt>2</supscrpt>V) algorithm for finding the maximal flow in networks is described. It is asymptotically better than the other known algorithms if E &equil; O(V<supscrpt>2&minus;&#949;</supscrpt>) for some &#949;&gt;0. The analysis of the running time exploits the discovery of a phenomenon similar to (but more general than) path compression,(More)
" Architecture-driven synthesis techniques for mapping digital signal processing algorithms into silicon, " FSMs have a clear and unambiguous notion of a quantum of computation (one state transition), the problem reduces to determining what a quantum of computation is in the semantic model used to manage the concurrency and communication. This model could(More)
Recent new technologies and paradigm shifts in the IT business make the role of performance engineers significantly more challenging than any other time in the past. Flash technology, virtualization, and Cloud computing provide new options for performance optimization; however, materializing the potential of these technologies in a predictable and cost(More)
We present the Spectrum Simulation System, a new research tool for the design and study of distributed algorithms. Based on the formal Input/Output Automaton model of Lynch and Tuttle, Spectrum allows one to express distributed algorithms as collections of I/O automata and simulate them directly in terms of the semantics of that model. This permits(More)
  • 1