1631 search results - page 71 / 327 » Uniform Distributed Synthesis |
CSFW
2009
IEEE
13 years 11 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
We describe how to take a set of interaction traces produced by different pairs of players in a two-player repeated game, and combine them into a composite strategy. We provide an...
TOG
2008
13 years 7 months ago
2008
We present a novel technique for the animation of turbulent fluids by coupling a procedural turbulence model with a numerical fluid solver to introduce subgrid-scale flow detail. ...
ASPDAC
2010
ACM
13 years 5 months ago
2010
ACM
Abstract--In nanometer-scale VLSI physical design, clock network becomes a major concern on determining the total performance of digital circuit. Clock skew and PVT (Process, Volta...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—The spatial distribution of nodes in wireless networks has important impact on network performance properties, such as capacity and connectivity. Although random sample ...