Sciweavers

2056 search results - page 7 / 412
» time 2000
Sort
View
ICPR
2000
IEEE
16 years 7 months ago
Real-Time High Density People Counter Using Morphological Tools
Antonio Albiol, Valery Naranjo, Inmaculada Mora
ASYNC
2000
IEEE
94views Hardware» more  ASYNC 2000»
15 years 10 months ago
Formal Verification of Safety Properties in Timed Circuits
Marco A. Peña, Jordi Cortadella, Enric Past...
DATE
2000
IEEE
81views Hardware» more  DATE 2000»
15 years 10 months ago
Abstraction from Counters: An Application on Real-Time Systems
George Logothetis, Klaus Schneider