Sciweavers

12334 search results - page 130 / 2467
» The Use of C
Sort
View
PADS
2006
ACM
15 years 10 months ago
Using Abstraction in the Verification of Simulation Coercion
Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan
ICFEM
2005
Springer
15 years 9 months ago
Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics
Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, J...
IWANN
2005
Springer
15 years 9 months ago
Voice Activity Detection Using Higher Order Statistics
Juan Manuel Górriz, Javier Ramírez, ...
DAS
2004
Springer
15 years 9 months ago
Multi-component Document Image Coding Using Regions-of-Interest
Xiao Wei Yin, Andy C. Downton, Martin Fleury, Jing...