Sciweavers

4250 search results - page 319 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
INFOCOM
2008
IEEE
16 years 1 months ago
Drive-By Localization of Roadside WiFi Networks
—We use a steerable beam directional antenna mounted on a moving vehicle to localize roadside WiFi access points (APs), located outdoors or inside buildings. Localizing APs is an...
Anand Prabhu Subramanian, Pralhad Deshpande, Jie G...
IFM
2004
Springer
16 years 4 days ago
Verifying Controlled Components
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
Steve Schneider, Helen Treharne
CA
2002
IEEE
15 years 11 months ago
Evaluating Video-Based Motion Capture
Motion capture can be an effective method of creating realistic human motion for animation. Unfortunately, the quality demands for animation place challenging demands on a capture...
Michael Gleicher, Nicola J. Ferrier
ICPP
2002
IEEE
15 years 11 months ago
Optimal Code Size Reduction for Software-Pipelined Loops on DSP Applications
Code size expansion of software-pipelined loops is a critical problem for DSP systems with strict code size constraint. Some ad-hoc code size reduction techniques were used to try...
Qingfeng Zhuge, Zili Shao, Edwin Hsing-Mean Sha
IPPS
2002
IEEE
15 years 11 months ago
Parallel EST Clustering
Expressed sequence tags, abbreviated ESTs, are DNA fragments experimentally derived from expressed portions of genes. Clustering of ESTs is essential for gene recognition and unde...
Anantharaman Kalyanaraman, Srinivas Aluru, Suresh ...