Sciweavers

2050 search results - page 268 / 410
» Visualization of Component-based Software
Sort
View
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 5 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
RT
2000
Springer
15 years 5 months ago
Soft Shadow Maps for Linear Lights
Soft shadows and penumbra regions generated by extended light sources such as linear and area lights are visual effects that significantly contribute to the realism of a scene. In ...
Wolfgang Heidrich, Stefan Brabec, Hans-Peter Seide...
BCSHCI
2007
15 years 3 months ago
Information architecture with IBM Task Modeler
The IBM Task Modeler supports the rapid creation and analysis of hierarchical task models, thereby providing a valuable and naturally visual tool for information architects. Task ...
Colin Bird, Mark Farmer
DICTA
2003
15 years 3 months ago
Volumetric Medical Imaging Environment
We describe a graphical tool for analysis and visualization of three dimensional medical data. The application is intended to help physicians interpret the geometric structures of ...
Bobi Gilburd, Michal Holtzman-Gazit, Alon Spira, D...
ECEASST
2008
171views more  ECEASST 2008»
15 years 2 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