Toward automatic partitioning of arrays on distributed memory computers
ICS '93 Proceedings of the 7th international conference on Supercomputing
Deriving imperative code from functional programs
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Proving Properties of Multidimensional Recurrences with Application to Regular Parallel Algorithms
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Accretive Rules in Cayley P Systems
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Towards a multi-formalism framework for architectural synthesis: the ASAR project
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Verification of safety properties for parameterized regular systems
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 5.23 |