Sciweavers

14190 search results - page 2623 / 2838
» Abstractions for hybrid systems
Sort
View
ICC
2011
IEEE
225views Communications» more  ICC 2011»
14 years 6 months ago
Throughput-Optimal Half-Duplex Cooperative Scheme with Partial Decode-Forward Relaying
Abstract—We study a cooperative communication system consisting of two users in half duplex mode communicating with one destination over additive white Gaussian noise (AWGN). Coo...
Ahmad Abu Al Haija, Mai Vu
ICC
2011
IEEE
199views Communications» more  ICC 2011»
14 years 6 months ago
Equal-Sized Cells Mean Equal-Sized Packets in Tor?
Abstract—Tor is a well-known low-latency anonymous communication system. To prevent the traffic analysis attack, Tor packs application data into equal-sized cells. However, we f...
Zhen Ling, Junzhou Luo, Wei Yu, Xinwen Fu
ESOP
2012
Springer
14 years 3 months ago
GMeta: A Generic Formal Metatheory Framework for First-Order Representations
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
Gyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho,...
EVOW
2012
Springer
14 years 3 months ago
A Variable Neighborhood Search Approach for the Two-Echelon Location-Routing Problem
Abstract. We consider the two-echelon location-routing problem (2ELRP), a well-known problem in freight distribution arising when establishing a two-level transport system with lim...
Martin Schwengerer, Sandro Pirkwieser, Günthe...
EWSN
2012
Springer
14 years 3 months ago
Low Power or High Performance? A Tradeoff Whose Time Has Come (and Nearly Gone)
Abstract. Some have argued that the dichotomy between high-performance operation and low resource utilization is false – an artifact that will soon succumb to Moore’s Law and c...
JeongGil Ko, Kevin Klues, Christian Richter, Wanja...
« Prev « First page 2623 / 2838 Last » Next »