Search Sciweavers | Sciweavers

10568 search results - page 118 / 2114

» Computer Intelligence and Formalization

click to vote

PVM
2009
Springer

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

Practical Formal Verification of MPI and Thread Programs

15 years 4 months ago

Download www.cs.utah.edu

Ganesh Gopalakrishnan, Robert M. Kirby

claim paper

Read More »

click to vote

NOCS
2007
IEEE

95views Computer Networks» more NOCS 2007»

A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study

15 years 4 months ago

Download www.nocsymposium.org

Dominique Borrione, Amr Helmy, Laurence V. Pierre,...

claim paper

Read More »

click to vote

IPPS
2006
IEEE

104views Distributed And Parallel Com...» more IPPS 2006»

A formal framework for the performance analysis of P2P networks protocols

15 years 3 months ago

Download www.cecs.uci.edu

Angelo Spognardi, Roberto Di Pietro

claim paper

Read More »

click to vote

EDOC
2002
IEEE

102views Distributed And Parallel Com...» more EDOC 2002»

From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

15 years 2 months ago

Download www.zurich.ibm.com

Jana Koehler, Giuliano Tirenni, Santhosh Kumaran

claim paper

Read More »

click to vote

IPPS
2002
IEEE

108views Distributed And Parallel Com...» more IPPS 2002»

Mixed Formal Specifications with PVS

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers