Search Sciweavers | Sciweavers

4340 search results - page 167 / 868

» Formal Methods and Cryptography

122

click to vote

FM
2009
Springer

127views Formal Methods» more FM 2009»

Automated Property Verification for Large Scale B Models

16 years 1 months ago

Download www.bmethod.com

Michael Leuschel, Jérôme Falampin, Fa...

claim paper

Read More »

129

click to vote

FM
2009
Springer

104views Formal Methods» more FM 2009»

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

16 years 1 months ago

Download www.cse.unsw.edu.au

Annabelle McIver, Carroll C. Morgan

claim paper

Read More »

138

Voted

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 »

142

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 »

145

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers