Sciweavers

773 search results - page 62 / 155
» Program Slicing by Calculation
Sort
View
77
Voted
MICCAI
2002
Springer
16 years 1 months ago
Intra-patient Prone to Supine Colon Registration for Synchronized Virtual Colonoscopy
Abstract. In this paper, we present an automated method for colon registration. The method uses dynamic programming to align data defined on colon center-line paths, as extracted f...
Delphine Nain, Steven Haker, W. Eric L. Grimson, E...
112
Voted
ICML
2008
IEEE
16 years 1 months ago
Beam sampling for the infinite hidden Markov model
The infinite hidden Markov model is a nonparametric extension of the widely used hidden Markov model. Our paper introduces a new inference algorithm for the infinite Hidden Markov...
Jurgen Van Gael, Yunus Saatci, Yee Whye Teh, Zoubi...
107
Voted
CGO
2007
IEEE
15 years 7 months ago
SuperPin: Parallelizing Dynamic Instrumentation for Real-Time Performance
Dynamic instrumentation systems have proven to be extremely valuable for program introspection, architectural simulation, and bug detection. Yet a major drawback of modern instrum...
Steven Wallace, Kim M. Hazelwood
ICSM
2007
IEEE
15 years 6 months ago
Computation of Static Execute After Relation with Applications to Software Maintenance
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
Árpád Beszédes, Tamás ...
COMPSAC
2005
IEEE
15 years 6 months ago
Parallel Changes: Detecting Semantic Interferences
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
G. Lorenzo Thione, Dewayne E. Perry