1154 search results - page 7 / 231 » Mathematizing C concurrency |
86
Voted
CE
2010
14 years 10 months ago
2010
88
Voted
CONCURRENCY
2010
15 years 16 days ago
2010
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
118
Voted
ICLP
1993
Springer
15 years 4 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...
127
click to vote
APSEC
1996
IEEE
15 years 4 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
94
Voted
TFM
2009
Springer
15 years 7 months ago
2009
Springer
Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students...