1821 search results - page 261 / 365 » Security-Aware Program Transformations |
103
click to vote
ICFP
1997
ACM
15 years 4 months ago
1997
ACM
An interprocedural flow analysis can justify inlining in higher-order languages. In principle, more inlining can be performed as analysis accuracy improves. This paper compares fo...
91
Voted
ICLP
1997
Springer
15 years 4 months ago
1997
Springer
Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in...
100
click to vote
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Current taint tracking systems suffer from high overhead and a lack of generality. In this paper, we solve both of these issues with an extensible system that is an order of magni...
110
click to vote
DMSN
2008
ACM
15 years 2 months ago
2008
ACM
Wireless sensor, actuator networks (WSANs) distinguish themselves from wireless sensor networks by the need to coordinate actuators' actions, real-time constraints on communi...
105
click to vote
ICMLA
2007
15 years 2 months ago
2007
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...