1154 search results - page 8 / 231 » Mathematizing C concurrency |
82
Voted
AC
2003
Springer
15 years 3 months 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...
94
Voted
HASKELL
2007
ACM
15 years 2 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...
76
Voted
CORR
2008
Springer
14 years 10 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...
87
Voted
FMN
2009
Springer
15 years 4 months ago
2009
Springer
64
Voted
IBPRIA
2007
Springer
15 years 4 months ago
2007
Springer
