Work

Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone

Year: 2004

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-24622-0_25

Author: Reinhard Wilhelm

Institution: Saarland University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1518454656

FWCI: 1.775

Cites: 24

Cited by: 73

Related to: 10