4725 search results - page 137 / 945 » Dependence-Based Program Analysis |
145
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
145
click to vote
APLAS
2005
ACM
15 years 10 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
159
click to vote
FUIN
2006
15 years 4 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
127
click to vote
COR
2004
15 years 4 months ago
2004
Technical analysis is aimed at devising trading rules capable of exploiting short-term uctuations on the
179
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...