1411 search results - page 128 / 283 » A Value Analysis for C Programs |
126
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
149
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
161
click to vote
FCCM
2002
IEEE
15 years 9 months ago
2002
IEEE
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...
156
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: An important objective of DNA microarray-based gene expression experimentation is determining interrelationships that exist between differentially expressed genes and ...
143
click to vote
HPCN
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...