Sciweavers

9186 search results - page 84 / 1838
» A Module System for Scheme
Sort
View
ICRA
2003
IEEE
103views Robotics» more  ICRA 2003»
14 years 2 months ago
Highly compliant and self-tightening docking modules for precise and fast connection of self-reconfigurable robots
― This paper describes a new docking system called Compliant-And-Self-Tightening (CAST) developed as an effective and efficient connector for joining and releasing modules of sel...
Behrokh Khoshnevis, Peter M. Will, Wei-Min Shen
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
13 years 7 months ago
Stochastic optimization for Markov modulated networks with application to delay constrained wireless scheduling
Abstract-- We consider a wireless system with a small number of delay constrained users and a larger number of users without delay constraints. We develop a scheduling algorithm th...
Michael J. Neely
LICS
1996
IEEE
14 years 1 months ago
Reactive Modules
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
Rajeev Alur, Thomas A. Henzinger
DAC
2003
ACM
14 years 10 months ago
Multilevel floorplanning/placement for large-scale modules using B*-trees
We present in this paper a multilevel floorplanning/placement framework based on the B*-tree representation, called MB*-tree, to handle the floorplanning and packing for large-sca...
Hsun-Cheng Lee, Yao-Wen Chang, Jer-Ming Hsu, Hanna...
GLOBECOM
2006
IEEE
14 years 3 months ago
Application of Nonbinary LDPC Codes for Communication over Fading Channels Using Higher Order Modulations
Abstract— In this paper, we investigate the application of nonbinary low density parity check (LDPC) codes over Galois field GF(q) for both single-input single-output (SISO) and...
Ronghui Peng, Rong-Rong Chen