Sciweavers

4889 search results - page 525 / 978
» A Refactoring Approach to Parallelism
Sort
View
ICIP
2005
IEEE
16 years 8 months ago
Vehicle mounted wide FOV stereo for traffic and pedestrian detection
This paper describes an approach for detecting objects in front of an automobile using wide field of view stereo with a pair of omni cameras. Several configurations are suggested ...
Tarak Gandhi, Mohan M. Trivedi
ESOP
2010
Springer
16 years 4 months ago
Weighted Dynamic Pushdown Networks
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
Alexander Wenner
ICDCS
2009
IEEE
16 years 4 months ago
Fault-Tolerant Consensus in Unknown and Anonymous Networks
This paper investigates under which conditions information can be reliably shared and consensus can be solved in unknown and anonymous message-passing networks that suffer from cr...
Carole Delporte-Gallet, Hugues Fauconnier, Andreas...
CISIS
2008
IEEE
16 years 1 months ago
Inferring the Function of Genes from Synthetic Lethal Mutations
—Techniques for detecting synthetic lethal mutations in double gene deletion experiments are emerging as powerful tool for analysing genes in parallel or overlapping pathways wit...
Oliver Ray, Christopher H. Bryant
IEEESCC
2008
IEEE
16 years 1 months ago
Proactive Runtime Service Discovery
In this paper we describe a framework that supports runtime service discovery in both pull and push modes. Our framework supports service discovery based on structural and behavio...
Andrea Zisman, James Dooley, George Spanoudakis