4604 search results - page 32 / 921 » Concurrency in Synchronous Systems |
SBACPAD
2008
IEEE
14 years 2 months ago
2008
IEEE
Due to the advent of multi-core processors and the consequent need for better concurrent programming abstractions, new synchronization paradigms have emerged. A promising one, kno...
IFIP
2004
Springer
14 years 29 days ago
2004
Springer
We introduce a new synchronization problem in mobile ad-hoc systems: the Driving Philosophers. In this problem, an unbounded number of driving philosophers (processes) access a rou...
ICSE
1998
IEEE-ACM
13 years 12 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
WDAG
2005
Springer
14 years 1 months ago
2005
Springer
Software Transactional Memory (STM) is a generic synchronization construct that enables automatic conversion of correct sequential objects into correct nonblocking concurrent obje...
COMPSAC
2003
IEEE
14 years 27 days ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...