383 search results - page 28 / 77 » Testing Concurrent Systems: A Formal Approach |
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
142
Voted
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
160
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
150
Voted
MBEES
2010
15 years 1 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
161
Voted
JOT
2010
15 years 1 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...