Results 271 to 280 of about 29,845,221 (313)

On the expressive power of data dependencies

Acta Informatica, 1986
Since the language of data dependencies is a language for semantic specification of databases, it is highly desirable to know which classes of databases are axiomatizable by different kinds of data dependencies. As a decisive step towards a comprehensive theory, the paper under review gives characterizations of axiomatizability of (finite) databases by
Johann A. Makowsky, Moshe Y. Vardi
openaire   +2 more sources

Graphs of Data Flow Dependencies

IFAC Proceedings Volumes, 1979
Data flow dependencies of a program are important for code-optimisation of compilers and for detecting errors in programs. The control flow of a program can be described by its control flow graph. The mutual dependencies of variables in a program can be represented by graphs, too.
openaire   +1 more source

Data Dependency Graph Bracing

[1988] Proceedings of the 21st Annual Workshop on Microprogramming and Microarchitecture - MICRO '21, 2005
The Sunburst compiler refined at Utah State University employs a powerful mechanism for management of data anti-dependencies in data dependency graphs, DDG's: the DDG Bracer. The term bracing1 is used to mean the fastening of two or more parts together.
openaire   +2 more sources

Data dependence and program restructuring

The Journal of Supercomputing, 1991
Data dependence concepts are reviewed, concentrating on and extending previous work on direction vectors. A bit vector representation of direction vectors is discussed. Various program restructuring transformations, such as loop circulation (a form of loop interchanging), reversal, skewing, sectioning (strip mining), combing, and rotation, are ...
openaire   +2 more sources

Rough Sets and Data Dependencies

1994
Many methods have been used to express the relationships between different pieces of data. In the beginning, all relationships were assumed to be rigid and precise. Objects were either in a set or they were not. All data followed a rule or was incorrect.
Debby Keen, Arcot Rajasekar
openaire   +2 more sources

Dependence analysis for recursive data

Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225), 2002
The paper describes a general and powerful method for dependence analysis in the presence of recursive data constructions. The particular analysis presented is for identifying partially dead recursive data, but the general framework for representing and manipulating recursive substructures applies to all dependence analyses. The method uses projections
openaire   +2 more sources

Data dependences as abstract interpretations

1997
The power of any parallelizing compiler is limited by its program analyzers. Finding the right abstraction for program analysis is crucial. The various existing data dependence abstractions can be viewed simply as approximations of the others. Moreover, data dependences have common structures, which can be exhibited by "abstraction of the structure of ...
openaire   +1 more source

Multivariate sensitivity analysis and derivative-based global sensitivity measures with dependent variables

Reliability Engineering and System Safety, 2021
Sergei Kucherenko, Matieyendou Lamboni
exaly  

Fuzzing with Data Dependency Information

2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P), 2022
Alessandro Mantovani, Andrea Fioraldi, Davide Balzarotti   +2 more
openaire   +2 more sources

Data Dependent Concurrency Control

1995
In the implementation of many parallel functional languages data dependencies are used to synchronise concurrent tasks. This paper investigates the use of data dependency to synchronise transactions in a transaction-processor implemented in a parallel functional language. Data dependent concurrency control has some interesting properties. It permits an
openaire   +2 more sources