Search Sciweavers | Sciweavers

17582 search results - page 308 / 3517

» From Distributed Sequential Computing to Distributed Paralle...

click to vote

IPPS
2002
IEEE

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

Mixed Formal Specifications with PVS

15 years 9 months ago

Download www.cs.unh.edu

Michel Allemand, Jean-Claude Royer

claim paper

Read More »

click to vote

IPPS
2002
IEEE

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

Model-Based Fault Detection in Powerline Networking

15 years 9 months ago

Download research.microsoft.com

Anish Arora, Rajesh Jagannathan, Yi-Min Wang

claim paper

Read More »

106

click to vote

IPPS
2002
IEEE

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

Hardware-Software Co-Reliability in Field Reconfigurable Multi-Processor-Memory Systems

15 years 9 months ago

Download cs.nju.edu.cn

Minsu Choi, Nohpill Park, Fabrizio Lombardi

claim paper

Read More »

110

click to vote

IPPS
2002
IEEE

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

Availability Requirement for a Fault Management Server in High-Availability Communication Systems

15 years 9 months ago

Download people.ee.duke.edu

Hairong Sun, James J. Han, Isaac Levendel

claim paper

Read More »

click to vote

IPPS
2002
IEEE

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

Barrier Synchronization on a Loaded SMP Using Two-Phase Waiting Algorithms

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers