1678 search results - page 93 / 336 » An ASM Specification of C |
AVSS
2003
IEEE
14 years 3 months ago
2003
IEEE
A smart and simple algorithm is presented in this paper for vehicle’s license plate recognition system. Based on pattern matching, this algorithm can be applied for real time de...
ISQED
2003
IEEE
14 years 3 months ago
2003
IEEE
Inductance associated with on-chip wires can no longer be ignored as chip operation frequencies increase into GHz regime. Because the magnetic field propagates a very long range, ...
ICMCS
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...
DAC
2000
ACM
14 years 2 months ago
2000
ACM
This paper presents an automated, layout-aware RF LCoscillator design tool, called CYCLONE that delivers an accurate and optimal LC-oscillator design, from specification to layout...
DSVIS
2000
Springer
14 years 2 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...