Sciweavers

1147 search results - page 111 / 230
» Termination in language-based systems
Sort
View
VTC
2007
IEEE
162views Communications» more  VTC 2007»
15 years 7 months ago
Improving Vertical Handover Performance with PHY-Mode Recommendations Based on Localized Link State Measurements
— Cooperation amongst heterogeneous mobile radio systems will be an indispensable feature of ‘beyond 3G’. One key mechanism thereby serving as enabling technique for system i...
Daniel Bültmann, Matthias Siebert, Jijun Luo
101
Voted
GLOBECOM
2009
IEEE
15 years 4 months ago
Adding Integrity Verification Capabilities to the LDPC-Staircase Erasure Correction Codes
File distribution is becoming a key technology, in particular in large scale content broadcasting systems like DVBH/SH. They largely rely on Application Level FEC codes (ALFEC) in ...
Mathieu Cunche, Vincent Roca
113
Voted
HAPTICS
2008
IEEE
15 years 28 days ago
DC Motor Damping: A Strategy to Increase Passive Stiffness of Haptic Devices
Abstract. Physically dissipative damping can increase the range of passive stiffness that can be rendered by a haptic device. Unlike simulated damping it does not introduce noise i...
Manohar B. Srikanth, Hari Vasudevan, Manivannan Mu...
CIE
2008
Springer
15 years 2 months ago
Recursion on Nested Datatypes in Dependent Type Theory
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
Ralph Matthes
JSS
2008
96views more  JSS 2008»
15 years 22 days ago
DR-TCP: Downloadable and reconfigurable TCP
Advances in communication technology allow a variety of new network environments and services available very rapidly. Appearance of various network environments tends to enable a ...
Jae-Hyun Hwang, Jin-Hee Choi, Se-Won Kim, Chuck Yo...