Search Sciweavers | Sciweavers

4719 search results - page 106 / 944

» Newtonian program analysis

102

Voted

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

15 years 6 months ago

Download www.cse.unsw.edu.au

Carroll Morgan, Annabelle McIver

claim paper

Read More »

click to vote

ICCAD
1997
IEEE

96views Hardware» more ICCAD 1997»

Embedded program timing analysis based on path clustering and architecture classification

15 years 6 months ago

Download www.cs.york.ac.uk

Rolf Ernst, Wei Ye

claim paper

Read More »

102

click to vote

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

15 years 6 months ago

Download www.cs.wisc.edu

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

claim paper

Read More »

Voted

APSEC
2006
IEEE

92views Software Engineering» more APSEC 2006»

Safety Analysis for Dynamic Update of Object Oriented Programs

15 years 4 months ago

Download www.cse.iitb.ac.in

Yogesh Murarka, Umesh Bellur, Rushikesh K. Joshi

claim paper

Read More »

click to vote

FMCAD
2008
Springer

77views Formal Methods» more FMCAD 2008»

Symbolic Program Analysis Using Term Rewriting and Generalization

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers