Sciweavers

2296 search results - page 205 / 460
» The Expressive Power of Synchronizations
Sort
View
DBPL
1991
Springer
98views Database» more  DBPL 1991»
15 years 10 months ago
Structural Recursion as a Query Language
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
Val Tannen, Peter Buneman, Shamim A. Naqvi
CONCUR
2008
Springer
15 years 8 months ago
Towards a Unified Approach to Encodability and Separation Results for Process Calculi
In this paper, we present a unified approach to evaluating the relative expressive power of process calculi. In particular, we identify a small set of criteria (that have already b...
Daniele Gorla
CLIMA
2007
15 years 8 months ago
Language Constructs for Multi-agent Programming
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
Louise A. Dennis, Michael Fisher, Anthony Hepple
ECRTS
2010
IEEE
15 years 7 months ago
Partitioning Parallel Applications on Multiprocessor Reservations
A full exploitation of the computational power available in a multi-core platform requires the software to be specified in terms of parallel execution flows. At the same time, mode...
Giorgio C. Buttazzo, Enrico Bini, Yifan Wu
TWC
2008
113views more  TWC 2008»
15 years 6 months ago
PHY-layer Fairness in Amplify and Forward Cooperative Diversity Systems
We deal with the concept of physical-layer fairness in amplify and forward cooperative diversity systems, which reflects the need for equally allocating the consumed power among th...
Diomidis S. Michalopoulos, George K. Karagiannidis