2466 search results - page 390 / 494 » Concurrent Clustered Programming |
PIMRC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— Two-way relaying, which enables bidirectional simultaneous data transmission between two nodes, is an efficient means to reduce the spectral efficiency loss observed ...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
1 Multi-paradigm, multi-threaded and multi-core computing devices available today provide several orders of magnitude performance improvement over mainstream microprocessors. These...
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
TASE
2007
IEEE
14 years 4 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
ACMMSP
2006
ACM
14 years 4 months ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...