Sciweavers

28888 search results - page 174 / 5778
» Computability and complexity in analysis
Sort
View
CORR
2006
Springer
57views Education» more  CORR 2006»
13 years 8 months ago
On Verifying Complex Properties using Symbolic Shape Analysis
Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Pod...
BC
2005
68views more  BC 2005»
13 years 8 months ago
Principal component analysis of complex multijoint coordinative movements
A. Forner-Cordero, O. Levin, Y. Li, Stephan P. Swi...
TOPLAS
2008
67views more  TOPLAS 2008»
13 years 8 months ago
On the complexity of partially-flow-sensitive alias analysis
Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Y...