Iskander Kort

Learn More
List scheduling is the most frequently used scheduling technique. In this context worst case analysis as well as many experimental studies were performed for various computational models. However, many new models have been proposed during the last decade with the aim to provide a realistic but still simple and general model of parallel computation. LogP is(More)
We describe a hybrid formal hardware veriication tool that links the HOL interactive proof system and the MDG automated hardware veriication tool. It supports a hierarchical veriication approach that mirrors the hierarchical structure of designs. We obtain advantages of both veriication paradigms. We illustrate its use by considering a component of a(More)
  • 1