A tool for implementing a Floating-Point related application. The tool includes a receiver for receiving a list of commands in a computer language. The language defines Floating-Point events of interest and the regrouping of events into a coverage model in respect of a desired FP instruction. The coverage model has the form of a sequence of Floating-Point commands with constraints on the input operands, intermediate result operand and the result operand. The constraints are expressed in terms of sets that define allowable Floating-Point numbers. The tool further includes a parser for parsing the commands and a processor for processing the parsed commands for realizing on the basis of the events and the coverage model the Floating-Point related application.

 
Web www.patentalert.com

< Method and apparatus for capturing and rendering text annotations for non-modifiable electronic content

< System for locking the closure of windows

> Space-efficient linear hierarchical view and navigation

> Program compilation and optimization

~ 00265