Sciweavers

4250 search results - page 647 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
ICC
2007
IEEE
117views Communications» more  ICC 2007»
16 years 1 months ago
ESPRIT-Based Directional MAC Protocol for Mobile Ad Hoc Networks
— The use of directional antennas in mobile ad hoc networks has shown to offer large potential throughput gains relative to omnidirectional antennas. When used in ad hoc networks...
Kun Liu, Walaa Hamouda, Amr Youssef
IPPS
2007
IEEE
16 years 1 months ago
POET: Parameterized Optimizations for Empirical Tuning
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...
Qing Yi, Keith Seymour, Haihang You, Richard W. Vu...
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
16 years 1 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
ETS
2006
IEEE
110views Hardware» more  ETS 2006»
16 years 1 months ago
Deterministic Logic BIST for Transition Fault Testing
BIST is an attractive approach to detect delay faults due to its inherent support for at-speed test. Deterministic logic BIST (DLBIST) is a technique which was successfully applie...
Valentin Gherman, Hans-Joachim Wunderlich, Jü...
AMFG
2005
IEEE
164views Biometrics» more  AMFG 2005»
16 years 24 days ago
Face View Synthesis Across Large Angles
Pose variations, especially large out-of-plane rotations, make face recognition a difficult problem. In this paper, we propose an algorithm that uses a single input image to accura...
Jiang Ni, Henry Schneiderman