Search Sciweavers | Sciweavers

2673 search results - page 55 / 535

» Guided Static Analysis

126

click to vote

SAS
2007
Springer

82views Formal Methods» more SAS 2007»

Static Analysis of Dynamic Communication Systems by Partner Abstraction

16 years 4 days ago

Download www.model.in.tum.de

Jörg Bauer, Reinhard Wilhelm

claim paper

Read More »

118

click to vote

SEFM
2006
IEEE

80views Software Engineering» more SEFM 2006»

Static Analysis of Programs: A Heap Centric View

16 years 20 hour ago

Download www.cse.iitb.ac.in

Uday P. Khedker

claim paper

Read More »

111

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 12 months ago

Download homepage.mac.com

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

claim paper

Read More »

118

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 11 months ago

Download wse2005.unile.it

Giuseppe A. Di Lucca, Massimiliano Di Penta

claim paper

Read More »

125

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 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers