Sciweavers

1713 search results - page 154 / 343
» Analysis of Procedure Splitability
Sort
View
101
Voted
PLDI
2009
ACM
15 years 7 months ago
Binary analysis for measurement and attribution of program performance
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...
Nathan R. Tallent, John M. Mellor-Crummey, Michael...
103
Voted
SP
2008
IEEE
112views Security Privacy» more  SP 2008»
15 years 7 months ago
Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications
Web applications are ubiquitous, perform missioncritical tasks, and handle sensitive user data. Unfortunately, web applications are often implemented by developers with limited se...
Davide Balzarotti, Marco Cova, Viktoria Felmetsger...
119
Voted
TVCG
2010
151views more  TVCG 2010»
14 years 7 months ago
Interactive Visual Analysis of Multiple Simulation Runs Using the Simulation Model View: Understanding and Tuning of an Electron
Multiple simulation runs using the same simulation model with different values of control parameters usually generate large data sets that capture the variational aspects of the be...
Kresimir Matkovic, Denis Gracanin, Mario Jelovic, ...
RECOMB
2007
Springer
16 years 1 months ago
Comparative Analysis of Spatial Patterns of Gene Expression in Drosophila melanogaster Imaginal Discs
Determining the precise spatial extent of expression of genes across different tissues, along with knowledge of the biochemical function of the genes is critical for understanding ...
Cyrus L. Harmon, Parvez Ahammad, Ann Hammonds, Ric...
100
Voted
ICLP
2005
Springer
15 years 6 months ago
A Generic Framework for the Analysis and Specialization of Logic Programs
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
Germán Puebla, Elvira Albert, Manuel V. Her...