Pages that link to "Item:Q2942894"

The following pages link to Randomized accuracy-aware program transformations for efficient approximate computations (Q2942894):

Displaying 1 item.

• Verifying relative safety, accuracy, and termination for program approximations (Q682353) (← links)