Sciweavers

443 search results - page 40 / 89
» Compensation-Aware Runtime Monitoring
Sort
View
95
Voted
CISIS
2008
IEEE
15 years 1 months ago
Web Performance and Behavior Ontology
We present a web system architecture using ontologies to improve the behavior of the system from the performance viewpoint. Since web system performance indexes depend on state an...
Carlos Guerrero, Carlos Juiz, Ramón Puigjan...
RV
2010
Springer
152views Hardware» more  RV 2010»
14 years 10 months ago
Efficient Data Race Detection for Async-Finish Parallelism
One of the major productivity hurdles for parallel programming is non-determinism -- a parallel program may yield different results on different executions with the same input, dep...
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin...
ESORICS
2009
Springer
16 years 1 months ago
Tracking Information Flow in Dynamic Tree Structures
Abstract. This paper explores the problem of tracking information flow in dynamic tree structures. Motivated by the problem of manipulating the Document Object Model (DOM) trees by...
Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov
82
Voted
COMPSAC
2005
IEEE
15 years 6 months ago
Constraint Violation Detection: A Fundamental Part of Software Cybernetics
Monitoring of sensitive events is a key step for controlling the behavior of software. Specifying a sufficient set of constraints prior to software deployment is necessary for det...
Qianxiang Wang
113
Voted
FASE
2010
Springer
15 years 7 months ago
Analyzing the Impact of Change in Multi-threaded Programs
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
Krishnendu Chatterjee, Luca de Alfaro, Vishwanath ...