Sciweavers

1206 search results - page 127 / 242
» Concurrent Abstract Predicates
Sort
View
129
Voted
SIAMDM
2000
159views more  SIAMDM 2000»
15 years 2 months ago
Approximating Fractional Multicommodity Flow Independent of the Number of Commodities
Abstract. We describe fully polynomial time approximation schemes for various multicommodity flow problems in graphs with m edges and n vertices. We present the first approximation...
Lisa Fleischer
TCS
2002
15 years 2 months ago
The continuum as a final coalgebra
oole.stanford.edu/pub/ABSTRACTS Pratt, V.R., "Transition and Cancellation in Concurrency and Branching Time", Math. Structures in Comp. Sci., 13:4, 485-529, August 2003. ...
Dusko Pavlovic, Vaughan R. Pratt
115
Voted
SAMOS
2010
Springer
15 years 1 months ago
Programming multi-core architectures using Data-Flow techniques
Abstract—In this paper we present a Multithreaded programming methodology for multi-core systems that utilizes DataFlow concurrency. The programmer augments the program with macr...
Samer Arandi, Paraskevas Evripidou
154
Voted
WASA
2010
Springer
236views Algorithms» more  WASA 2010»
15 years 29 days ago
A Game Theoretic Approach to Multi-radio Multi-channel Assignment in Wireless Networks
Abstract. It has been long recognized that the interference among concurrent wireless transmissions plays a crucial role in limiting the performance of wireless networks. Recently,...
Devu Manikantan Shila, Yu Cheng, Tricha Anjali
84
Voted
EPEW
2010
Springer
14 years 12 months ago
Performance Modeling and Analysis of the Universal Control Hub
Abstract. People with special needs may find difficulties using electronic consumer devices, user interfaces limit their chances of having full control on them. The Universal Remot...
Elena Gómez-Martínez, José Me...