1027 search results - page 74 / 206 » Callgraph properties of executables |
115
Voted
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
SIGMOD
2001
ACM
16 years 28 days ago
2001
ACM
Mapping to one-dimensional values and then using a onedimensional indexing method has been proposed as a way of indexing multi-dimensional data. Most previous related work uses th...
108
click to vote
RP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
103
Voted
CCS
2007
ACM
15 years 7 months ago
2007
ACM
sion of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, 2007. We present new techniques that allow a return-into-libc attack to be mounted on x86 executa...
108
click to vote
SEMWEB
2005
Springer
15 years 6 months ago
2005
Springer
We propose a declarative update language for RDF graphs which is based on the paradigms of query and view languages RQL and RVL. Our language, called RUL, ensures that the executio...