Sciweavers

1033 search results - page 67 / 207
» hybrid 2007
Sort
View
CAV
2007
Springer
145views Hardware» more  CAV 2007»
13 years 11 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
MMNS
2007
208views Multimedia» more  MMNS 2007»
13 years 9 months ago
Hybrid Overlay Networks Management for Real-Time Multimedia Streaming over P2P Networks
Recent growth of the multimedia content delivery over the Internet and the popularity of the peer-to-peer (P2P) architecture have opened new horizons for emerging novel services ov...
Mubashar Mushtaq, Toufik Ahmed
BMCBI
2006
124views more  BMCBI 2006»
13 years 7 months ago
HybGFS: a hybrid method for genome-fingerprint scanning
Background: Protein identification based on mass spectrometry (MS) has previously been performed using peptide mass fingerprinting (PMF) or tandem MS (MS/MS) database searching. H...
Kosaku Shinoda, Nozomu Yachie, Takeshi Masuda, Nao...
DC
2007
13 years 7 months ago
Booting clock synchronization in partially synchronous systems with hybrid process and link failures
This paper provides description and analysis of a new clock synchronization algorithm for synchronous and partially synchronous systems with unknown upper and lower bounds on delay...
Josef Widder, Ulrich Schmid
HICSS
2007
IEEE
136views Biometrics» more  HICSS 2007»
14 years 2 months ago
Analog and Hybrid Computation Approaches for Static Power Flow
Analog and hybrid computation methods are areas of continued interest, particularly in specific applications where traditional digital computation techniques cannot achieve the de...
Aaron St. Leger, Chika O. Nwankpa