80 search results - page 7 / 16 » A visual interactive debugger based on symbolic execution |
ICCV
2003
IEEE
14 years 20 days ago
2003
IEEE
In this paper, we present a generative model for textured motion phenomena, such as falling snow, wavy river and dancing grass, etc. Firstly, we represent an image as a linear sup...
IIE
2007
13 years 7 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
IWPC
2005
IEEE
14 years 29 days ago
2005
IEEE
Software evolution analysis is concerned with analysis of artifacts produced during a software systems life-cycle. Execution traces produced from instrumented code reflect a syst...
EUROMICRO
1998
IEEE
13 years 11 months ago
1998
IEEE
With the growing needs of information sharing and exchange, MHEG-6(Multimedia Hypermedia information coding Expert Group - part 6) standard is defined so as to provide the interna...
DIMEA
2008
13 years 9 months ago
2008
In this article, we present the development of research carried out to design a system of interactive scores for composition and execution, based on temporal constraints called Is...