3639 search results - page 163 / 728 » Provenance as Dependency Analysis |
190
click to vote
BIBE
2007
IEEE
15 years 9 months ago
2007
IEEE
—DNA microarray technologies provide means for monitoring in the order of tens of thousands of gene expression levels quantitatively and simultaneously. However data generated in...
192
click to vote
IJPP
2000
15 years 6 months ago
2000
Increases in instruction level parallelism are needed to exploit the potential parallelism available in future wide issue architectures. Predicated execution is an architectural m...
178
click to vote
CCE
2010
15 years 4 months ago
2010
This paper presents a systems analysis perspective that extends the traditional process design framework to green process design, green energy and industrial ecology leading to su...
179
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
262
Voted
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...