1154 search results - page 59 / 231 » Mathematizing C concurrency |
92
Voted
APLAS
2010
ACM
15 years 24 days ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
139
click to vote
TON
2002
15 years 6 days ago
2002
Abstract--The capacity of ad hoc wireless networks is constrained by the mutual interference of concurrent transmissions between nodes. We study a model of an ad hoc network where ...
95
Voted
ICFP
2008
ACM
16 years 16 days ago
2008
ACM
We investigated the relative merits of C++ and Erlang in the implementation of a parallel acoustic ray tracing algorithm for the U.S. Navy. We found a much smaller learning curve ...
117
click to vote
POPL
1994
ACM
15 years 4 months ago
1994
ACM
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...
102
Voted
TAAS
2008
15 years 15 days ago
2008
characterization of indulgence in an abstract computing model that encompasses various communication and resilience schemes. We use our characterization to establish several result...