Search Sciweavers | Sciweavers

7943 search results - page 70 / 1589

» A calculus for costed computations

click to vote

FOSSACS
2010
Springer

131views Software Engineering» more FOSSACS 2010»

Linearly-Used Continuations in the Enriched Effect Calculus

15 years 1 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 »

click to vote

IEEECGIV
2009
IEEE

181views Computer Graphics» more IEEECGIV 2009»

Volume Cost Based Mesh Simplification

15 years 4 months ago

Download www.library.ait.ac.th

Chansophea Chuon, Sumanta Guha

claim paper

Read More »

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

15 years 4 months 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

15 years 4 months ago

Download figment.cse.usf.edu

Riccardo Gherardi

claim paper

Read More »

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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers