Search Sciweavers | Sciweavers

8780 search results - page 42 / 1756

» On the Feasibility of Consistent Computations

137

click to vote

SPAA
2006
ACM

99views Distributed And Parallel Com...» more SPAA 2006»

Translating between itanium and sparc memory consistency models

16 years 6 days ago

Download pages.cpsc.ucalgary.ca

Lisa Higham, LillAnne Jackson

claim paper

Read More »

125

click to vote

CCGRID
2003
IEEE

96views Distributed And Parallel Com...» more CCGRID 2003»

Making a DSM Consistency Protocol Hierarchy-Aware: an Efficient Synchronization Scheme

15 years 11 months ago

Download hal.archives-ouvertes.fr

Gabriel Antoniu, Luc Bougé, Sébastie...

claim paper

Read More »

132

click to vote

SPAA
2003
ACM

100views Distributed And Parallel Com...» more SPAA 2003»

Toward a decidable notion of sequential consistency

15 years 11 months ago

Download www.cs.ubc.ca

Jesse D. Bingham, Anne Condon, Alan J. Hu

claim paper

Read More »

121

click to vote

EDOC
2002
IEEE

102views Distributed And Parallel Com...» more EDOC 2002»

From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

15 years 11 months ago

Download www.zurich.ibm.com

Jana Koehler, Giuliano Tirenni, Santhosh Kumaran

claim paper

Read More »

106

click to vote

ICPADS
2002
IEEE

86views Distributed And Parallel Com...» more ICPADS 2002»

Consistent LBS Solution in Next Generations of Mobile Internet

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers