932 search results - page 132 / 187 » Verifying Progress in Timed Systems |
158
click to vote
ICDE
2006
IEEE
16 years 2 days 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...
141
click to vote
IROS
2006
IEEE
16 years 1 days 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...
109
click to vote
MM
2006
ACM
15 years 12 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...
132
click to vote
EMSOFT
2003
Springer
15 years 11 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...
171
click to vote
ICISC
2004
15 years 7 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...