Search Sciweavers | Sciweavers

1880 search results - page 58 / 376

» A Static Analysis for Beta-Binders

158

click to vote

ASPDAC
2001
ACM

101views Hardware» more ASPDAC 2001»

A statistical static timing analysis considering correlations between delays

15 years 9 months ago

Download www.eecs.berkeley.edu

Shuji Tsukiyama, Masakazu Tanaka, Masahiro Fukui

claim paper

Read More »

129

click to vote

LCR
2000
Springer

125views System Software» more LCR 2000»

Static Analysis for Guarded Code

15 years 9 months ago

Download hal.archives-ouvertes.fr

Ping Hu

claim paper

Read More »

145

click to vote

FORTE
2010

139views Formal Methods» more FORTE 2010»

Static Type Analysis of Pattern Matching by Abstract Interpretation

15 years 7 months ago

Download people.inf.ethz.ch

Pietro Ferrara

claim paper

Read More »

148

click to vote

PLANX
2008

139views Programming Languages» more PLANX 2008»

Static Analysis for Event-Based XML Processing

15 years 7 months ago

Download www.daimi.au.dk

Event-based processing of XML data

Anders Møller

claim paper

Read More »

106

click to vote

MASCOTS
2007

73views Modeling And Simulation» more MASCOTS 2007»

Practical and Accurate Throughput Analysis with the Cyclo Static Dataflow Model

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers