Search Sciweavers | Sciweavers

7943 search results - page 70 / 1589

» A calculus for costed computations

158

click to vote

FOSSACS
2010
Springer

131views Software Engineering» more FOSSACS 2010»

Linearly-Used Continuations in the Enriched Effect Calculus

15 years 9 months ago

Download homepages.inf.ed.ac.uk

Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...

Jeff Egger, Rasmus Ejlers Møgelberg, Alex S...

claim paper

Read More »

142

click to vote

IEEECGIV
2009
IEEE

181views Computer Graphics» more IEEECGIV 2009»

Volume Cost Based Mesh Simplification

16 years 24 days ago

Download www.library.ait.ac.th

Chansophea Chuon, Sumanta Guha

claim paper

Read More »

145

click to vote

ICPP
2008
IEEE

114views Distributed And Parallel Com...» more ICPP 2008»

Adaptive Software Speculation for Enhancing the Cost-Efficiency of Behavior-Oriented Parallelization

16 years 18 days ago

Download www.cs.wm.edu

Yunlian Jiang, Xipeng Shen

claim paper

Read More »

click to vote

ICPR
2008
IEEE

104views Computer Vision» more ICPR 2008»

Confidence-based cost modulation for stereo matching

16 years 18 days ago

Download figment.cse.usf.edu

Riccardo Gherardi

claim paper

Read More »

143

click to vote

PODC
2006
ACM

93views Distributed And Parallel Com...» more PODC 2006»

An Omega (n log n) lower bound on the cost of mutual exclusion

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers