2555 search results - page 294 / 511 » Quantifiers and Working Memory |
182
click to vote
VISUALIZATION
1994
IEEE
15 years 8 months ago
1994
IEEE
We describe a technique for achieving fast volume ray casting on parallel machines, using a load balancing scheme and an e cient pipelined approach to compositing. We propose a ne...
129
click to vote
HPCN
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. High Performance Fortran (hpf) is a data-parallel Fortran for Distributed Memory Multiprocessors. Hpf provides an interesting programming model but compilers are yet to c...
119
click to vote
GIS
1992
ACM
15 years 8 months ago
1992
ACM
Theoretical and empirical work on the geometry of environmental knowledge is discussed. Certain patterns of distanc.e and directional estimates collected from humans have been inte...
127
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
- In general, fault dictionary is prevented from practical applications for its extremely large size. Several previous works are proposed for the fault dictionary size reduction. H...
124
click to vote
FOSAD
2009
Springer
15 years 8 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...