2272 search results - page 97 / 455 » A Calculus for |
180
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
144
Voted
EUROCRYPT
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. The goal of this paper is to further study the index calculus method that was first introduced by Semaev for solving the ECDLP and later developed by Gaudry and Diem. In...
300
click to vote
Book
This is a great draft book about stochastic calculus and finance. It covers large number of topics such as Introduction to Probability Theory, Conditional Expectation, Arbitrage Pr...
126
click to vote
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
When people interact, they follow distinct rules that coordinate the order of speech, who opens doors, whom and how to greet, and many things more. Such a social codex depends on ...
118
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...