3713 search results - page 728 / 743 » Constructing a Calculus of Programs |
INFOVIS
1995
IEEE
13 years 10 months ago
1995
IEEE
Visualizations which depict entire information spaces provide context for navigation and browsing tasks; however, the limited size of the display screen makes creating effective g...
PARA
1995
Springer
13 years 10 months ago
1995
Springer
Abstract. ScaLAPACK is a library of high performance linear algebra routines for distributed memory MIMD computers. It is a continuation of the LAPACK project, which designed and p...
SI3D
1995
ACM
13 years 10 months ago
1995
ACM
One of the main techniques used by software renderers to produce stunningly realistic images is programmable shading—executing an arbitrarily complex program to compute the colo...
INFOCOM
1989
IEEE
13 years 10 months ago
1989
IEEE
Consider M - HChoose P - T communications: T users or less, out of M potential users, are chosen at random to simultaneously transmit binary data over a common channel. A method f...
EDBT
2010
ACM
13 years 10 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...