1781 search results - page 95 / 357 » Visualizing program execution using user abstractions |
ICS
2000
Tsinghua U.
14 years 1 months ago
2000
Tsinghua U.
Complete system simulation to understand the influence of architecture and operating systems on application execution has been identified to be crucial for systems design. While t...
MOBISEC
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...
AGTIVE
1999
Springer
14 years 2 months ago
1999
Springer
Cpfg is a program for simulating and visualizing plant development, based on the theory of L−systems. A special−purpose programming language, used to specify plant models, is ...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
PKC
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. In a distributed system, dynamically dividing execution between nodes is essential for service robustness. However, when all of the nodes cannot be equally trusted, and w...