High speed and robust event correlation
- Shaula Alexander Yemini
- Shmuel Kliger
- et al.
- 1996
- IEEE Communications Magazine
Publications
Date
Featured collections
Popular topics
16 results for Shaula Yemini
High-Level Language Debugging for Concurrent Programs
- German S. Goldszmidt
- Shaula Yemini
- et al.
- 1990
- ACM Transactions on Computer Systems (TOCS)
CONCERT: a high-level-language approach to heterogeneous distributed systems
- Shaula Yemini
- German S. Goldszmidt
- et al.
- 1989
- ICDCS 1989
Interactive Blackbox Debugging for Concurrent Languages
- German S. Goldszmidt
- S. Katz
- et al.
- 1989
- ACM SIGPLAN Notices
Interactive blackbox debugging for concurrent languages
- German S. Goldszmidt
- Shmuel Katz
- et al.
- 1988
- WPADD 1988
An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language
- Shaula Yemini
- Daniel M. Berry
- 1987
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Typestate: A Programming Language Concept for Enhancing Software Reliability
- Robert E. Strom
- Shaula Yemini
- 1986
- IEEE Transactions on Software Engineering
SYNTHESIZING DISTRIBUTED AND PARALLEL PROGRAMS THROUGH OPTIMISTIC TRANSFORMATIONS.
- Rob Strom
- Shaula Yemini
- 1984
- ICPP 1984
Symmetric intertask communication
- Nissim Francez
- Shaula A. Yemini
- 1985
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimistic Recovery in Distributed Systems
- Rob Strom
- Shaula Yemini
- 1985
- ACM Transactions on Computer Systems (TOCS)