828 search results - page 65 / 166 » Visualizing Interactions in Program Executions |
210
click to vote
DLS
2010
15 years 2 months ago
2010
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language. The language has...
132
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
145
click to vote
ARCS
2005
Springer
15 years 10 months ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
153
Voted
CSSE
2008
IEEE
15 years 6 months 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...
147
click to vote
MABS
2005
Springer
15 years 10 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...