Sciweavers

1450 search results - page 117 / 290
» Interactive Analysis of Web-Scale Data
Sort
View
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
14 years 16 days ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
IPMI
2007
Springer
14 years 9 months ago
Fully Automated Registration of First-Pass Myocardial Perfusion MRI Using Independent Component Analysis
Abstract. This paper presents a novel method for registration of cardiac perfusion MRI. The presented method successfully corrects for breathing motion without any manual interacti...
Julien Milles, Rob J. van der Geest, Michael Jeros...
TACAS
2010
Springer
225views Algorithms» more  TACAS 2010»
14 years 3 months ago
Automated Termination Analysis for Programs with Second-Order Recursion
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
Markus Aderhold
HICSS
2009
IEEE
101views Biometrics» more  HICSS 2009»
14 years 2 months ago
Virtual Communities: A Bibliometric Analysis
Virtual communities are a popular phenomenon today. They are significantly altering the specifics of how people work, spend their free time and interact socially. Moreover, they h...
Mikko O. J. Laine
ICSE
2009
IEEE-ACM
14 years 2 months ago
DYVISE: Performance analysis of production systems research demonstration
Many of today’s complex systems are multithreaded servers that effectively run forever and need to work under varying loads and environments. Understanding the behavior of such ...
Steven P. Reiss