Sciweavers

15155 search results - page 7 / 3031

» System Software

17

LCR
2000
Springer

125views System Software» more LCR 2000»

Static Analysis for Guarded Code

13 years 11 months ago

Static Analysis for Guarded Code

Download hal.archives-ouvertes.fr

Ping Hu

claim paper

Read More »

16

LCPC
1995
Springer

111views System Software» more LCPC 1995»

Connection Analysis: A Practical Interprocedural Heap Analysis for C

13 years 11 months ago

Connection Analysis: A Practical Interprocedural Heap Analysis for C

Download www.cs.colostate.edu

Rakesh Ghiya, Laurie J. Hendren

claim paper

Read More »

17

CC
2008
Springer

90views System Software» more CC 2008»

Visualization of Program Dependence Graphs

13 years 9 months ago

Visualization of Program Dependence Graphs

Download www.ssw.uni-linz.ac.at

Thomas Würthinger, Christian Wimmer, Hanspete...

claim paper

Read More »

17

CC
2008
Springer

108views System Software» more CC 2008»

Keep Off the Grass: Locking the Right Path for Atomicity

13 years 9 months ago

Keep Off the Grass: Locking the Right Path for Atomicity

Download spark.woaf.net

Dave Cunningham, Khilan Gudka, Susan Eisenbach

claim paper

Read More »

21

CC
2005
Springer

91views System Software» more CC 2005»

When Abstraction Fails

13 years 9 months ago

When Abstraction Fails

Download www.st.cs.uni-saarland.de

Andreas Zeller

claim paper

Read More »

« Prev « First page 7 / 3031 Last » Next »