Sciweavers

2957 search results - page 255 / 592
» Code analysis and CS-XML
Sort
View
HOTOS
2007
IEEE
15 years 7 months ago
Live Monitoring: Using Adaptive Instrumentation and Analysis to Debug and Maintain Web Applications
AJAX-based web applications are enabling the next generation of rich, client-side web applications, but today's web application developers do not have the end-to-end visibili...
Emre Kiciman, Helen J. Wang
APLAS
2008
ACM
15 years 5 months ago
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito O...
EUROPAR
2008
Springer
15 years 5 months ago
An Analysis of HPC Benchmarks in Virtual Machine Environments
Abstract. Virtualization technology has been gaining acceptance in the scientific community due to its overall flexibility in running HPC applications. It has been reported that a ...
Anand Tikotekar, Geoffroy Vallée, Thomas Na...
EDM
2008
141views Data Mining» more  EDM 2008»
15 years 5 months ago
An Open Repository and analysis tools for fine-grained, longitudinal learner data
We introduce an open data repository and set of associated visualization and analysis tools. The Pittsburgh Science of Learning Center's "DataShop" has data from tho...
Kenneth R. Koedinger, Kyle Cunningham, Alida Skogs...
ACSW
2006
15 years 5 months ago
Formal analysis of card-based payment systems in mobile devices
To provide card holder authentication while they are conducting an electronic transaction using mobile devices, VISA and MasterCard independently proposed two electronic payment p...
Vijayakrishnan Pasupathinathan, Josef Pieprzyk, Hu...