Sciweavers

3404 search results - page 132 / 681
» C Programming Tutorial
Sort
View
FSTTCS
2001
Springer
15 years 2 months ago
Semidefinite Programming Based Approximation Algorithms
Semidefinite programming based approximation algorithms, such as the Goemans and Williamson approximation algorithm for the MAX CUT problem, are usually shown to have certain perf...
Uri Zwick
PC
1998
202views Management» more  PC 1998»
14 years 9 months ago
BSPlib: The BSP programming library
BSPlib is a small communications library for bulk synchronous parallel (BSP) programming which consists of only 20 basic operations. This paper presents the full de nition of BSPl...
Jonathan M. D. Hill, Bill McColl, Dan C. Stefanesc...
SIAMJO
2002
122views more  SIAMJO 2002»
14 years 9 months ago
Robust Filtering via Semidefinite Programming with Applications to Target Tracking
In this paper we propose a novel finite-horizon, discrete-time, time-varying filtering method based on the robust semidefinite programming (SDP) technique. The proposed method prov...
Lingjie Li, Zhi-Quan Luo, Timothy N. Davidson, Kon...
ASPLOS
2006
ACM
15 years 3 months ago
Log-based architectures for general-purpose monitoring of deployed code
Shimin Chen, Babak Falsafi, Phillip B. Gibbons, Mi...
POS
1990
Springer
15 years 1 months ago
Persistence and Type Abstraction Revisited
nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor
Atsushi Ohori, Ivan Tabkha, Richard C. H. Connor, ...