645 search results - page 16 / 129 » concurrency 2007 |
SIGSOFT
2007
ACM
15 years 10 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...
95
Voted
APIN
1998
14 years 9 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
15 years 1 months ago
2007
IEEE
Abstract-- We propose an energy
IJCAI
1993
14 years 10 months 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 11 months 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 ...