Sciweavers

561 search results - page 20 / 113

» Multithreaded programming in Cilk

144

Voted

CAV
2007
Springer

117views Hardware» more CAV 2007»

Spade: Verification of Multithreaded Dynamic and Recursive Programs

15 years 10 months ago

Spade: Verification of Multithreaded Dynamic and Recursive Programs

Download www-ti.informatik.uni-tuebingen.de

Gaël Patin, Mihaela Sighireanu, Tayssir Touil...

claim paper

Read More »

165

Voted

APAQS
2001
IEEE

219views Software Engineering» more APAQS 2001»

Exception Analysis for Multithreaded Java Programs

15 years 10 months ago

Exception Analysis for Multithreaded Java Programs

Download ropas.snu.ac.kr

S. Ryu, K. Yi

claim paper

Read More »

123

Voted

IWMM
2000
Springer

67views Hardware» more IWMM 2000»

Thread-Specific Heaps for Multi-Threaded Programs

15 years 10 months ago

Thread-Specific Heaps for Multi-Threaded Programs

Download www.cs.purdue.edu

Bjarne Steensgaard

claim paper

Read More »

134

Voted

WICSA
2004

92views Software Engineering» more WICSA 2004»

Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions

15 years 7 months ago

Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions

Download www.sti.uniurb.it

Marco Bernardo, Edoardo Bontà

claim paper

Read More »

88

Voted

ENTCS
2007

85views more ENTCS 2007»

A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs

15 years 6 months ago

A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs

Download www-sop.inria.fr

Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfr...

claim paper

Read More »

« Prev « First page 20 / 113 Last » Next »