4719 search results - page 799 / 944 » Newtonian program analysis |
133
click to vote
CSMR
2008
IEEE
15 years 11 months ago
2008
IEEE
Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages, allowing classes to be organized into named abstractions. Maintainers of large ...
146
click to vote
ETFA
2008
IEEE
15 years 11 months ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
130
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper, we discuss how to prevent users’ passwords from being stolen by adversaries. We propose differentiated security mechanisms in which a user has the freedom to ch...
147
click to vote
IEEEPACT
2008
IEEE
15 years 11 months ago
2008
IEEE
The memory access limits the performance of stream processors. By exploiting the reuse of data held in the Stream Register File (SRF), an on-chip storage, the number of memory acc...
152
click to vote
IISWC
2008
IEEE
15 years 11 months ago
2008
IEEE
The PARSEC benchmark suite was recently released and has been adopted by a significant number of users within a short amount of time. This new collection of workloads is not yet ...