Sciweavers

4772 search results - page 165 / 955
» An approach to interface synthesis
Sort
View
ISCA
1997
IEEE
137views Hardware» more  ISCA 1997»
15 years 10 months ago
A Language for Describing Predictors and Its Application to Automatic Synthesis
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
Joel S. Emer, Nicholas C. Gloy
CSFW
2009
IEEE
15 years 10 months ago
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
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...
Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo ...
ICDS
2007
IEEE
15 years 10 months ago
A Practical Synthesis of Dynamic Role Settings in Telecare Services
- Role provisioning is an essential yet complex aspect of the design of virtual organisations. This paper addresses an even more complex scenario, that of role provisioning in tele...
Ying Liu, Jean Bacon
CGF
2006
156views more  CGF 2006»
15 years 6 months ago
Semantic Photo Synthesis
Composite images are synthesized from existing photographs by artists who make concept art, e.g., storyboards for movies or architectural planning. Current techniques allow an art...
Matthew Johnson, Gabriel J. Brostow, Jamie Shotton...
TOG
2008
142views more  TOG 2008»
15 years 6 months ago
Fast animation of turbulence using energy transport and procedural synthesis
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. ...
Rahul Narain, Jason Sewall, Mark Carlson, Ming C. ...