4716 search results - page 129 / 944 » Iterative-free program analysis |
170
click to vote
PLDI
2009
ACM
16 years 1 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...
173
click to vote
APLAS
2005
ACM
15 years 12 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...
179
click to vote
FUIN
2006
15 years 6 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...
150
click to vote
COR
2004
15 years 6 months ago
2004
Technical analysis is aimed at devising trading rules capable of exploiting short-term uctuations on the
206
click to vote
IPPS
2007
IEEE
16 years 19 days 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...