Search Sciweavers | Sciweavers

3951 search results - page 39 / 791

» Automatic amortized analysis

131

click to vote

ECOOP
2003
Springer

90views Programming Languages» more ECOOP 2003»

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

15 years 11 months ago

Download patricklam.ca

Patrick Lam, Martin C. Rinard

claim paper

Read More »

123

click to vote

DATE
2010
IEEE

166views Hardware» more DATE 2010»

GoldMine: Automatic assertion generation using data mining and static analysis

15 years 11 months ago

Download faculty.ece.illinois.edu

Shobha Vasudevan, David Sheridan, Sanjay J. Patel,...

claim paper

Read More »

144

click to vote

MSR
2009
ACM

149views Software Engineering» more MSR 2009»

Mining source code to automatically split identifiers for software analysis

15 years 10 months ago

Download www.cis.udel.edu

Eric Enslen, Emily Hill, Lori L. Pollock, K. Vijay...

claim paper

Read More »

141

click to vote

ICNC
2009
Springer

146views Applied Computing» more ICNC 2009»

Automatic Facial Image Manipulation System and Facial Texture Analysis

15 years 10 months ago

Download www.ritsumei.jp

Takuma Terada, Takayuki Fukui, Takanori Igarashi, ...

claim paper

Read More »

154

click to vote

LCTRTS
2001
Springer

120views System Software» more LCTRTS 2001»

Automatic Accurate Live Memory Analysis for Garbage-Collected Languages

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers