240 search results - page 31 / 48 » A Suite of Tools for Debugging Distributed Autonomous System... |
JCIT
2007
13 years 7 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
TAICPART
2006
IEEE
14 years 1 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
SIGSOFT
1994
ACM
13 years 11 months ago
1994
ACM
Program slicing is a fundamental operation for many software engineering tools. Currently, the most efficient algorithm for interprocedural slicing is one that uses a program repr...
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
Message Passing Interface (MPI) is a widely used standard for managing coarse-grained concurrency on distributed computers. Debugging parallel MPI applications, however, has alway...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...