Sciweavers

1461 search results - page 111 / 293
» On Regular Reduced Products
Sort
View
PLDI
2000
ACM
14 years 26 days ago
Off-line variable substitution for scaling points-to analysis
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
Atanas Rountev, Satish Chandra
EUROSYS
2010
ACM
14 years 6 months ago
Splitter: A Proxy-based Approach for Post-Migration Testing of Web Applications
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...
Xiaoning Ding, Hai Huang, Yaoping Ruan, Anees Shai...
ICIP
2003
IEEE
14 years 11 months ago
LLRT based detection of LSB hiding
In this paper we consider a hypothesis testing approach for detection of hiding in the least significant bit (LSB). This steganalysis problem is a composite hypothesis testing pro...
Kenneth Sullivan, Onkar Dabeer, Upamanyu Madhow, B...
MICCAI
2006
Springer
14 years 10 months ago
Anatomical Modelling of the Musculoskeletal System from MRI
Abstract. This paper presents a novel approach for multi-organ (musculoskeletal system) automatic registration and segmentation from clinical MRI datasets, based on discrete deform...
Benjamin Gilles, Laurent Moccozet, Nadia Magnenat-...
EWSN
2009
Springer
14 years 9 months ago
The Minimum Number of Sensors - Interpolation of Spatial Temperature Profiles in Chilled Transports
Wireless sensor networks are an important tool for the supervision of cool chains. Previous research with a high number of measurement points revealed spatial temperature deviation...
Reiner Jedermann, Walter Lang