Search Sciweavers | Sciweavers

3575 search results - page 1 / 715

» Modeling Concurrency with Geometry

134

Voted

POPL
1991
ACM

91views Programming Languages» more POPL 1991»

Modeling Concurrency with Geometry

15 years 10 months ago

Download infolab.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

183

click to vote

ENTCS
2010

113views more ENTCS 2010»

Geometry of Synthesis II: From Games to Delay-Insensitive Circuits

15 years 6 months ago

Download www.cs.bham.ac.uk

This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...

Dan R. Ghica, Alex Smith

claim paper

Read More »

163

click to vote

CONCURRENCY
2006

99views more CONCURRENCY 2006»

Trust-based probabilistic search with the view model of peer-to-peer networks

15 years 6 months ago

Download kg.ict.ac.cn

Hai Zhuge, Xue Chen, Xiaoping Sun

claim paper

Read More »

137

click to vote

CONCURRENCY
2004

84views more CONCURRENCY 2004»

A model for parallel job scheduling on dynamical computer Grids

15 years 6 months ago

Download www.integrade.org.br

Alfredo Goldman, Carlos Queiroz

claim paper

Read More »

159

click to vote

CONCURRENCY
2004

76views more CONCURRENCY 2004»

Resource Space Grid: model, method and platform

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers