94 search results - page 7 / 19 » Extracting a Data Flow Analyser in Constructive Logic |
101
click to vote
DOLAP
2007
ACM
15 years 3 months ago
2007
ACM
ss domain. Using this more abstract approach means that more data sources of varying types can be incorporated with less effort, and such heterogeneous data sources might be very r...
LCTRTS
2005
Springer
15 years 5 months ago
2005
Springer
Dictionary compression mechanisms identify redundant sequences of instructions that occur in a program. The sequences are extracted and copied to a dictionary. Each sequence is th...
COMSIS
2007
14 years 11 months ago
2007
The aim of this paper is to discuss how our pattern-based strategy for the visualization of data and control flow can effectively be used to animate the program and exhibit its beh...
BMCBI
2010
14 years 6 months ago
2010
Background: A key stage for all microarray analyses is the extraction of feature-intensities from an image. If this step goes wrong, then subsequent preprocessing and processing s...
100
click to vote
CCS
2006
ACM
15 years 3 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...