Two fundamental issues in multiprocessing
4th International DFVLR Seminar on Foundations of Engineering Sciences on Parallel Computing in Science and Engineering
Implementations of distributed Prolog
Implementations of distributed Prolog
Evolving algebras 1993: Lipari guide
Specification and validation methods
Equivalence is in the eye of the beholder
Theoretical Computer Science
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Abstract machine design on a multithreaded architecture
Future Generation Computer Systems - Special issue on distributed and parallel systems
A novel execution model for logflow on a hybrid multithreaded architecture
Distributed and parallel systems
Advanced Computer Architectures
Advanced Computer Architectures
Why Use Evolving Algebras for Hardware and Software Engineering?
SOFSEM '95 Proceedings of the 22nd Seminar on Current Trends in Theory and Practice of Informatics
KUMP/D: the Kyushu University multi-media processor
CAMP '95 Proceedings of the Computer Architectures for Machine Perception
Fine-grain multi-thread processor architecture for massively parallel processing
HPCA '95 Proceedings of the 1st IEEE Symposium on High-Performance Computer Architecture
Ensuring secure and robust grid applications – from a formal method point of view
GPC'06 Proceedings of the First international conference on Advances in Grid and Pervasive Computing
| Hi-index | 0.00 |
Languages, architectures and execution models are strongly related. A new architectural platform makes necessary to modify the execution model in order to exploit all the advantages of the underlying architecture while preserving its main characteristics. The latter issue requires a careful analysis of the design process. Abstract State Machines offer a powerful method for aiding complex system design. In this paper some aspects of its application are presented by taking the redesign process of a parallel Prolog model as an example.