Sciweavers

3378 search results - page 170 / 676
» A universe of binding and computation
Sort
View
CONCUR
2008
Springer
15 years 8 months ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
IVCNZ
1998
15 years 7 months ago
Towards 3D Model Reconstruction from Photometric Stereo
In this highly technological world, various methods have been developed for the purpose of recovering the shape of 3D objects from 2D images. In this paper, we introduce methods t...
Angela Kar-Man Ng, Karsten Schlüns
STOC
2012
ACM
251views Algorithms» more  STOC 2012»
13 years 9 months ago
Minimax option pricing meets black-scholes in the limit
Option contracts are a type of financial derivative that allow investors to hedge risk and speculate on the variation of an asset’s future market price. In short, an option has...
Jacob Abernethy, Rafael M. Frongillo, Andre Wibiso...
ICAS
2009
IEEE
125views Robotics» more  ICAS 2009»
16 years 1 months ago
Tools for Architecture Based Autonomic Systems
Recent years have seen a growing interest in autonomic computing, an approach to providing systems with self managing properties [1]. Autonomic computing aims to address the incre...
Noel De Palma, Konstantin Popov, Nikos Parlavantza...
ICSOC
2007
Springer
16 years 20 days ago
Managing Non-Functional Properties of Inter-enterprise Business Service Delivery
Abstract. In inter-enterprise business service collaborations management of nonfunctional properties has become a fundamental issue, as business management and computing infrastruc...
Toni Ruokolainen, Lea Kutvonen