Search Sciweavers | Sciweavers

1880 search results - page 53 / 376

» A Static Analysis for Beta-Binders

click to vote

SAS
2007
Springer

82views Formal Methods» more SAS 2007»

Static Analysis of Dynamic Communication Systems by Partner Abstraction

15 years 5 months ago

Download www.model.in.tum.de

Jörg Bauer, Reinhard Wilhelm

claim paper

Read More »

Voted

SEFM
2006
IEEE

80views Software Engineering» more SEFM 2006»

Static Analysis of Programs: A Heap Centric View

15 years 5 months ago

Download www.cse.iitb.ac.in

Uday P. Khedker

claim paper

Read More »

click to vote

CF
2006
ACM

70views Applied Computing» more CF 2006»

Static cache partitioning robustness analysis for embedded on-chip multi-processors

15 years 5 months ago

Download homepage.mac.com

Anca Mariana Molnos, Sorin Dan Cotofana, Marc J. M...

claim paper

Read More »

click to vote

WSE
2005
IEEE

95views Internet Technology» more WSE 2005»

Integrating Static and Dynamic Analysis to improve the Comprehension of Existing Web Applications

15 years 5 months ago

Download wse2005.unile.it

Giuseppe A. Di Lucca, Massimiliano Di Penta

claim paper

Read More »

click to vote

PASTE
2005
ACM

74views Software Engineering» more PASTE 2005»

Link-time static analysis for efficient separate compilation of object-oriented languages

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers