Sciweavers

183 search results - page 20 / 37
» On Mechanical Control Systems with Nonholonomic Constraints ...
Sort
View
ICMCS
1996
IEEE
123views Multimedia» more  ICMCS 1996»
13 years 12 months ago
Dynamic QoS Control Based on the QoS-Ticket Model
The most notable characteristic of continuous-media data is the existence of timing constraints. To handle such data appropriately, some system support for resource management and...
Kiyokuni Kawachiya, Hideyuki Tokuda
SMI
2005
IEEE
100views Image Analysis» more  SMI 2005»
14 years 1 months ago
Robust Particle Systems for Curvature Dependent Sampling of Implicit Surfaces
Recent research on point-based surface representations suggests that point sets may be a viable alternative to parametric surface representations in applications where the topolog...
Miriah D. Meyer, Pierre Georgel, Ross T. Whitaker
KBSE
2000
IEEE
14 years 1 days ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
ICS
2003
Tsinghua U.
14 years 26 days ago
PowerHerd: dynamic satisfaction of peak power constraints in interconnection networks
Power consumption is a critical issue in interconnection network design, driven by power-related design constraints, such as thermal and power delivery design. Usually, off-line w...
Li Shang, Li-Shiuan Peh, Niraj K. Jha
SASO
2007
IEEE
14 years 1 months ago
Self-organizing Replica Placement - A Case Study on Emergence
The concept of self-organization is rapidly gaining importance in the area of distributed computing systems. However, we still lack the necessary means for engineering such system...
Klaus Herrmann