Sciweavers

584 search results - page 34 / 117
» A program visualization tool for program comprehension
Sort
View
SAC
2010
ACM
14 years 2 months ago
Dual analysis for proving safety and finding bugs
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
Corneliu Popeea, Wei-Ngan Chin
PARA
1998
Springer
13 years 11 months ago
Exploiting Visualization and Direct Manipulation to Make Parallel Tools More Communicative
Parallel tools rely on graphical techniques to improve the quality of user interaction. In this paper, we explore how visualization and direct manipulation can be exploited in para...
Cherri M. Pancake
CAV
2012
Springer
241views Hardware» more  CAV 2012»
11 years 10 months ago
Bma: Visual Tool for Modeling and Analyzing Biological Networks
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
David Benque, Sam Bourton, Caitlin Cockerton, Byro...
INFOVIS
2003
IEEE
14 years 27 days ago
BARD: A visualization tool for biological sequence analysis
We present BARD (biological arc diagrams), a visualization tool for biological sequence analysis. The development of BARD began with the application of Wattenberg’s arc diagrams...
Rhazes Spell, Rachael Brady, Fred Dietrich
ECEASST
2008
171views more  ECEASST 2008»
13 years 7 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