1452 search results - page 195 / 291 » Algorithmic Analysis of Array-Accessing Programs |
80
Voted
ICALT
2003
IEEE
15 years 6 months ago
2003
IEEE
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...
EICS
2010
ACM
15 years 5 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
85
Voted
CORR
2004
Springer
15 years 18 days ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
116
Voted
NDSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Anti-malware companies receive thousands of malware samples every day. To process this large quantity, a number of automated analysis tools were developed. These tools execute a m...
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper, we study sensor enabled landmine networks by formulating a minimum-cost mine selection problem. The problem arises in a target defence scenario, where the object...