7785 search results - page 156 / 1557 » The Concept of Dynamic Analysis |
172
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
296
Voted
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
A statistical database (StatDB) retrieves only aggregate results, as opposed to individual tuples. This paper investigates the construction of a privacy preserving StatDB that can...
165
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
—The focus of the work in this paper is the construction and analysis of a dynamical system model for human decision making in sequential two-choice tasks. In these tasks, a huma...
174
Voted
ICPPW
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents an analysis on the performance of a parallel implementation of a discrete model of laser dynamics, which is based on cellular automata. The performance of a 2D...
227
click to vote
ICSM
2002
IEEE
15 years 12 months ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...