Sciweavers

932 search results - page 104 / 187
» Analysis and Optimization of CHR Programs
Sort
View
BMCBI
2007
160views more  BMCBI 2007»
13 years 11 months ago
Dendroscope: An interactive viewer for large phylogenetic trees
Background: Research in evolution requires software for visualizing and editing phylogenetic trees, for increasingly very large datasets, such as arise in expression analysis or m...
Daniel H. Huson, Daniel C. Richter, Christian Raus...
JDCTA
2010
161views more  JDCTA 2010»
13 years 5 months ago
Selection of Wavelet Decomposition Level in Multi-Scale Sensor Data Fusion of MEMS Gyroscope
Because the characteristic of wavelet transform is multi-resolution, their unique advantage of the data model is multi-scale analysis. Then, it's widely used the Wavelet-base...
Ren Ya-fei, Ke Xi-zheng
OOPSLA
2010
Springer
13 years 9 months ago
Parallel inclusion-based points-to analysis
Inclusion-based points-to analysis provides a good trade-off between precision of results and speed of analysis, and it has been incorporated into several production compilers inc...
Mario Méndez-Lojo, Augustine Mathew, Keshav...
SAS
2010
Springer
143views Formal Methods» more  SAS 2010»
13 years 9 months ago
Points-to Analysis as a System of Linear Equations
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
Rupesh Nasre, Ramaswamy Govindarajan
DOCENG
2009
ACM
14 years 5 months ago
On the analysis of queries with counting constraints
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
Everardo Bárcenas, Pierre Genevès, N...