Sciweavers

2494 search results - page 299 / 499
» Global Localization using Odometry
Sort
View
CAV
2007
Springer
112views Hardware» more  CAV 2007»
16 years 16 days ago
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
Ahmed Bouajjani, Séverine Fratani, Shaz Qad...
COREGRID
2007
Springer
16 years 16 days ago
Optimal Closest Policy with Qos and Bandwidth Constraints
This paper deals with the replica placement problem on fully homogeneous tree networksknownasthe Replica Placementoptimizationproblem. Theclient requests are known beforehand, whil...
Veronika Rehn-Sonigo
ISPD
2006
ACM
71views Hardware» more  ISPD 2006»
16 years 10 days ago
Satisfying whitespace requirements in top-down placement
In this invited note we outline several algorithms and features appearing in Capo 10, free open-source software for congestion-driven standard cell placement, mixed-size placement...
Jarrod A. Roy, David A. Papa, Aaron N. Ng, Igor L....
MM
2006
ACM
93views Multimedia» more  MM 2006»
16 years 10 days ago
A scalable service for photo annotation, sharing, and search
In this work we present the details of the implementation of Fotofiti(FF), a website that provides automatic semantic annotation of digital photographs, event management and soci...
Benjamin N. Lee, WenYen Chen, Edward Y. Chang
SMA
2006
ACM
132views Solid Modeling» more  SMA 2006»
16 years 9 days ago
Generalized penetration depth computation
— We present an efficient algorithm to compute the generalized penetration depth (PDg) between rigid models. Given two overlapping objects, our algorithm attempts to compute the...
Liangjun Zhang, Young J. Kim, Gokul Varadhan, Dine...