Sciweavers

9626 search results - page 253 / 1926

» Invariant Based Programming

121

JPDC
1998

42views more JPDC 1998»

Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs

15 years 6 months ago

Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs

Download sdg.csail.mit.edu

Pedro C. Diniz, Martin C. Rinard

claim paper

Read More »

116

TOPLAS
1998

74views more TOPLAS 1998»

A Task- and Data-Parallel Programming Language Based on Shared Objects

15 years 6 months ago

A Task- and Data-Parallel Programming Language Based on Shared Objects

Download www.cparity.com

Saniya Ben Hassen, Henri E. Bal, Ceriel J. H. Jaco...

claim paper

Read More »

138

TAICPART
2010
IEEE

167views Education» more TAICPART 2010»

Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing

15 years 4 months ago

Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing

Download research.microsoft.com

Wolfgang Grieskamp

claim paper

Read More »

147

WRLA
2010

113views Logical Reasoning» more WRLA 2010»

K-Maude: A Rewriting Based Tool for Semantics of Programming Languages

15 years 4 months ago

K-Maude: A Rewriting Based Tool for Semantics of Programming Languages

Download fsl.cs.uiuc.edu

Traian-Florin Serbanuta, Grigore Rosu

claim paper

Read More »

202

GLOBECOM
2009
IEEE

130views Communications» more GLOBECOM 2009»

Received Signal Strength-Based Wireless Localization via Semidefinite Programming

15 years 4 months ago

Received Signal Strength-Based Wireless Localization via Semidefinite Programming

Download repository.ust.hk

The received signal strength (RSS)-based approach to wireless localization offers the advantage of low cost and easy implementability. To circumvent the nonconvexity of the convent...

Wentao Robin Ouyang, Albert Kai-Sun Wong, Chin-Tau...

claim paper

Read More »

« Prev « First page 253 / 1926 Last » Next »