Sciweavers

1154 search results - page 3 / 231
» Mathematizing C concurrency
Sort
View
CONCURRENCY
2002
86views more  CONCURRENCY 2002»
14 years 10 months ago
The CCA core specification in a distributed memory SPMD framework
Benjamin A. Allan, Robert C. Armstrong, Alicia P. ...
104
Voted
CONCUR
1992
Springer
15 years 2 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
95
Voted
BMCBI
2007
127views more  BMCBI 2007»
14 years 10 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
15 years 1 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