28 search results - page 4 / 6 » Testing Concurrent Object-Oriented Systems with Spec Explore... |
113
Voted
CISIS
2010
IEEE
15 years 9 months ago
2010
IEEE
—Current trends in desktop processor design have been toward many-core solutions with increased parallelism. As the number of supported threads grows in these processors, it may ...
118
Voted
ICFEM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
129
Voted
SIGSOFT
2010
ACM
15 years 20 days ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
93
Voted
ICANN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Taking neuromodulation as a mechanism underlying emotions, this paper investigates how such a mechanism can bias an artificial neural network towards exploration of new ...
130
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...