4 search results - page 1 / 1 » Static Analysis-Based Validation of Floating-Point Computati... |
DAGSTUHL
2003
13 years 6 months ago
2003
CADE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
CF
2006
ACM
13 years 11 months ago
2006
ACM
In a multi-programmed computing environment, threads of execution exhibit different runtime characteristics and hardware resource requirements. Not only do the behaviors of distin...
TCAD
2002
13 years 4 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...