Sciweavers

2391 search results - page 308 / 479
» From Nature to Methods and Back to Nature
Sort
View
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
16 years 20 days ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
WABI
2007
Springer
110views Bioinformatics» more  WABI 2007»
16 years 19 days ago
Haplotype Inference Via Hierarchical Genotype Parsing
The within-species genetic variation due to recombinations leads to a mosaic-like structure of DNA. This structure can be modeled, e.g. by parsing sample sequences of current DNA w...
Pasi Rastas, Esko Ukkonen
ESCIENCE
2006
IEEE
16 years 18 days ago
Building Simple, Easy-to-Use Grids with Styx Grid Services and SSH
Grid systems have a reputation for being difficult to build and use. We describe how the ease of use of the Styx Grid Services (SGS) software can be combined with the security and...
J. D. Blower, K. Haines
SEFM
2006
IEEE
16 years 16 days ago
Automatic Property Checking for Software: Past, Present and Future
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
Sriram K. Rajamani
COMPGEOM
2006
ACM
16 years 15 days ago
Medial axis approximation and unstable flow complex
The medial axis of a shape is known to carry a lot of information about it. In particular a recent result of Lieutier establishes that every bounded open subset of Rn has the same...
Joachim Giesen, Edgar A. Ramos, Bardia Sadri