Sciweavers

2056 search results - page 23 / 412
» time 2000
Sort
View
SIBGRAPI
2000
IEEE
14 years 3 months ago
A Control Theory Approach for Real-Time Animation of Artificial Agents
Fernando Wagner da Silva, Luiz-Marcos Garcia, Rica...
ASPDAC
2000
ACM
73views Hardware» more  ASPDAC 2000»
14 years 3 months ago
Timing closure: the solution and its problems
Raul Camposano, Olivier Coudert, Patrick Groenevel...
CAV
2000
Springer
94views Hardware» more  CAV 2000»
14 years 3 months ago
IF: A Validation Environment for Timed Asynchronous Systems
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu...