2947 search results - page 162 / 590 » Analyzing Program Analyses |
144
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
161
click to vote
APSEC
2008
IEEE
16 years 23 days ago
2008
IEEE
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...
145
click to vote
ICDE
2007
IEEE
16 years 18 days ago
2007
IEEE
Existing index selection tools rely on heuristics to efficiently search within the large space of alternative solutions and to minimize the overhead of using the query optimizer ...
162
click to vote
VL
2006
IEEE
16 years 8 days ago
2006
IEEE
Reality-based interfaces (RBIs) offer the promise of natural interfaces that are intuitive to use. By allowing users to leverage their innate skills and knowledge about the real-p...
178
click to vote
FIDJI
2003
Springer
15 years 11 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...