Sciweavers

1558 search results - page 154 / 312
» Scalable work stealing
Sort
View
KBSE
2010
IEEE
14 years 9 months ago
Solving string constraints lazily
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
Pieter Hooimeijer, Westley Weimer
ASPLOS
2011
ACM
14 years 2 months ago
RCDC: a relaxed consistency deterministic computer
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ce...
GIS
2010
ACM
14 years 9 months ago
Towards location-based social networking services
Social networking applications have become very important web services that provide Internet-based platforms for their users to interact with their friends. With the advances in t...
Chi-Yin Chow, Jie Bao 0003, Mohamed F. Mokbel
ICCV
2009
IEEE
1331views Computer Vision» more  ICCV 2009»
16 years 4 months ago
I know what you did last summer: object-level auto-annotation of holiday snaps
The state-of-the art in visual object retrieval from large databases allows to search millions of images on the object level. Recently, complementary works have proposed systems ...
Stephan Gammeter, Lukas Bossard, Till Quack, Luc V...
ICIP
2009
IEEE
16 years 9 days ago
2d Tree Detection In Large Urban Landscapes Using Aerial Lidar Data
We present a scalable approach to tree detection in large urban landscapes using aerial LiDAR data. Similar to our previous work in 2006, our current method consists of segmentati...