Search Sciweavers | Sciweavers

5255 search results - page 233 / 1051

» Formal Methods for Privacy

click to vote

FM
2009
Springer

127views Formal Methods» more FM 2009»

Automated Property Verification for Large Scale B Models

15 years 10 months ago

Download www.bmethod.com

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

claim paper

Read More »

click to vote

FM
2009
Springer

104views Formal Methods» more FM 2009»

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

15 years 10 months ago

Download www.cse.unsw.edu.au

Annabelle McIver, Carroll C. Morgan

claim paper

Read More »

104

click to vote

MEMOCODE
2007
IEEE

115views Formal Methods» more MEMOCODE 2007»

Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA

15 years 10 months ago

Download csg.csail.mit.edu

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

claim paper

Read More »

110

click to vote

CAV
2007
Springer

114views Hardware» more CAV 2007»

Comparison Under Abstraction for Verifying Linearizability

15 years 10 months ago

Download www.cs.wisc.edu

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

claim paper

Read More »

106

click to vote

CAV
2007
Springer

93views Hardware» more CAV 2007»

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers