Work

Using Model Checking in a Parallelizing Compiler

Year: 1998

Type: article

Source: Parallel Processing Letters

DOI: 10.1142/s0129626498000468

Authors: Teodor Rus, Eric van Wyk

Institution: University of Iowa

Language: English

Topic: Parallel Computing and Optimization Techniques

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2035907357

FWCI: 0.476

Cites:

Cited by: 10

Related to: 10