By Topic

Formal specification of SIMD execution

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Farrell, C.A. ; Dept. of Comput. Sci., Curtin Univ. of Technol., Perth, WA, Australia ; Kieronska, D.H.

In this paper we discuss the formal specification of parallel SIMD execution. We outline a vector model to describe SIMD execution which forms the basis of a semantic definition for a simple SIMD language definition. The model is based upon the notion of atomic parallel SIMD instructions operating on vectors of size Π where Π is the number of PEs on the machine. The vector model for parallel SIMD execution is independent of any specific computing architecture and can define parallel SIMD execution on a real SIMD machine (with a limited number of PEs) or a SIMD simulation. The model enables the formal specification of SIMD languages by providing an underlying mathematical framework for the SIMD paradigm

Published in:

Algorithms & Architectures for Parallel Processing, 1996. ICAPP 96. 1996 IEEE Second International Conference on

Date of Conference:

11-13 Jun 1996