The Reservoir model and architecture for open federated cloud computing
- Benny Rochwerger
- David Breitgand
- et al.
- 2009
- IBM J. Res. Dev
Publications
Date
Featured collections
Popular topics
19 results for Yaron Wolfsthal
IBM research division cloud computing initiative
- Mahmoud Naghshineh
- Radha Ratnaparkhi
- et al.
- 2009
- IBM J. Res. Dev
Model checking at IBM
- Shoham Ben-David
- Cindy Eisner
- et al.
- 2003
- Formal Methods in System Design
An algorithmic approach to design exploration
- Sharon Barner
- Shoham Ben-David
- et al.
- 2002
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
On the effective deployment of functional formal verification
- Yael Abarbanel-Vinov
- Neta Aizenbud-Reshef
- et al.
- 2001
- Formal Methods in System Design
AVPGEN—A Test Generator for Architecture Verification
- A.K. Chandra
- V.S. Iyengar
- et al.
- 1995
- IEEE Transactions on VLSI Systems
An Equivalence Theorem for Labeled Marked Graphs
- Michael Yoeli
- 1994
- IEEE TPDS
The Road to Effective Software Development Object-oriented programing enhances the productivity of developers, simplifies software management, and helps overcome the limitations of traditional procedural programming
- Yaron Wolfsthal
- 1994
- IEEE Communications Magazine
A simple linear-time algorithm for the recognition of bandwidth-2 biconnected graphs
- Fillia Makedon
- Dafna Sheinwald
- et al.
- 1993
- Information Processing Letters