1448 search results - page 209 / 290 » Visualizing Program Slices |
157
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
134
click to vote
APCHI
2004
IEEE
15 years 8 months ago
2004
IEEE
The paper is concerned with increasing our understanding of creative expertise drawing upon studies of collaboration between technologists and artists. The nature of expertise in c...
104
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
- This paper proposes a hardware design debugging method, Transition and Transaction Tracer (TTT), which probes and records the signals of interest for a long time, hours, days, or...
144
Voted
JFPLC
2001
15 years 6 months ago
2001
We propose an environment for musical constraint solving, in the visual programming language OpenMusic. We describe an implementation of a local search algorithm, called adaptive s...
142
Voted
ENVSOFT
2008
15 years 4 months ago
2008
ROMSTOOLS, a collection of global data sets and a series of Matlab programs collected in an integrated toolbox, generates the grid, surface forcing, initial condition, open bounda...