558 search results - page 68 / 112 » Compiling Resources in a Linear Logic Programming Language |
220
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
186
Voted
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
Many data integration solutions in the market today include tools for schema mapping, to help users visually relate elements of different schemas. Schema elements are connected wit...
112
click to vote
EUROSYS
2007
ACM
15 years 4 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
112
Voted
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Workload, platform, and available resources constitute a parallel program’s execution environment. Most parallelization efforts statically target an anticipated range of environ...
110
click to vote
SCAM
2008
IEEE
15 years 6 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...