Search Sciweavers | Sciweavers

4719 search results - page 106 / 944

» Newtonian program analysis

151

click to vote

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

15 years 10 months ago

Download www.cse.unsw.edu.au

Carroll Morgan, Annabelle McIver

claim paper

Read More »

140

click to vote

ICCAD
1997
IEEE

96views Hardware» more ICCAD 1997»

Embedded program timing analysis based on path clustering and architecture classification

15 years 10 months ago

Download www.cs.york.ac.uk

Rolf Ernst, Wei Ye

claim paper

Read More »

146

click to vote

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

15 years 10 months ago

Download www.cs.wisc.edu

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

claim paper

Read More »

150

click to vote

APSEC
2006
IEEE

92views Software Engineering» more APSEC 2006»

Safety Analysis for Dynamic Update of Object Oriented Programs

15 years 8 months ago

Download www.cse.iitb.ac.in

Yogesh Murarka, Umesh Bellur, Rushikesh K. Joshi

claim paper

Read More »

149

click to vote

FMCAD
2008
Springer

77views Formal Methods» more FMCAD 2008»

Symbolic Program Analysis Using Term Rewriting and Generalization

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers