645 search results - page 16 / 129 » concurrency 2007 |
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
APIN
1998
13 years 10 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract-- We propose an energy
IJCAI
1993
14 years 6 days ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
ESANN
2006
14 years 8 days ago
2006
In this paper we propose a multiagent architecture for implementing concurrent reinforcement learning, an approach where several agents, sharing the same environment, perceptions ...