Sciweavers

489 search results - page 20 / 98
» Guiding Spin Simulation
Sort
View
ICDCS
2002
IEEE
14 years 18 days ago
Cooperative Computing for Distributed Embedded Systems
The next generation of computing systems will be embedded, in a virtually unbounded number, and dynamically connected. The current software, network architectures, and their assoc...
Cristian Borcea, Deepa Iyer, Porlin Kang, Akhilesh...
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
14 years 22 hour ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
ICRA
2000
IEEE
127views Robotics» more  ICRA 2000»
13 years 11 months ago
Design, Experiments and Motion Planning of a Spherical Rolling Robot
This paper describes a prototype and analytical studies of a spherical rolling robot, a new design of a nonholonomic system. The spherical robot is driven by two remotely controll...
Shourov Bhattacharya, Sunil Kumar Agrawal
CDC
2008
IEEE
163views Control Systems» more  CDC 2008»
13 years 9 months ago
Robust design of a spacecraft attitude tracking control system with actuator uncertainties
In this paper we apply the robust redesign for transient performance recovery of nonlinear systems with input uncertainties developed in [2] to a spacecraft attitude tracking probl...
Aranya Chakrabortty, Murat Arcak, Panagiotis Tsiot...
SIVP
2010
118views more  SIVP 2010»
13 years 6 months ago
Self-organization of sensor networks for detection of pervasive faults
Resource aware operation of sensor networks requires adaptive re-organization to dynamically adapt to the operational environment. A complex dynamical system of interacting compone...
Abhishek Srivastav, Asok Ray