Search Sciweavers | Sciweavers

31686 search results - page 183 / 6338

» Resource typing in Guru

click to vote

OOPSLA
2010
Springer

163views Security Privacy» more OOPSLA 2010»

Concurrent programming with revisions and isolation types

13 years 7 months ago

Download research.microsoft.com

Sebastian Burckhardt, Alexandro Baldassin, Daan Le...

claim paper

Read More »

click to vote

PE
2010
Springer

142views Optimization» more PE 2010»

Performance analysis of email systems under three types of attacks

13 years 7 months ago

Download www.ie.tsinghua.edu.cn

Yang Wang, Chuang Lin, Quan-Lin Li

claim paper

Read More »

click to vote

TOPLAS
2010

76views more TOPLAS 2010»

Typing linear constraints

13 years 7 months ago

Download www.di.unipi.it

Salvatore Ruggieri, Fred Mesnard

claim paper

Read More »

click to vote

CORR
2010
Springer

76views Education» more CORR 2010»

A framework for designing concurrent and recoverable abstract data types based on commutativity

13 years 7 months ago

Download hal.archives-ouvertes.fr

Carmelo Malta, José Martinez

claim paper

Read More »

click to vote

CASC
2010
Springer

149views Mathematics» more CASC 2010»

Generic, Type-Safe and Object Oriented Computer Algebra Software

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers