932 search results - page 132 / 187 » Verifying Progress in Timed Systems |
ICDE
2006
IEEE
14 years 3 months ago
2006
IEEE
The Center for Plasma Edge Simulation (CPES) is a recently funded prototype Fusion Simulation Project, which is part of the DOE SciDAC program. Our center is developing a novel in...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— This paper proposes a new way of trajectory generation for industrial manipulators. A real-time algorithm for the interpolation of synchronized and time-optimal manipul...
MM
2006
ACM
14 years 3 months ago
2006
ACM
Globe4D is an interactive four-dimensional globe. It is a projection of the Earth’s surface on a physical sphere. The sphere can be freely rotated along all axes, viewed from an...
EMSOFT
2003
Springer
14 years 2 months ago
2003
Springer
Since the first results published in 1973 by Liu and Layland on the Rate Monotonic (RM) and Earliest Deadline First (EDF) algorithms, a lot of progress has been made in the schedu...
ICISC
2004
13 years 10 months ago
2004
Abstract. The proliferation of group-centric computing and communication motivates the need for mechanisms to provide group access control. Group access control includes mechanisms...