Sciweavers

564 search results - page 109 / 113
» Some Results on the Expressive Power and Complexity of LSCs
Sort
View
CSFW
2007
IEEE
15 years 4 months ago
Secure Implementations for Typed Session Abstractions
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...
Ricardo Corin, Pierre-Malo Deniélou, C&eacu...
GLOBECOM
2007
IEEE
15 years 4 months ago
Beamforming with Limited Feedback in Amplify-and-Forward Cooperative Networks
— A relay selection approach has previously been shown to outperform repetition-based scheduling for both amplify-and-forward (AF) and decode-and-forward (DF) cooperative network...
Yi Zhao, Raviraj Adve, Teng Joon Lim
ASPLOS
2008
ACM
14 years 11 months ago
Optimistic parallelism benefits from data partitioning
Recent studies of irregular applications such as finite-element mesh generators and data-clustering codes have shown that these applications have a generalized data parallelism ar...
Milind Kulkarni, Keshav Pingali, Ganesh Ramanaraya...
BMCBI
2008
119views more  BMCBI 2008»
14 years 9 months ago
Integrated multi-level quality control for proteomic profiling studies using mass spectrometry
Background: Proteomic profiling using mass spectrometry (MS) is one of the most promising methods for the analysis of complex biological samples such as urine, serum and tissue fo...
David A. Cairns, David N. Perkins, Anthea J. Stanl...
BMCBI
2008
120views more  BMCBI 2008»
14 years 9 months ago
A protein interaction based model for schizophrenia study
Background: Schizophrenia is a complex disease with multiple factors contributing to its pathogenesis. In addition to environmental factors, genetic factors may also increase susc...
Pei-Chun Hsu, Ueng-Cheng Yang, Kuan-Hui Shih, Chih...