Sciweavers

94 search results - page 1 / 19
» A static simulation of dynamic delimited control
Sort
View
LISP
2007
98views more  LISP 2007»
13 years 10 months ago
A static simulation of dynamic delimited control
We present a continuation-passing-style (CPS) transformation for some dynamic delimited-control operators, including Felleisen’s control and prompt, that extends a standard call-...
Chung-chieh Shan
FLOPS
2008
Springer
14 years 13 days ago
Typed Dynamic Control Operators for Delimited Continuations
Abstract. We study the dynamic control operators for delimited continuations, control and prompt. Based on recent developments on purely functional CPS translations for them, we in...
Yukiyoshi Kameyama, Takuo Yonezawa
VTC
2008
IEEE
186views Communications» more  VTC 2008»
14 years 5 months ago
Combination of Dynamic-TDD and Static-TDD Based on Adaptive Power Control
— To support dynamic traffic-asymmetry property in future wireless communication systems, we propose a hybridTDD scheme, combination of static-TDD and dynamic-TDD. By using adap...
Howon Lee, Dong-Ho Cho
ICFP
2010
ACM
13 years 11 months ago
ReCaml: execution state as the cornerstone of reconfigurations
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
Jérémy Buisson, Fabien Dagnat
ICRA
2006
IEEE
190views Robotics» more  ICRA 2006»
14 years 5 months ago
Model and Control of Tendon-sheath Transmission Systems
— In this paper, the tendon-sheath driving system for a robotic hand is presented and its force transmission characteristics are analyzed. The use of tendon-based transmission pe...
Gianluca Palli, Claudio Melchiorri