1710 search results - page 40 / 342 » High-Level Programs and Program Conditions |
ACSC
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
NDSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
IFIP
2010
Springer
13 years 2 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...
SPE
2008
13 years 7 months ago
2008
raction; Industrial Experiment Martin Ward, , Hussein Zedan
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
s the Pus using the OpenCL API as the platform independent programming model. It has the proposal to extend OpenCL with a module that schedule and balance the workload over the CPU...