Sciweavers

9702 search results - page 457 / 1941
» Communicating Mobile Processes
Sort
View
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
16 years 2 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
205
Voted
ICC
2007
IEEE
137views Communications» more  ICC 2007»
16 years 2 months ago
Optimality and Complexity of Opportunistic Spectrum Access: A Truncated Markov Decision Process Formulation
— We consider opportunistic spectrum access (OSA) which allows secondary users to identify and exploit instantaneous spectrum opportunities resulting from the bursty traffic of ...
Dejan V. Djonin, Qing Zhao, Vikram Krishnamurthy
ICC
2007
IEEE
16 years 2 months ago
A Measurement Based Dynamic Policy for Switched Processing Systems
Abstract- Switched Processing Systems (SPS) represent a canonical model for many areas of applications of communication, computer and manufacturing systems. They are characterized ...
Ying-Chao Hung, George Michailidis
INFOCOM
2003
IEEE
16 years 1 months ago
A Distributed and Adaptive Signal Processing Approach to Reducing Energy Consumption in Sensor Networks
— We propose a novel approach to reducing energy consumption in sensor networks using a distributed adaptive signal processing framework and efficient algorithm 1 . While the to...
Jim Chou, Dragan Petrovic, Kannan Ramchandran
IPPS
2003
IEEE
16 years 1 months ago
SPMD Image Processing on Beowulf Clusters: Directives and Libraries
Most image processing algorithms can be parallelized by splitting parallel loops and by using very few communication patterns. Code parallelization using MPI still involves much p...
Paulo F. Oliveira, J. M. Hans du Buf