28 search results - page 4 / 6 » Testing Concurrent Object-Oriented Systems with Spec Explore... |
90
Voted
CISIS
2010
IEEE
15 years 7 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 ...
103
click to vote
ICFEM
2007
Springer
15 years 4 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...
109
Voted
SIGSOFT
2010
ACM
14 years 10 months 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...
ICANN
2007
Springer
15 years 6 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 ...
110
click to vote
HICSS
2007
IEEE
15 years 6 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...