2335 search results - page 298 / 467 » Functional Differentiation of Computer Programs |
121
Voted
WSC
2004
15 years 3 months ago
2004
This paper demonstrates the utilization of immersive virtual reality environments in the investigation of operations simulation results. The authors outline the benefits offered b...
109
click to vote
AUTOMATICA
2004
15 years 2 months ago
2004
In this paper, we consider a deterministic timed continuous Petri net model where conflicts at places are solved by using stationary routing parameters. We show how to compute the...
107
click to vote
SAS
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
133
click to vote
IEEEARES
2009
IEEE
15 years 7 days ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
122
click to vote
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
The study of 2D shapes and their similarities is a central problem in the field of vision. It arises in particular from the task of classifying and recognizing objects from their ...