Sciweavers

1216 search results - page 224 / 244
» Hybrid type checking
Sort
View
PPOPP
2009
ACM
14 years 8 months ago
Safe open-nested transactions through ownership
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
Kunal Agrawal, I.-Ting Angelina Lee, Jim Sukha
CVPR
2010
IEEE
1256views Computer Vision» more  CVPR 2010»
14 years 3 months ago
Multisensor-Fusion for 3D Full-Body Human Motion Capture
DATA available at http://www.tnt.uni-hannover.de/project/MPI08_Database/! In this work, we present an approach to fuse video with orientation data obtained from extended iner...
Gerard Pons-Moll, Andreas Baak, Thomas Helten, Mei...
IISWC
2008
IEEE
14 years 1 months ago
STAMP: Stanford Transactional Applications for Multi-Processing
Abstract—Transactional Memory (TM) is emerging as a promising technology to simplify parallel programming. While several TM systems have been proposed in the research literature,...
Chi Cao Minh, JaeWoong Chung, Christos Kozyrakis, ...
ICC
2007
IEEE
165views Communications» more  ICC 2007»
14 years 1 months ago
Oblivious Keyword Search Protocols in the Public Database Model
— Databases associated with keywords, can be public, private or hybrid, as a result the solutions to keyword search protocols for each type are different. In this paper, we study...
Huafei Zhu, Feng Bao
IEEESCC
2007
IEEE
14 years 1 months ago
Exchanging Policies between Web Service Entities using Rule Languages
Web rule languages with the ability to cover various types of rules have been recently emerged to make interactions between web resources and broker agents possible. The chance of...
Nima Kaviani, Dragan Gasevic, Marek Hatala, Gerd W...