Sciweavers

2056 search results - page 7 / 412
» time 2000
Sort
View
ICPR
2000
IEEE
16 years 5 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 8 months ago
Formal Verification of Safety Properties in Timed Circuits
Marco A. Peña, Jordi Cortadella, Enric Past...
74
Voted
DATE
2000
IEEE
81views Hardware» more  DATE 2000»
15 years 8 months ago
Abstraction from Counters: An Application on Real-Time Systems
George Logothetis, Klaus Schneider