Sciweavers

8132 search results - page 69 / 1627

» Dependability, Abstraction, and Programming

147

FAC
2010

93views more FAC 2010»

Verification and falsification of programs with loops using predicate abstraction

15 years 3 months ago

Verification and falsification of programs with loops using predicate abstraction

Download www.kroening.com

Daniel Kroening, Georg Weissenbacher

claim paper

Read More »

141

CORR
2011
Springer

157views Education» more CORR 2011»

A family of abstract interpretations for static analysis of concurrent higher-order programs

15 years 1 months ago

A family of abstract interpretations for static analysis of concurrent higher-order programs

Download www.ccs.neu.edu

Matthew Might, David Van Horn

claim paper

Read More »

147

ICSE
2011
IEEE-ACM

191views Software Engineering» more ICSE 2011»

Program abstractions for behaviour validation

14 years 9 months ago

Program abstractions for behaviour validation

Download publicaciones.dc.uba.ar

Guido de Caso, Víctor A. Braberman, Diego G...

claim paper

Read More »

104

CORR
2012
Springer

212views Education» more CORR 2012»

Abstracting Runtime Heaps for Program Understanding

14 years 1 months ago

Abstracting Runtime Heaps for Program Understanding

Download www.software.imdea.org

Mark Marron, Cesar Sanchez, Zhendong Su, Manuel F&...

claim paper

Read More »

143

ISHPC
1999
Springer

79views Distributed And Parallel Com...» more ISHPC 1999»

Dynamically Adaptive Parallel Programs

15 years 10 months ago

Dynamically Adaptive Parallel Programs

Download cobweb.ecn.purdue.edu

Abstract. Dynamic program optimization is the only recourse for optimizing compilers when machine and program parameters necessary for applying an optimization technique are unknow...

Michael Voss, Rudolf Eigenmann

claim paper

Read More »

« Prev « First page 69 / 1627 Last » Next »