2673 search results - page 11 / 535 » Guided Static Analysis |
SAS
1999
Springer
13 years 11 months ago
1999
Springer
Programs represented in Static Single Assignment (SSA) form contain phi instructions (or functions) whose operational semantics are to merge values coming from distinct control flo...
COMPSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
IJVR
2008
13 years 7 months ago
2008
Museums like marine aquariums are facing a difficult problem when trying to deliver information to their visitors. The exhibits they propose are dynamic by definition. Each may con...
MICCAI
2010
Springer
14 years 4 days ago
2010
Springer
The effectiveness and clinical benefits of image guided surgery are
well established for procedures where there is manageable tissue motion. In
minimally invasive cardiac, gastro...
WOA
2003
13 years 8 months ago
2003
ng AbstractionsGenerating Abstractions from Static Domain Analysisfrom Static Domain Analysis Eloisa Vargiu (joint work with Giuliano Armano and Giancarlo Cherchi) Department of El...