Search Sciweavers | Sciweavers

8828 search results - page 258 / 1766

» Formal methods in practice

143

click to vote

FM
2009
Springer

104views Formal Methods» more FM 2009»

Sums and Lovers: Case Studies in Security, Compositionality and Refinement

16 years 2 months ago

Download www.cse.unsw.edu.au

Annabelle McIver, Carroll C. Morgan

claim paper

Read More »

149

click to vote

MEMOCODE
2007
IEEE

115views Formal Methods» more MEMOCODE 2007»

Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA

16 years 1 months ago

Download csg.csail.mit.edu

Nirav Dave, Kermin Fleming, Myron King, Michael Pe...

claim paper

Read More »

156

click to vote

CAV
2007
Springer

114views Hardware» more CAV 2007»

Comparison Under Abstraction for Verifying Linearizability

16 years 1 months ago

Download www.cs.wisc.edu

Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly ...

claim paper

Read More »

157

click to vote

CAV
2007
Springer

93views Hardware» more CAV 2007»

LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals

16 years 1 months ago

Download www.inf.ethz.ch

Bernd Becker, Christian Dax, Jochen Eisinger, Feli...

claim paper

Read More »

122

click to vote

CAV
2007
Springer

159views Hardware» more CAV 2007»

Boolean Abstraction for Temporal Logic Satisfiability

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers