327 search results - page 35 / 66 » Extensible programming with first-class cases |
137
click to vote
MP
1998
15 years 4 months ago
1998
We define the base polytope B(P, g) of a partially ordered set P and a supermodular function g on the ideals ofP as the convex hull of the incidence vectors of all linear extensio...
107
Voted
IFIP
1994
Springer
15 years 9 months ago
1994
Springer
Development of a research project in Computer Science, integrating a considerable number of research institutions and about 1200 individual researchers all over a country with big...
134
click to vote
ISPASS
2007
IEEE
15 years 11 months ago
2007
IEEE
Architectures are usually compared by running the same workload on each architecture and comparing performance. When a single compiled binary of a program is executed on many diff...
171
Voted
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
154
click to vote
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...