681 search results - page 30 / 137 » Superblock formation using static program analysis |
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
WCRE
2002
IEEE
14 years 1 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
HPCN
1995
Springer
14 years 17 days ago
1995
Springer
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...