#### Filter Results:

- Full text PDF available (3)

#### Publication Year

1979

2012

- This year (0)
- Last 5 years (0)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

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… (More)

- David Harel, Hagi Lachover, +4 authors a. Shtul-Trauring
- [] Proceedings. The Third Israel Conference on…
- 1988

Provides a brief overview of the STATEMATE system. STATEMATE is a graphical working environment, intended for the specification, analysis, design and documentation of large and complex reactive… (More)

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

Abstract 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… (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;… (More)

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

A new dynamizing technique is introduced whereby n point Voronoi diagrams (both closest and farthest point) can be updated in O(n) time per insertion or deletion, in the worst case. General… (More)

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

An O(EV log2 V) algorithm for finding the maximal flow in networks is described. It is asymptotically better than the other known algorithms if E = O(V2−ϵ) for some ϵ > 0. The analysis of the running… (More)

- Jgm Lee, Eric Cheval, +61 authors David 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… (More)

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… (More)

- Amnon Naamad
- 1981

In the complexity theory of algorithms one encounters many problems for which efficient algorithms are known, but one needs to resolve the problems from scratch in order to reflect even a minor… (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,… (More)