Sciweavers

1154 search results - page 1 / 231
» Mathematizing C concurrency
Sort
View
POPL
2011
ACM
12 years 6 months ago
Mathematizing C++ concurrency
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewe...
CONCURRENCY
2002
83views more  CONCURRENCY 2002»
13 years 3 months ago
Innovations of the NetSolve Grid Computing System
Dorian C. Arnold, Henri Casanova, Jack Dongarra
FM
2001
Springer
130views Formal Methods» more  FM 2001»
13 years 8 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh