Sciweavers

3639 search results - page 353 / 728
» Provenance as Dependency Analysis
Sort
View
PLDI
2011
ACM
14 years 9 months ago
The tao of parallelism in algorithms
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in “regular...
Keshav Pingali, Donald Nguyen, Milind Kulkarni, Ma...
PLDI
2009
ACM
16 years 1 months ago
On PDG-based noninterference and its modular proof
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
Daniel Wasserrab, Denis Lohner, Gregor Snelting
BMCBI
2010
110views more  BMCBI 2010»
15 years 7 months ago
TimeDelay-ARACNE: Reverse engineering of gene networks from time-course data by an information theoretic approach
Background: One of main aims of Molecular Biology is the gain of knowledge about how molecular components interact each other and to understand gene function regulations. Using mi...
Pietro Zoppoli, Sandro Morganella, Michele Ceccare...
IJON
2007
88views more  IJON 2007»
15 years 6 months ago
Information maximization in face processing
This perspective paper explores principles of unsupervised learning and how they relate to face recognition. Dependency coding and information maximization appear to be central pr...
Marian Stewart Bartlett
ICIP
2004
IEEE
16 years 8 months ago
A hybrid wavelet framework for modeling vbr video traffic
Traffic models play an important role in network simulation and performance analysis. This paper presents a frame-level hybrid framework for modeling variable bitrate (VBR) video ...
Min Dai, Dmitri Loguinov, Hayder Radha