5235 search results - page 242 / 1047 » Analysis of Multithreaded Programs |
173
click to vote
ICMAS
1998
15 years 8 months ago
1998
The success of agent-oriented concepts in various application domains, in particular in manufacturing control, creates the need for an agent-oriented analysis, design, and program...
174
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...
139
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
137
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
173
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We formally study two privacy-type properties in online auction protocols, bidding-price-secrecy and receipt-freeness. These properties are formalised as observational eq...