Sciweavers

1710 search results - page 10 / 342
» High-Level Programs and Program Conditions
Sort
View
ICPP
1996
IEEE
14 years 1 days ago
Mechanisms for Mapping High-Level Parallel Performance Data
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...
R. Bruce Irvin, Barton P. Miller
SIGGRAPH
1994
ACM
13 years 12 months ago
TBAG: a high level framework for interactive, animated 3D graphics applications
We present a paradigm and toolkit for rapid prototyping of interactive, animated 3D graphics programs. The paradigm has its roots in declarative programming, emphasizing immutable...
Conal Elliott, Greg Schechter, Ricky Yeung, Salim ...
AISC
2008
Springer
13 years 10 months ago
High-Level Theories
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatiza...
Jacques Carette, William M. Farmer
CISSE
2008
Springer
13 years 9 months ago
Using B-trees to Implement Water: a Portable, High Performance, High-Level Language
- To achieve high performance, the next generation of high-level programming languages should incorporate databases as core technology. Presented here are the design considerations...
Aubrey Jaffer, Mike Plusch, Robert Nilsson
TPDS
2008
113views more  TPDS 2008»
13 years 7 months ago
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs
Computational Grids potentially offer low cost, readily available, and large-scale high-performance platforms. For the parallel execution of programs, however, computational GRIDs ...
Abdallah Al Zain, Philip W. Trinder, Greg Michaels...