Sciweavers

1655 search results - page 90 / 331
» Visual tool for generative programming
Sort
View
ISSTA
2009
ACM
14 years 2 months ago
Precise pointer reasoning for dynamic test generation
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
Bassem Elkarablieh, Patrice Godefroid, Michael Y. ...
PPOPP
2006
ACM
14 years 1 months ago
On-line automated performance diagnosis on thousands of processes
Performance analysis tools are critical for the effective use of large parallel computing resources, but existing tools have failed to address three problems that limit their scal...
Philip C. Roth, Barton P. Miller
FGCS
2006
59views more  FGCS 2006»
13 years 7 months ago
The global lambda visualization facility: An international ultra-high-definition wide-area visualization collaboratory
The research outlined in this paper marks an initial global cooperative effort between visualization and collaboration researchers to build a persistent virtual visualization faci...
Jason Leigh, Luc Renambot, Andrew E. Johnson, Byun...
CISIS
2009
IEEE
14 years 2 months ago
Creating Visualizations through Ontology Mapping
We explore how to support the creation of customized visualizations of ontology instance data through the specification of ontology mappings. We combine technologies from the dis...
Sean M. Falconer, R. Ian Bull, Lars Grammel, Marga...
ICSE
2009
IEEE-ACM
13 years 5 months ago
CocoViz with ambient audio software exploration
For ages we used our ears side by side with our ophthalmic stimuli to gather additional information, leading and supporting us in our visualization. Nowadays numerous software vis...
Sandro Boccuzzo, Harald Gall