Sciweavers

4327 search results - page 432 / 866
» Web presentation system using RST events
Sort
View
CMSB
2009
Springer
16 years 1 months ago
A Bayesian Approach to Model Checking Biological Systems
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
Sumit Kumar Jha, Edmund M. Clarke, Christopher Jam...
COMCOM
2007
103views more  COMCOM 2007»
15 years 6 months ago
Inter-autonomous system provisioning for end-to-end bandwidth guarantees
This paper addresses the issue of provisioning end-to-end bandwidth guarantees across multiple Autonomous Systems (ASes). We first review a cascaded model for negotiating and est...
Kin-Hon Ho, Michael P. Howarth, Ning Wang, George ...
ICC
2007
IEEE
16 years 1 months ago
Improved Equalization For Coded, Zero-Padded OFDM (ZP-OFDM) Systems
Abstract— Zero-padded OFDM (ZP-OFDM) systems have recently been adopted in certain wireless systems, such as the multiband-OFDM based WiMedia standard, instead of the more common...
Monisha Ghosh
IPPS
2006
IEEE
16 years 25 days ago
Sim-X: parallel system software for interactive multi-experiment computational studies
Advances in high-performance computing have led to the broad use of computational studies in everyday engineering and scientific applications. A single study may require thousand...
Siu-Man Yau, Eitan Grinspun, Vijay Karamcheti, Den...
CHI
2008
ACM
16 years 7 months ago
Conversation pivots and double pivots
Many sites on the web offer collaborative databases that catalog items such as bands, events, products, or software modules. Conversation pivots allow readers to navigate from pag...
Daniel Xiaodan Zhou, Nathan Oostendorp, Michael He...