Sciweavers

3521 search results - page 450 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
ICRA
2003
IEEE
110views Robotics» more  ICRA 2003»
15 years 12 months ago
Implementation of multi-rigid-body dynamics within a robotic grasping simulator
Robotic simulation systems allow researchers, engineers, and students to test control algorithms in a safe environment, but until recently these systems only simulated the dynamic...
Andrew T. Miller, Henrik I. Christensen
ISCAS
2003
IEEE
100views Hardware» more  ISCAS 2003»
15 years 12 months ago
Area-effective FIR filter design for multiplier-less implementation
The hardware complexity of digital filters is not controllable by straightforwardly rounding the coefficients to the quantization levels. In this paper, we propose an effective al...
Tay-Jyi Lin, Tsung-Hsun Yang, Chein-Wei Jen
RTSS
2003
IEEE
15 years 12 months ago
Periodic Resource Model for Compositional Real-Time Guarantees
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
Insik Shin, Insup Lee
CSL
2003
Springer
15 years 12 months ago
Simple Stochastic Parity Games
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A...
ECAI
2006
Springer
15 years 10 months ago
Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order...
Philippe Chatalic, Gia Hien Nguyen, Marie-Christin...