3307 search results - page 80 / 662 » The meaning of concurrent programs |
110
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
We associate a CNF-formula to every instance of the mean-payoff game problem in such a way that if the value of the game is non-negative the formula is satisfiable, and if the va...
123
Voted
SIAMJO
2002
15 years 3 months ago
2002
We consider the problem of constructing mean{risk models which are consistent with the second degree stochastic dominance relation. By exploiting duality relations of convex analys...
119
click to vote
SCAM
2009
IEEE
15 years 10 months ago
2009
IEEE
—As multicore and heterogeneous multiprocessor platforms replace uniprocessor systems, software programs must be designed with a greater emphasis on concurrency. Threading has be...
147
click to vote
ERLANG
2003
ACM
15 years 8 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
113
Voted
CCS
2004
ACM
15 years 8 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...