Search Sciweavers | Sciweavers

2291 search results - page 14 / 459

» Representational Reasoning and Verification

134

click to vote

TPHOL
2000
IEEE

131views Automated Reasoning» more TPHOL 2000»

Formal Verification of IA-64 Division Algorithms

15 years 7 months ago

Download www.cl.cam.ac.uk

The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...

John Harrison

claim paper

Read More »

130

Voted

ISSS
2000
IEEE

109views Hardware» more ISSS 2000»

Verification of Embedded Systems using a Petri Net based Representation

15 years 8 months ago

Download www.csie.ntu.edu.tw

The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...

Luis Alejandro Cortés, Petru Eles, Zebo Pen...

claim paper

Read More »

110

Voted

TIME
2007
IEEE

90views Automated Reasoning» more TIME 2007»

On the Equivalence of Automaton-Based Representations of Time Granularities

15 years 10 months ago

Download users.dimi.uniud.it

Ugo Dal Lago, Angelo Montanari, Gabriele Puppis

claim paper