Browsing by Subject "Concurrent engineering"
Now showing items 14 of 4

Article
Failuresensitive analysis of parallel algorithms with controlled memory access concurrency
(2007)The abstract problem of using P failureprone processors to cooperatively update all locations of an Nelement shared array is called WriteAll. Solutions to WriteAll can be used iteratively to construct efficient simulations ...

Article
A Family of ResourceBound RealTime Process Algebras
(2006)The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a realtime system depends ...

Article
Periodic and nonconcurrent error detection and identification in onehot encoded FSMs
(2004)Statetransition faults in digital sequential systems, such as finitestate logic controllers, have traditionally been handled by embedding the given system into a larger one, in a way that preserves the state evolution ...

Article
A processcalculus analysis of concurrent operations on Btrees
(2001)A general theory of interactive systems with changing structure, the πcalculus, is used to study concurrent operations on a variant of the Btree. An improved algorithm for compression of the data structure is given. Some ...