Sciweavers

2056 search results - page 23 / 412
» time 2000
Sort
View
75
Voted
IPPS
2000
IEEE
15 years 9 months ago
Concurrent Specification and Timing Analysis of Digital Hardware Using SDL
Kenneth J. Turner, F. Javier Argul-Marin, Stephen ...
115
Voted
SIBGRAPI
2000
IEEE
15 years 9 months ago
A Control Theory Approach for Real-Time Animation of Artificial Agents
Fernando Wagner da Silva, Luiz-Marcos Garcia, Rica...
88
Voted
ASPDAC
2000
ACM
73views Hardware» more  ASPDAC 2000»
15 years 9 months ago
Timing closure: the solution and its problems
Raul Camposano, Olivier Coudert, Patrick Groenevel...
CAV
2000
Springer
94views Hardware» more  CAV 2000»
15 years 9 months ago
IF: A Validation Environment for Timed Asynchronous Systems
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu...