Search Sciweavers | Sciweavers

1129 search results - page 35 / 226

» Formal Verification of Websites

click to vote

PVM
2009
Springer

97views Distributed And Parallel Com...» more PVM 2009»

Practical Formal Verification of MPI and Thread Programs

15 years 6 months ago

Download www.cs.utah.edu

Ganesh Gopalakrishnan, Robert M. Kirby

claim paper

Read More »

click to vote

ASPDAC
2009
ACM

115views Hardware» more ASPDAC 2009»

Automatic formal verification of clock domain crossing signals

15 years 6 months ago

Download www.aspdac.com

Bing Li, Chris Ka-Kei Kwok

claim paper

Read More »

click to vote

ICC
2008
IEEE

110views Communications» more ICC 2008»

Formal Verification of Firewall Policies

15 years 6 months ago

Download www.cse.msu.edu

Alex X. Liu

claim paper

Read More »

click to vote

ARITH
2007
IEEE

113views Applied Computing» more ARITH 2007»

Formal Verification of Floating-Point Programs

15 years 6 months ago

Download www-lipn.univ-paris13.fr

Sylvie Boldo, Jean-Christophe Filliâtre

claim paper

Read More »

click to vote

DATE
2007
IEEE

81views Hardware» more DATE 2007»

Formal verification of a pervasive interconnect bus system in a high-performance microprocessor

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers