#### Filter Results:

- Full text PDF available (7)

#### Publication Year

1979

2012

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- David Harel, Amnon Naamad
- ACM Trans. Softw. Eng. Methodol.
- 1996

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.

- David Harel, Hagi Lachover, +5 authors Mark B. Trakhtenbrot
- IEEE Trans. Software Eng.
- 1988

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)

- Amnon Naamad, D. T. Lee, Wen-Lian Hsu
- Discrete Applied Mathematics
- 1984

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)

- Zvi Galil, Amnon Naamad
- STOC
- 1979

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−ε</supscrpt>) for some ε>0. The analysis of the running time exploits the discovery of a phenomenon similar to (but more general than) path compression,… (More)

- I. G. Gowda, David G. Kirkpatrick, D. T. Lee, Amnon Naamad
- IEEE Trans. Information Theory
- 1983

- J C Lee, E Cheval, +61 authors D G Messerschmitt
- 1995

" 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)

- Zvi Galil, Amnon Naamad
- J. Comput. Syst. Sci.
- 1980

- DAVID HAREL, AMNON NAAMAD, +4 authors MARK TRAKHTENBROT
- 2001

This paper provides an overvien of the STATEMATE " system, constructed over the past several years by the authors and their colleagues at Ad Cad Ltd., the R&D subsidiary of i-Logix, Inc. STATEMATE is a set of tools, with a heavy graphical orientation, intended for the specification, analysis, design, and documentation of large and complex reactive systems,… (More)

- Amnon Naamad
- ICPE
- 2012

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)

Short List N. Day, " A model checker for statecharts " , Tech. Introducing objectcharts, or how to use statecharts in object-oriented design " , IEEE Trans. Statemate: a working environment for the development of complex reactive systems " , IEEE Trans.

- ‹
- 1
- ›