Sciweavers

4839 search results - page 177 / 968
» A survey of computational complexity results in systems and ...
Sort
View
CSL
2005
Springer
16 years 15 min ago
Distributed Control Flow with Classical Modal Logic
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
Tom Murphy VII, Karl Crary, Robert Harper
ICC
2007
IEEE
142views Communications» more  ICC 2007»
16 years 24 days ago
Reduced-Complexity Cluster Modelling for the 3GPP Channel Model
—The realistic performance of a multi-input multi-output (MIMO) communication system depends strongly on the spatial correlation properties introduced by clustering in the propag...
Hui Xiao, Alister G. Burr, Rodrigo C. de Lamare
CG
2006
Springer
15 years 6 months ago
Computational methods for understanding 3D shapes
Understanding shapes has been a challenging issue for many years, firstly motivated by computer vision and more recently by many complex applications in diverse fields, such as me...
Marco Attene, Silvia Biasotti, Michela Mortara, Gi...
CONEXT
2009
ACM
15 years 7 months ago
FairTorrent: bringing fairness to peer-to-peer systems
Peer-to-Peer file-sharing applications suffer from a fundamental problem of unfairness. Free-riders cause slower download times for others by contributing little or no upload band...
Alex Sherman, Jason Nieh, Clifford Stein
CC
2007
Springer
158views System Software» more  CC 2007»
15 years 6 months ago
The Complexity of Membership Problems for Circuits Over Sets of Natural Numbers
Abstract. The problem of testing membership in the subset of the natural numbers produced at the output gate of a {∪, ∩,− , +, ×} combinational circuit is shown to capture a...
Pierre McKenzie, Klaus W. Wagner