11022 search results - page 1843 / 2205 » Programming Systems for Autonomy |
166
click to vote
RTAS
1998
IEEE
15 years 11 months ago
1998
IEEE
Static timing analyzers need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. ...
154
click to vote
FMCAD
1998
Springer
15 years 11 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
187
click to vote
VRML
1997
ACM
15 years 11 months ago
1997
ACM
Collision detection is essential for many applications involving simulation, behavior and animation. However, it has been regarded as a computationallydemanding task and is often ...
188
click to vote
ICDCS
1996
IEEE
15 years 11 months ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
171
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
Technology trends make it attractive to use workstations connected by a local area network as a multicomputing platform for parallel applications. Achieving acceptable application...