524 search results - page 94 / 105 » A Visual Query Language for Software Visualization |
104
Voted
CODES
2008
IEEE
15 years 28 days ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
CSSE
2008
IEEE
15 years 28 days ago
2008
IEEE
Both teaching and learning multithreaded ing are complex tasks, due to the abstraction of the concepts, the non-determinism of the scheduler, the impossibility of using classical s...
192
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
115
click to vote
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
CLEF
2010
Springer
15 years 7 days ago
2010
Springer
The main goal of this paper it is to present our experiments in ImageCLEF 2010 Campaign (Wikipedia retrieval task). This edition we present a different way of using textual and vis...