Sciweavers

613 search results - page 74 / 123
» Executable Visual Contracts
Sort
View
ICCS
2004
Springer
14 years 3 months ago
A Client-Server Engine for Parallel Computation of High-Resolution Planes
The paper describes a visualization mechanism that permits fast extraction of high-resolution slices of interest from large biomedical datasets stored remotely. To provide the user...
D. P. Gavidia, Elena V. Zudilova, Peter M. A. Sloo...
ICCS
2004
Springer
14 years 3 months ago
A Tool Suite for Simulation Based Analysis of Memory Access Behavior
In this paper, two tools are presented: an execution driven cache simulator which relates event metrics to a dynamically built-up call-graph, and a graphical front end able to visu...
Josef Weidendorfer, Markus Kowarschik, Carsten Tri...
EWSPT
1998
Springer
14 years 2 months ago
Programming Process Coordination in Little-JIL
Abstract. Process programming languages have not been readily adopted by practitioners. We are addressing this problem through the development of Little-JIL, a language that focuse...
Barbara Staudt Lerner, Leon J. Osterweil, Stanley ...
3DPVT
2004
IEEE
125views Visualization» more  3DPVT 2004»
14 years 1 months ago
GPU-Assisted Z-Field Simplification
Height fields and depth maps which we collectively refer to as z-fields, usually carry a lot of redundant information and are often used in real-time applications. This is the rea...
Alexander Bogomjakov, Craig Gotsman
ECEASST
2008
171views more  ECEASST 2008»
13 years 10 months ago
Type Checking C++ Template Instantiation by Graph Programs
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
Karl Azab, Karl-Heinz Pennemann