4719 search results - page 447 / 944 » Newtonian program analysis |
190
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
230
click to vote
IEEEARES
2006
IEEE
16 years 25 days ago
2006
IEEE
Most current anomaly Intrusion Detection Systems (IDSs) detect computer network behavior as normal or abnormal but cannot identify the type of attacks. Moreover, most current intr...
178
click to vote
VEE
2006
ACM
16 years 22 days ago
2006
ACM
Many new Java runtime optimizations report relatively small, single-digit performance improvements. On modern virtual and actual hardware, however, the performance impact of an op...
175
click to vote
MICRO
2005
IEEE
16 years 11 days ago
2005
IEEE
Clustered machines partition hardware resources to circumvent the cycle time penalties incurred by large, monolithic structures. This partitioning introduces a long inter-cluster ...
182
click to vote
APLAS
2005
ACM
16 years 10 days ago
2005
ACM
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...