Sciweavers

658 search results - page 63 / 132
» Slicing Methods Using Static and Dynamic Analysis Informatio...
Sort
View
IPPS
1996
IEEE
15 years 4 months ago
Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
Martin C. Rinard, Pedro C. Diniz
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 12 days ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
CC
2008
Springer
138views System Software» more  CC 2008»
15 years 1 months ago
Improved Memory-Access Analysis for x86 Executables
Over the last seven years, we have developed static-analysis methods to recover a good approximation to the variables and dynamically allocated memory objects of a stripped executa...
Thomas W. Reps, Gogul Balakrishnan
LREC
2010
129views Education» more  LREC 2010»
15 years 1 months ago
Mining Wikipedia for Large-scale Repositories of Context-Sensitive Entailment Rules
This paper focuses on the central role played by lexical information in the task of Recognizing Textual Entailment. In particular, the usefulness of lexical knowledge extracted fr...
Milen Kouylekov, Yashar Mehdad, Matteo Negri
COLCOM
2009
IEEE
15 years 4 months ago
Towards automatic privacy management in Web 2.0 with semantic analysis on annotations
— Sharing personal information and documents is pervasive in Web 2.0 environments, which creates the need for properly controlling shared data. Most existing authorization and po...
Nitya Vyas, Anna Cinzia Squicciarini, Chih-Cheng C...