1781 search results - page 248 / 357 » Visualizing program execution using user abstractions |
ATAL
2003
Springer
14 years 19 days ago
2003
Springer
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...
ASPLOS
2012
ACM
12 years 4 months ago
2012
ACM
The rise of multi-core processors has shifted performance efforts towards parallel programs. However, single-threaded code, whether from legacy programs or ones difficult to para...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Flexible personal communications may require dynamically discovering, using, and combining a number of services to support the activities of a mobile user. However, many ...