Sciweavers

853 search results - page 134 / 171
» On Integrating Visualization Techniques for Effective Softwa...
Sort
View
ESEC
1999
Springer
15 years 6 months ago
Synergy between Component-Based and Generative Approaches
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...
Stan Jarzabek, Peter Knauber
ISSTA
2000
ACM
15 years 6 months ago
Verisim: Formal analysis of network simulations
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...
COMPSAC
2001
IEEE
15 years 5 months ago
Scenario-Based Functional Regression Testing
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...
Raymond A. Paul, Lian Yu, Wei-Tek Tsai, Xiaoying B...
TVCG
2012
184views Hardware» more  TVCG 2012»
13 years 4 months ago
Unified Boundary-Aware Texturing for Interactive Volume Rendering
—In this paper, we describe a novel approach for applying texture mapping to volumetric data sets. In contrast to previous approaches, the presented technique enables a unified i...
Timo Ropinski, Stefan Diepenbrock, Stefan Bruckner...
CODES
1999
IEEE
15 years 6 months ago
How standards will enable hardware/software co-design
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
Mark Genoe, Christopher K. Lennard, Joachim Kunkel...