Sciweavers

6031 search results - page 334 / 1207
» Communicating Transaction Processes
Sort
View
IPPS
2010
IEEE
15 years 4 months ago
Tile QR factorization with parallel panel processing for multicore architectures
To exploit the potential of multicore architectures, recent dense linear algebra libraries have used tile algorithms, which consist in scheduling a Directed Acyclic Graph (DAG) of...
Bilel Hadri, Hatem Ltaief, Emmanuel Agullo, Jack D...
DESRIST
2009
Springer
153views Education» more  DESRIST 2009»
15 years 4 months ago
An approach for designing management support systems: the design science research process and its outcomes
Design science research involves creating and evaluating innovative methods and approaches to be used in design practice. We present an approach to be used in the process of desig...
Sven A. Carlsson, Stefan Henningsson, Stefan Hrast...
CORR
2011
Springer
173views Education» more  CORR 2011»
15 years 1 months ago
Psi-calculi: a framework for mobile processes with nominal data and logic
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
TSP
2010
15 years 1 months ago
Joint nonlinear channel equalization and soft LDPC decoding with Gaussian processes
In this paper, we introduce a new approach for nonlinear equalization based on Gaussian processes for classification (GPC). We propose to measure the performance of this equalizer ...
Pablo M. Olmos, Juan José Murillo-Fuentes, ...
ICDE
2007
IEEE
94views Database» more  ICDE 2007»
16 years 8 months ago
RoXSum: Leveraging Data Aggregation and Batch Processing for XML Routing
Content-based routing is the primary form of communication within publish/subscribe systems. In those systems data transmission is performed by sophisticated overlay networks of c...
Zografoula Vagena, Mirella Moura Moro, Vassilis J....