Sciweavers

7134 search results - page 200 / 1427
» A comparative study of map use
Sort
View
FPL
2008
Springer
113views Hardware» more  FPL 2008»
15 years 8 months ago
Mapping and scheduling with task clustering for heterogeneous computing systems
This paper presents a new approach for mapping task graphs to heterogeneous hardware/software computing systems using heuristic search techniques. Two techniques: (1) integration ...
Yuet Ming Lam, José Gabriel F. Coutinho, Wa...
ONDM
2001
15 years 7 months ago
Mapping of Arbitrary Traffic Demand and Network Topology on a Mesh of Rings Network
An efficient algorithm is presented to map an arbitrary traffic pattern and network topology on a mesh of rings network. The network is described by a two-layer model. The first la...
Christian Mauz
TSP
2008
87views more  TSP 2008»
15 years 6 months ago
A Proof of Convergence of the MAP Turbo-Detector to the AWGN Case
In this paper, we consider a coded transmission over a frequency selective channel. We propose to study analytically the convergence of the turbo-detector using a maximum a poster...
Noura Sellami, Aline Roumy, Inbar Fijalkow
HUC
2009
Springer
15 years 11 months ago
A Long-Duration Study of User-Trained 802.11 Localization
We present an indoor wireless localization system that is capable of room-level localization based solely on 802.11 network signal strengths and usersupplied training data. Our sys...
Andrew Barry, Benjamin Fisher, Mark L. Chang
CAV
1998
Springer
103views Hardware» more  CAV 1998»
15 years 10 months ago
You Assume, We Guarantee: Methodology and Case Studies
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...