Search Sciweavers | Sciweavers

15792 search results - page 83 / 3159

» Computational Abstraction Steps

click to vote

NSDI
2004

97views Computer Networks» more NSDI 2004»

Programming Sensor Networks Using Abstract Regions

13 years 10 months ago

Download www.eecs.harvard.edu

Matt Welsh, Geoffrey Mainland

claim paper

Read More »

click to vote

ISMB
1994

102views Computational Biology» more ISMB 1994»

Describing Multiple Levels of Abstraction in the Metabolism

13 years 10 months ago

Download www.aaai.org

Michael L. Mavrovouniotis

claim paper

Read More »

click to vote

BIRTHDAY
2010
Springer

146views Applied Computing» more BIRTHDAY 2010»

Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules

13 years 10 months ago

Download www.informatik.uni-bremen.de

Jan Peleska

claim paper

Read More »

click to vote

GG
2010
Springer

135views Theoretical Computer Science» more GG 2010»

Using Graph Transformations and Graph Abstractions for Software Verification

13 years 10 months ago

Download eprints.eemcs.utwente.nl

Eduardo Zambon

claim paper

Read More »

click to vote

GG
2008
Springer

90views Theoretical Computer Science» more GG 2008»

Abstract Semantics by Observable Contexts

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers