Alexandros Gerbessiotis
-
Using temporal binding for hierarchical recruitment of conjunctive concepts over delayed lines
Neurocomputing
BSP-WHY: an intermediate language for deductive verification of BSP programs
Proceedings of the fourth international workshop on High-level parallel programming and applications