1604 search results - page 220 / 321 » Development Separation in Lambda-Calculus |
132
Voted
SIGGRAPH
1997
ACM
15 years 4 months ago
1997
ACM
Simulating realistic lighting and rendering complex scenes are usually considered separate problems with incompatible solutions. Accurate lighting calculations are typically perfo...
ICDCS
1996
IEEE
15 years 4 months ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
96
Voted
EWLR
1997
Springer
15 years 4 months ago
1997
Springer
Building robots can be a tough job because the designer has to predict the interactions between the robot and the environment as well as to deal with them. One solution to cope the...
111
Voted
HPCN
1997
Springer
15 years 4 months ago
1997
Springer
We describe the distributed high performance computing system we have developed to integrate together a heterogeneous set of high performance computers, high capacity storage syst...
116
Voted
HPDC
1993
IEEE
15 years 4 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...