Search Sciweavers | Sciweavers

21984 search results - page 548 / 4397

» C

click to vote

CORR
2006
Springer

57views Education» more CORR 2006»

On Verifying Complex Properties using Symbolic Shape Analysis

15 years 7 months ago

Download www.mit.edu

Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Pod...

claim paper

Read More »

133

click to vote

CORR
2006
Springer

83views Education» more CORR 2006»

Implementation and Deployment of a Distributed Network Topology Discovery Algorithm

15 years 7 months ago

Download www-npa.lip6.fr

Benoit Donnet, Bradley Huffaker, Timur Friedman, K...

claim paper

Read More »

156

click to vote

CORR
2006
Springer

57views Education» more CORR 2006»

Program Spectra Analysis in Embedded Software: A Case Study

15 years 7 months ago

Download www.esi.nl

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund

claim paper

Read More »

193

click to vote

CSCW
2006
ACM

126views Social Sciences» more CSCW 2006»

Information Infrastructures for Distributed Collective Practices

15 years 7 months ago

Download interoperability.ucsd.edu

William Turner, Geoffrey C. Bowker, Les Gasser, Ma...

claim paper

Read More »

108

click to vote

CSDA
2006

77views more CSDA 2006»

Hierarchical Bayesian modelling of spatial age-dependent mortality

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers