Sciweavers

1069 search results - page 188 / 214
» Automatic Generation of Language-based Tools
Sort
View
APVIS
2010
14 years 9 days ago
Volume exploration using ellipsoidal Gaussian transfer functions
This paper presents an interactive transfer function design tool based on ellipsoidal Gaussian transfer functions (ETFs). Our approach explores volumetric features in the statisti...
Yunhai Wang, Wei Chen, Guihua Shan, Tingxin Dong, ...
MASCOTS
2003
14 years 6 days ago
Synthesizing Representative I/O Workloads Using Iterative Distillation
Storage systems designers are still searching for better methods of obtaining representative I/O workloads to drive studies of I/O systems. Traces of production workloads are very...
Zachary Kurmas, Kimberly Keeton, Kenneth Mackenzie
WSCG
2004
141views more  WSCG 2004»
14 years 6 days ago
User-defined Texture Synthesis
Synthesis of textures is a very popular and active area of research; the applications and the areas of interest are various and significant. In the last years, much work has been ...
Francesca Taponecco
HASE
2008
IEEE
13 years 11 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
FAC
2008
100views more  FAC 2008»
13 years 11 months ago
Slicing communicating automata specifications: polynomial algorithms for model reduction
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
Sébastien Labbé, Jean-Pierre Gallois