Sciweavers

561 search results - page 20 / 113

» Multithreaded programming in Cilk

86

CAV
2007
Springer

117views Hardware» more CAV 2007»

Spade: Verification of Multithreaded Dynamic and Recursive Programs

15 years 3 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 »

83

APAQS
2001
IEEE

219views Software Engineering» more APAQS 2001»

Exception Analysis for Multithreaded Java Programs

15 years 3 months ago

Exception Analysis for Multithreaded Java Programs

Download ropas.snu.ac.kr

S. Ryu, K. Yi

claim paper

Read More »

69

IWMM
2000
Springer

67views Hardware» more IWMM 2000»

Thread-Specific Heaps for Multi-Threaded Programs

15 years 2 months ago

Thread-Specific Heaps for Multi-Threaded Programs

Download www.cs.purdue.edu

Bjarne Steensgaard

claim paper

Read More »

79

WICSA
2004

92views Software Engineering» more WICSA 2004»

Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions

15 years 21 days ago

Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions

Download www.sti.uniurb.it

Marco Bernardo, Edoardo Bontà

claim paper

Read More »

43

Voted

ENTCS
2007

85views more ENTCS 2007»

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

14 years 11 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 »