Concurrent generation of concurrent programs for post-silicon validation
- Allon Adir
- Amir Nahir
- et al.
- 2012
- IEEE TCADIS
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
23 results for Amir Nahir
On cost-aware monitoring for self-adaptive load sharing
- David Breitgand
- Rami Cohen
- et al.
- 2010
- IEEE J-SAC
Functional verification of power gated designs by compositional reasoning
- Cindy Eisner
- Amir Nahir
- et al.
- 2009
- Formal Methods in System Design