Sciweavers

613 search results - page 74 / 123
» Executable Visual Contracts
Sort
View
141
Voted
ICCS
2004
Springer
15 years 10 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
15 years 10 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
15 years 9 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»
15 years 8 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»
15 years 4 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