Sciweavers

3521 search results - page 450 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
127
Voted
ICRA
2003
IEEE
110views Robotics» more  ICRA 2003»
15 years 9 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
121
Voted
ISCAS
2003
IEEE
100views Hardware» more  ISCAS 2003»
15 years 9 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
143
Voted
RTSS
2003
IEEE
15 years 9 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 9 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 8 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...