Speech encoding and encryption in VLSI
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
Dynamic and formal verification of embedded systems: a comparative survey
International Journal of Parallel Programming
Causality interfaces for actor networks
ACM Transactions on Embedded Computing Systems (TECS)
Adaptive watermark mechanism for rightful ownership protection
Journal of Systems and Software
CPO semantics of timed interactive actor networks
Theoretical Computer Science
A novel illumination-balance technique for improving the quality of degraded text-photo images
IEEE Transactions on Circuits and Systems for Video Technology
Concurrent semantics without the notions of state or state transitions
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Hardware design and simulation for verification
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
| Hi-index | 0.00 |