Search Sciweavers | Sciweavers

4426 search results - page 69 / 886

» Concurrent Constraint Programming

124

Voted

CORR
2008
Springer

99views Education» more CORR 2008»

The meaning of concurrent programs

15 years 4 months ago

Download www.yodaiken.com

system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...

Victor Yodaiken

claim paper

Read More »

click to vote

FAC
2008

54views more FAC 2008»

Streamlining progress-based derivations of concurrent programs

15 years 4 months ago

Download espace.library.uq.edu.au

Brijesh Dongol, Arjan J. Mooij

claim paper

Read More »

125

click to vote

CAL
2006

79views Software Engineering» more CAL 2006»

From sequential programs to concurrent threads

15 years 4 months ago

Download liberty.princeton.edu

Chip multiprocessors are of increasing importance due to recent difficulties in achieving higher clock frequencies in uniprocessors, but their success depends on finding useful wor...

Guilherme Ottoni, Ram Rangan, Adam Stoler, Matthew...

claim paper

Read More »

119

click to vote

FAC
2007

87views more FAC 2007»

Highly dependable concurrent programming using design for verification

15 years 3 months ago

Download www.cs.ucsb.edu

Aysu Betin-Can, Tevfik Bultan

claim paper