Sciweavers

82 search results - page 17 / 17
» Specifying Asynchronous Transfer of Control
Sort
View
94
Voted
PLDI
2012
ACM
13 years 2 months ago
Proving acceptability properties of relaxed nondeterministic approximate programs
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
Michael Carbin, Deokhwan Kim, Sasa Misailovic, Mar...
VISUALIZATION
2005
IEEE
15 years 5 months ago
VolumeShop: An Interactive System for Direct Volume Illustration
Illustrations play a major role in the education process. Whether used to teach a surgical or radiologic procedure, to illustrate normal or aberrant anatomy, or to explain the fun...
Stefan Bruckner, M. Eduard Gröller