Search Sciweavers | Sciweavers

12272 search results - page 198 / 2455

» Experimental program analysis

142

click to vote

LICS
1999
IEEE

82views Automated Reasoning» more LICS 1999»

Non-Deterministic Games and Program Analysis: An Application to Security

15 years 10 months ago

Download www.eecs.qmul.ac.uk

Pasquale Malacaria, Chris Hankin

claim paper

Read More »

131

click to vote

IPPS
1998
IEEE

82views Distributed And Parallel Com...» more IPPS 1998»

A Quantitative Code Analysis of Scientific Systolic Programs: DSP vs. Matrix Algorithms

15 years 10 months ago

Download ipdps.cc.gatech.edu

R. Sernec, M. Zajc, Jurij F. Tasic

claim paper

Read More »

120

click to vote

RTCSA
1998
IEEE

73views Embedded Systems» more RTCSA 1998»

A Worst Case Timing Analysis Technique for Optimized Programs

15 years 10 months ago

Download cc.ee.ntu.edu.tw

Sung-Soo Lim, Jihong Kim, Sang Lyul Min

claim paper

Read More »

131

click to vote

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

15 years 10 months ago

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

142

click to vote

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers