Search Sciweavers | Sciweavers

2673 search results - page 60 / 535

» Guided Static Analysis

132

click to vote

ASPDAC
2001
ACM

101views Hardware» more ASPDAC 2001»

A statistical static timing analysis considering correlations between delays

15 years 7 months ago

Download www.eecs.berkeley.edu

Shuji Tsukiyama, Masakazu Tanaka, Masahiro Fukui

claim paper

Read More »

106

Voted

LCR
2000
Springer

125views System Software» more LCR 2000»

Static Analysis for Guarded Code

15 years 7 months ago

Download hal.archives-ouvertes.fr

Ping Hu

claim paper

Read More »

116

click to vote

FORTE
2010

139views Formal Methods» more FORTE 2010»

Static Type Analysis of Pattern Matching by Abstract Interpretation

15 years 5 months ago

Download people.inf.ethz.ch

Pietro Ferrara

claim paper

Read More »

123

Voted

PLANX
2008

139views Programming Languages» more PLANX 2008»

Static Analysis for Event-Based XML Processing

15 years 5 months ago

Download www.daimi.au.dk

Event-based processing of XML data

Anders Møller

claim paper

Read More »

Voted

MASCOTS
2007

73views Modeling And Simulation» more MASCOTS 2007»

Practical and Accurate Throughput Analysis with the Cyclo Static Dataflow Model

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers