Sciweavers

203 search results - page 10 / 41
» A Linear Metalanguage for Concurrency
Sort
View
PPDP
2009
Springer
14 years 2 months ago
Session types for linear multithreaded functional programming
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
Vasco Thudichum Vasconcelos
ICASSP
2011
IEEE
12 years 11 months ago
Interference self-mitigating beamforming for the K-user MIMO IC
This work studies distributed linear transmission strategies for the multiple-input multiple-output (MIMO) interference channel with multiple concurrent links. We introduce the no...
Jianqi Wang, Amitav Mukherjee, A. Lee Swindlehurst
CF
2010
ACM
13 years 5 months ago
Supporting lock-free composition of concurrent data objects
Lock-free data objects offer several advantages over their blocking counterparts, such as being immune to deadlocks and convoying and, more importantly, being highly concurrent. H...
Daniel Cederman, Philippas Tsigas
EUROGP
2004
Springer
106views Optimization» more  EUROGP 2004»
14 years 26 days ago
The Evolution of Concurrent Control Software Using Genetic Programming
Despite considerable progress in GP over the past 10 years, there are many outstanding challenges that need to be addressed before it will be widely deployed for developing useful ...
John Hart, Martin J. Shepperd
ICCAD
2006
IEEE
125views Hardware» more  ICCAD 2006»
14 years 4 months ago
Performance analysis of concurrent systems with early evaluation
Early evaluation allows to execute operations when enough information at the inputs has been received to determine the value at the outputs. Systems that can tolerate variable-lat...
Jorge Júlvez, Jordi Cortadella, Michael Kis...