Sciweavers

1154 search results - page 3 / 231
» Mathematizing C concurrency
Sort
View
CONCURRENCY
2002
86views more  CONCURRENCY 2002»
13 years 4 months ago
The CCA core specification in a distributed memory SPMD framework
Benjamin A. Allan, Robert C. Armstrong, Alicia P. ...
CONCUR
1992
Springer
13 years 8 months ago
Discrete Time Process Algebra
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is pai...
Jos C. M. Baeten, Jan A. Bergstra
BMCBI
2007
127views more  BMCBI 2007»
13 years 4 months ago
Characterization and simulation of cDNA microarray spots using a novel mathematical model
Background: The quality of cDNA microarray data is crucial for expanding its application to other research areas, such as the study of gene regulatory networks. Despite the fact t...
Hye Young Kim, Seo Eun Lee, Min Jung Kim, Jin Il H...
ECOOPWEXCEPTION
2006
Springer
13 years 8 months ago
Handling Multiple Concurrent Exceptions in C++ Using Futures
Abstract. Exception handling is a well-established mechanism in sequential programming. Concurrency and asynchronous calls introduce the possibility for multiple simultaneous excep...
Matti Rintala