Sciweavers

3228 search results - page 488 / 646
» Basics of Compiler Design
Sort
View
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
15 years 11 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
INFOCOM
2006
IEEE
15 years 11 months ago
Trade-Off Curves for QoS Routing
— Trade-off curves for the exact and the relaxed QoS routing problem are presented and discussed. In addition, an efficient parametric linear programming algorithm to compute th...
Piet Van Mieghem, Lieven Vandenberghe
IPPS
2006
IEEE
15 years 11 months ago
Linyphi: an IPv6-compatible implementation of SSR
Scalable Source Routing (SSR) is a self-organizing routing protocol designed for supporting peer-to-peer applications. It is especially suited for networks that do not have a well...
Pengfei Di, Massimiliano Marcon, Thomas Fuhrmann
IROS
2006
IEEE
83views Robotics» more  IROS 2006»
15 years 11 months ago
A Four-Leg Locomotion Robot for Heavy Load Transportation
: This paper proposes the new innovated 4-legged Locomotion mechanism with pantograph-jack structure as its leg. This study aims at developing the practical robotic system, especia...
Hidenori Ishihara, Kiyoshi Kuroi
IROS
2006
IEEE
247views Robotics» more  IROS 2006»
15 years 11 months ago
Towards Open-Ended 3D Rotation and Shift Invariant Object Detection for Robot Companions
- Robot companions need to be able to constantly acquire knowledge about new objects for instance in order to detect them in the environment. This ability is necessary since it is ...
Jens Kubacki, Winfried Baum