7785 search results - page 156 / 1557 » The Concept of Dynamic Analysis |
163
click to vote
ESOP
2007
Springer
16 years 21 days 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 ...
279
Voted
SIGMOD
2008
ACM
16 years 6 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...
158
Voted
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...
159
Voted
ICPPW
2006
IEEE
16 years 17 days 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...
208
Voted
ICSM
2002
IEEE
15 years 11 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...