1204 search results - page 68 / 241 » Parallel concurrent ML |
141
click to vote
JCS
2007
15 years 4 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
160
click to vote
PERCOM
2003
ACM
16 years 4 months ago
2003
ACM
: This paper presents the initial design and performance study of MACA-P, a RTS/CTS based MAC protocol that enables simultaneous transmissions in multihop ad-hoc wireless networks....
122
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
135
click to vote
MASCOTS
2010
15 years 2 months ago
2010
—This paper considers the problem of how to improve the performance of hybrid storage system employing solid state disks and hard disk drives. We utilize both initial block alloc...
155
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...