Search Sciweavers | Sciweavers

4894 search results - page 37 / 979

» Dynamic Abstraction Planning

click to vote

SAS
2007
Springer

82views Formal Methods» more SAS 2007»

Static Analysis of Dynamic Communication Systems by Partner Abstraction

15 years 4 months ago

Download www.model.in.tum.de

Jörg Bauer, Reinhard Wilhelm

claim paper

Read More »

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

15 years 3 months ago

Download www.stanford.edu

Philip J. Guo, Jeff H. Perkins, Stephen McCamant, ...

claim paper

Read More »

Voted

DIGRA
2005
Springer

122views Computer Graphics» more DIGRA 2005»

Abstract of Dynamic Range: When Game Design and Narratives Unite

15 years 3 months ago

Download www.digra.org

Dominic Arsenault

claim paper

Read More »

click to vote

HIPC
2005
Springer

86views Distributed And Parallel Com...» more HIPC 2005»

Data and Computation Abstractions for Dynamic and Irregular Computations

15 years 3 months ago

Download www.cse.ohio-state.edu

Sriram Krishnamoorthy, Jarek Nieplocha, P. Sadayap...

claim paper

Read More »

click to vote

SPIN
2005
Springer

108views Theoretical Computer Science» more SPIN 2005»

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers