Sciweavers

127 search results - page 14 / 26
» The Interaction of Parallel Programming Constructs and Coher...
Sort
View
FOSSACS
2010
Springer
14 years 3 months ago
Parameterised Multiparty Session Types
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
Nobuko Yoshida, Pierre-Malo Deniélou, Andi ...
IJCAI
1997
13 years 10 months ago
Structural Inferences from Massive Datasets
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...
Kenneth Yip
GLVLSI
2007
IEEE
154views VLSI» more  GLVLSI 2007»
14 years 3 months ago
A design kit for a fully working shared memory multiprocessor on FPGA
This paper presents a framework to design a shared memory multiprocessor on a programmable platform. We propose a complete flow, composed by a programming model and a template ar...
Antonino Tumeo, Matteo Monchiero, Gianluca Palermo...
IPPS
2006
IEEE
14 years 2 months ago
A portable real-time emulator for testing multi-radio MANETs
In building a real-life mobile ad-hoc network (MANET), network emulation has been appraised as an efficient approach for testing the real implementations of routing algorithms and...
Weirong Jiang, Chao Zhang
ISCA
2009
IEEE
199views Hardware» more  ISCA 2009»
14 years 3 months ago
SigRace: signature-based data race detection
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
Abdullah Muzahid, Darío Suárez Graci...