1154 search results - page 8 / 231 » Mathematizing C concurrency |
AC
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
HASKELL
2007
ACM
13 years 11 months ago
2007
ACM
The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code. As GHC evolves, the runtime system b...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
FMN
2009
Springer
14 years 2 months ago
2009
Springer
IBPRIA
2007
Springer
14 years 1 months ago
2007
Springer
