Sciweavers

471 search results - page 24 / 95
» Single-peaked consistency and its complexity
Sort
View
ASPLOS
2011
ACM
12 years 11 months ago
S2E: a platform for in-vivo multi-path analysis of software systems
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
Vitaly Chipounov, Volodymyr Kuznetsov, George Cand...
TWC
2008
146views more  TWC 2008»
13 years 7 months ago
Synchronization, Channel Estimation, and Equalization in MB-OFDM Systems
Abstract-- This paper addresses preamble-based low complexity synchronization, channel estimation and equalization for Zero-padded (ZP) MB-OFDM based UWB systems. The proposed sync...
Yinghui Li, Hlaing Minn, R. M. A. Rajatheva
SPRINGSIM
2010
13 years 6 months ago
GTNA: a framework for the graph-theoretic network analysis
Concise and reliable graph-theoretic analysis of complex networks today is a cumbersome task, consisting essentially of the adaptation of intricate libraries for each specific pr...
Benjamin Schiller, Dirk Bradler, Immanuel Schweize...
DBPL
2009
Springer
144views Database» more  DBPL 2009»
14 years 2 months ago
General Database Statistics Using Entropy Maximization
Abstract. We propose a framework in which query sizes can be estimated from arbitrary statistical assertions on the data. In its most general form, a statistical assertion states t...
Raghav Kaushik, Christopher Ré, Dan Suciu
CA
2002
IEEE
14 years 17 days ago
Randomly Accessible Procedural Animation of Physically Approximate Turbulent Motion
Complex virtual environments can be simulated with physical or procedural motion. Physical motion is more realistic, but requires the integration of an ordinary differential equat...
Hui Fang, John C. Hart