Annual review of computer science vol. 1, 1986
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Simultaneous multithreading: maximizing on-chip parallelism
ISCA '95 Proceedings of the 22nd annual international symposium on Computer architecture
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms
Computer
Hi-index | 0.01 |
This paper is an introduction to the Hierarchical Simultaneous Set Membership (HSSM) macro-architecture project, the associated HSSM Virtual Machine (HVM) and "H" languages. The ultimate goal of this project is the automated synthesis and verification of large multithreaded software applications.