4116 search results - page 181 / 824 » Type Analysis for CHIP |
SAS
1994
Springer
14 years 1 months ago
1994
Springer
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...
EUROPAR
2000
Springer
14 years 20 days ago
2000
Springer
A hybrid approach that utilizes both statistical techniques and empirical methods seeks to provide more information about the performance of an application. In this paper, we prese...
IFL
2000
Springer
14 years 19 days ago
2000
Springer
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...
ISSA
2008
13 years 10 months ago
2008
Malicious software is prevalent in many forms with the potential for many types of malware to be downloaded while browsing the Internet using an unprotected system. The potential ...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— Continuing scaling of CMOS technology has allowed aggressive pursuant of increased clock rate in DSM chips. The ever shorter clock period has made switching times of di...