988 search results - page 41 / 198 » The Frontiers of Data Programmability |
111
Voted
BCS
2008
15 years 2 months ago
2008
This paper describes our approaches to raise the level of abstraction at which hardware suitable for accelerating computationally-intensive applications can be specified. Field-Pr...
IFIP
1998
Springer
15 years 4 months ago
1998
Springer
We present a distributed algorithm animation system called Catai (for Concurrent Algorithms and data Types Animation over the Internet). Among the features of this system are a lo...
ICPP
1996
IEEE
15 years 4 months ago
1996
IEEE
A primary problem in the performance measurement of high-level parallel programming languages is to map lowlevel events to high-level programming constructs. We discuss several as...
97
Voted
CGVR
2007
15 years 2 months ago
2007
- We present a framework, example application, and rendering methods for volumetric windows, a 3D analog of the 2D windows metaphor. A set of parameters reflected in both implement...
117
click to vote
FLOPS
2010
Springer
15 years 7 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...