461 search results - page 84 / 93 » Verifying parallel programs with dynamic communication struc... |
ICALT
2005
IEEE
14 years 10 days ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
HPDC
2009
IEEE
14 years 1 months ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...
ICDCSW
2009
IEEE
14 years 1 months ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
HPCA
2007
IEEE
14 years 1 months ago
2007
IEEE
Shared memory multiprocessors play an increasingly important role in enterprise and scientific computing facilities. Remote misses limit the performance of shared memory applicat...
VRML
2003
ACM
13 years 12 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...