Sciweavers

1496 search results - page 184 / 300
» Definability of Initial Segments
Sort
View
LCTRTS
1998
Springer
15 years 10 months ago
Using UML for Modeling Complex Real-Time Systems
The embedded real-time software systems encountered in applications such as telecommunications, aerospace, and defense typically tend to be large and extremely complex. It is cruc...
Bran Selic
ICRA
1993
IEEE
104views Robotics» more  ICRA 1993»
15 years 10 months ago
Numerical Determination of Optimal Non-Holonomic Paths in the Presence of Obstacles
This paper addresses the problem of numerically finding an optimal path for a robot with non-holonomic constraints. A car like robot, whose turning radius is lower bounded is cons...
Sudhaker Samuel, S. Sathiya Keerthi
ICRA
1994
IEEE
84views Robotics» more  ICRA 1994»
15 years 10 months ago
Mapping Tasks into Fault Tolerant Manipulators
The application of robots in critical missions in hazardous environments requires the development of reliable or fault tolerant manipulators. In this paper, we define fault tolera...
Christiaan J. J. Paredis, Pradeep K. Khosla
ASPDAC
2007
ACM
87views Hardware» more  ASPDAC 2007»
15 years 9 months ago
Topology exploration for energy efficient intra-tile communication
With technology nodes scaling down, the energy consumed by the on-chip intra-tile interconnects is beginning to have a significant impact on the total chip energy. The Energyoptima...
Jin Guo, Antonis Papanikolaou, Francky Catthoor
CDC
2009
IEEE
179views Control Systems» more  CDC 2009»
15 years 9 months ago
Controllability analysis for current profile control in tokamaks
Abstract-- The control of the toroidal current density spatial profile in tokamak plasmas will be absolutely critical in future commercial-grade reactors to enable high fusion gain...
Yongsheng Ou, Eugenio Schuster