Search Sciweavers | Sciweavers

10568 search results - page 118 / 2114

» Computer Intelligence and Formalization

147

click to vote

PVM
2009
Springer

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

Practical Formal Verification of MPI and Thread Programs

16 years 1 months ago

Download www.cs.utah.edu

Ganesh Gopalakrishnan, Robert M. Kirby

claim paper

Read More »

142

click to vote

NOCS
2007
IEEE

95views Computer Networks» more NOCS 2007»

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

16 years 1 months ago

Download www.nocsymposium.org

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

claim paper

Read More »

145

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

16 years 24 days ago

Download www.cecs.uci.edu

Angelo Spognardi, Roberto Di Pietro

claim paper

Read More »

133

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 11 months ago

Download www.zurich.ibm.com

Jana Koehler, Giuliano Tirenni, Santhosh Kumaran

claim paper

Read More »

123

click to vote

IPPS
2002
IEEE

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

Mixed Formal Specifications with PVS

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers