10072 search results - page 1551 / 2015 » Composition of Model Programs |
183
Voted
ASPLOS
2006
ACM
16 years 27 days ago
2006
ACM
Power densities have been increasing rapidly at all levels of server systems. To counter the high temperatures resulting from these densities, systems researchers have recently st...
178
click to vote
CSB
2005
IEEE
16 years 16 days ago
2005
IEEE
HIV-1-associated dementia (HAD) is the most devastating disease happened in the central nervous system of AIDS patients. Neuronal damage, the early indicator of HAD, under differe...
177
click to vote
CSFW
2005
IEEE
16 years 16 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
178
click to vote
IPPS
2005
IEEE
16 years 15 days ago
2005
IEEE
With the increasing availability of high-performance massively parallel computer systems, the prevalence of sophisticated scientific simulation has grown rapidly. The complexity ...
158
click to vote
IWPC
2005
IEEE
16 years 15 days ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...