315 search results - page 39 / 63 » Homing and Synchronizing Sequences |
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
Having stealth and lightweight authentication methods is empowering network administrators to shelter critical services from adversaries. Spread-Spectrum TCP (SSTCP) [1] is one of...
FGR
2006
IEEE
14 years 5 months ago
2006
IEEE
Robust face detection presents a difficult problem in real interaction scenarios, that, in order to achieve, most often requires employing additional sources of information. In t...
DATE
2005
IEEE
14 years 4 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
ICFEM
2004
Springer
14 years 4 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
ISCAS
2003
IEEE
14 years 4 months ago
2003
IEEE
We present an algorithmic analog-to-digital converter (ADC) architecture for large-scale parallel quantization of internally analog variables in externally digital array processor...