5451 search results - page 935 / 1091 » Typed Operational Semantics |
141
Voted
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper describes a framework for providing the ability to use multiple specialized data parallel libraries and/or languages within a single application. The ability to use mul...
146
Voted
CHI
1997
ACM
15 years 8 months ago
1997
ACM
We present an experiment on cooperative bimanual action. Right-handed subjects manipulated a pair of physical objects, a tool and a target object, so that the tool would touch a t...
119
Voted
ITC
1996
IEEE
15 years 7 months ago
1996
IEEE
common use is the distinction into two (abstract) fault models: A new fault modelling scheme for integrated analogue general the "Single Hard Fault Model (SHFM)" and the ...
126
Voted
LICS
1996
IEEE
15 years 7 months ago
1996
IEEE
Real PCF is an extension of the programming language PCF with a data type for real numbers. Although a Real PCF definable real number cannot be computed in finitely many steps, it...
123
Voted
SIGGRAPH
1996
ACM
15 years 7 months ago
1996
ACM
An important component that has been missing from image synthesis is the effect of weathering. In this paper, we present an approach for the modeling and rendering of one type of ...