Search Sciweavers | Sciweavers

2673 search results - page 55 / 535

» Guided Static Analysis

134

click to vote

SAS
2007
Springer

82views Formal Methods» more SAS 2007»

Static Analysis of Dynamic Communication Systems by Partner Abstraction

16 years 22 days ago

Download www.model.in.tum.de

Jörg Bauer, Reinhard Wilhelm

claim paper

Read More »

123

click to vote

SEFM
2006
IEEE

80views Software Engineering» more SEFM 2006»

Static Analysis of Programs: A Heap Centric View

16 years 19 days ago

Download www.cse.iitb.ac.in

Uday P. Khedker

claim paper

Read More »

119

click to vote

CF
2006
ACM

70views Applied Computing» more CF 2006»

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

16 years 18 days ago

Download homepage.mac.com

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

claim paper

Read More »

124

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

16 years 6 days ago

Download wse2005.unile.it

Giuseppe A. Di Lucca, Massimiliano Di Penta

claim paper

Read More »

132

click to vote

PASTE
2005
ACM

74views Software Engineering» more PASTE 2005»

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

16 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers