Sciweavers

1448 search results - page 103 / 290
» Visualizing Program Slices
Sort
View
CSUR
2004
144views more  CSUR 2004»
15 years 4 months ago
Advances in dataflow programming languages
Many developments have taken place within dataflow programming languages in the past decade. In particular, there has been a great deal of activity and advancement in the field of ...
Wesley M. Johnston, J. R. Paul Hanna, Richard J. M...
ICFP
2010
ACM
15 years 6 months ago
Regular, shape-polymorphic, parallel arrays in Haskell
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
Gabriele Keller, Manuel M. T. Chakravarty, Roman L...
IFL
2004
Springer
122views Formal Methods» more  IFL 2004»
15 years 10 months ago
Source-Based Trace Exploration
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
Olaf Chitil
CIKM
2006
Springer
15 years 8 months ago
The visual funding navigator: analysis of the NSF funding information
This paper presents an interactive visualization toolkit for navigating and analyzing the National Science Foundation (NSF) funding information. Our design builds upon an improved...
Shixia Liu, Nan Cao, Hao Lv, Hui Su
IPMI
2001
Springer
16 years 5 months ago
An Adaptive Level Set Method for Medical Image Segmentation
An efficient adaptive multigrid level set method for front propagation purposes in three dimensional medical image processing and segmentation is presented. It is able to deal with...
Marc Droske, Bernhard Meyer, Martin Rumpf, Carlo S...